在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
computing mechanising » computing mechanism, computing meaning, computing mechanics
computing mechanisms » computing mechanism, computing mechanics, conducting mechanisms
electronics organic » electronic organ, electronic organs, optoelectronics organic
computing mechanising » computing mechanism, computing meaning, computing mechanics
computing mechanisms » computing mechanism, computing mechanics, conducting mechanisms
electronics organic » electronic organ, electronic organs, optoelectronics organic
1
出版 2012
書本目錄:
“...Applications to Software Specification and Correctness -- Mechanised Resoning in Relational...”獲取全文
電子
電子書
2
出版 2013
書本目錄:
“... Proof by Reflection Using a Posteriori Simulation of Effectful Computation -- Automatic Data Refinement...”獲取全文
電子
電子書