当前位置：
首页 > （德）Michael Huth相关PDF电子书下载
-
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
Michael Huth2004 年出版427 页ISBN：
-
（德）Hermann Funk，（德）Michael Koenig编著；阎振江译2005 年出版249 页ISBN：7534363772
《标准德语教程》之一。
-
（德）Hermann Funk，（德）Michael Koenig编著 阎振江翻译2004 年出版294 页ISBN：7534360277
本书为非母语者学习德语提供了贴近生活的德语学习素材，编排系统，图文并茂。
-
MARK HUTH1980 年出版351 页ISBN：0827317379
-
（德）迪特马尔·赖因博恩（Dietmar Reinborn），（德）米夏埃尔·科赫（Michael Koch） 汤朔宁，郭屹炜，宗轩译2005 年出版192 页ISBN：7532239942
本书为城市建设设计提出构思的方法和素材及如何形成自己的设计风格、设计思路和灵感。
-
（德）列夫希兹（Michael Liwschitz）撰；叶庆桐编译1953 年出版97 页ISBN：
书名原文:Dieelektrischenmaschinen“Isolierung”
-
（德）施奈德（Schneider，Michael）著；张世鹏等译1992 年出版398 页ISBN：7500812159
-
（德）恩德（Michael Ende）著；王佩莉译2002 年出版250 页ISBN：7532728471
-
（德）米夏埃尔·恩德（Michael Ende）著；李雯译2002 年出版64 页ISBN：7560027946
