面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
EARLY CHILDHOOD EDUCATION 98/99 NINETEENTH EDITION
KAREN MENKE PACIOREK JOYCE HUTH MUNRO1998 年出版230 页ISBN：
SUSAN B.ANTHONY AND THE STRUGGLE FOR EQUAL RIGHTS
CHRISTINE L.RIDARSKY AND MARY M.HUTH2012 年出版245 页ISBN：9781580464253
（德）（Jorg 罗歇）Jorg Roche，（德）（Mark 韦伯）Mark Webber著；陈蕴译1998 年出版79 页ISBN：7560013295
Mark A.Lewis ; Mark A.J.Chaplain ; James P.Keener ; Philip K.Maini2009 年出版398 页ISBN：0821847657
The democratic peace and territorial conflict in the twentieth century
Paul K.Huth and Todd L.Allee2002 年出版494 页ISBN：0521805082
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著2005 年出版427 页ISBN：7111160533
本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。
FREEZING AND SEARCH ORDERS FOURTH EDITION
MARK S.W.HOYLE AND MARK WALSH2006 年出版414 页ISBN：
