面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著2005 年出版427 页ISBN：7111160533

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。

休闲研究引论

（英）布尔（Bull，C.），（英）胡思（Hoose，J.），（英）韦德（Weed，M.）著；田里等译2006 年出版267 页ISBN：7811120496

本书结合新时代需求应用学科研究方法，对休闲现象研究提供了一个基本概念和理论系统框架。内容涉及休闲的历史发展、性质、需求、休闲生活方式、性别及群体等。...

INTRODUCTION TO CONSTRUCTION

MARK HUTH1980 年出版351 页ISBN：0827317379

EARLY CHILDHOOD EDUCATION 98/99 NINETEENTH EDITION

KAREN MENKE PACIOREK JOYCE HUTH MUNRO1998 年出版230 页ISBN：

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

SUSAN B.ANTHONY AND THE STRUGGLE FOR EQUAL RIGHTS

CHRISTINE L.RIDARSKY AND MARY M.HUTH2012 年出版245 页ISBN：9781580464253

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：

大排档诗情

胡思著2001 年出版148 页ISBN：9624503141

透视西方广告音乐

胡思思著2019 年出版0 页ISBN：