面向计算机科学的数理逻辑 系统建模与推理 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
本书提供了与现代计算机科学以及实际应用相关的重要内容,并且更大程度地满足了上述两种需求。
(美)唐马克(C.Mark Tang)著;(美)唐马克(C.Mark Tang),郁乐芸译2005 年出版216 页ISBN:7502560815
本书介绍了生物技术与企业金融的教育前景,并在投资方面有丰富的实践经验、介绍了在生物技术基本知识和投资的基本概念的基础上,针对生物技术领域、论述了生物技术的产业投资类别、相关理论、基本规律、风险以...