(英)胡思(Huth,M.)伦敦帝国学院(MICHAELHuth)著2005 年出版427 页ISBN:7111160533
本书提供了与现代计算机科学以及实际应用相关的重要内容,并且更大程度地满足了上述两种需求。
(英)布尔(Bull,C.),(英)胡思(Hoose,J.),(英)韦德(Weed,M.)著;田里等译2006 年出版267 页ISBN:7811120496
本书结合新时代需求应用学科研究方法,对休闲现象研究提供了一个基本概念和理论系统框架。内容涉及休闲的历史发展、性质、需求、休闲生活方式、性别及群体等。...
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: