Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
computing mechanising » computing mechanisms, computing meaning, computing mechanics
electronics organic » electronic organ, electronic organs, optoelectronics organic
computing mechanism » routing mechanism, coupling mechanism, compliant mechanism
coping mechanism » coping mechanisms, saving mechanism, sharing mechanism
computing mechanising » computing mechanisms, computing meaning, computing mechanics
electronics organic » electronic organ, electronic organs, optoelectronics organic
computing mechanism » routing mechanism, coupling mechanism, compliant mechanism
coping mechanism » coping mechanisms, saving mechanism, sharing mechanism
1
Julkaistu 2012
Sisällysluettelo:
“...Applications to Software Specification and Correctness -- Mechanised Resoning in Relational...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2013
Sisällysluettelo:
“... Proof by Reflection Using a Posteriori Simulation of Effectful Computation -- Automatic Data Refinement...”Hae kokoteksti
Elektroninen
E-kirja