(美)埃德蒙·M.克拉克(EDMUNDM.CLARKE,JR.),(美)ORNAGRUMBERG,(美)DORONA.PELED著;吴尽昭,何安平,高新岩译2018 年出版226 页ISBN:9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
(美)格利高利·克拉克著2009 年出版349 页ISBN:9787508615707
为什么世界的某些地区如此富强,而其它地区却如此贫困?为什么工业革命以及随之而来、史无前例的经济增长会发生在18世纪的英国,而非其它国家?为什么工业化不会让全世界富裕起来,反而让某些地区更加贫困?...
克拉克著;陈修斋译2011 年出版125 页ISBN:9787100077651
本书内容为莱布尼茨与克拉克之间的一场论战,实际上是莱布尼茨与牛顿派之间关于世界的一些根本观点。
(英)苏珊·巴勒克拉夫(SusanBarraclough)著;纪园园,王雅婧译2017 年出版191 页ISBN:9787121304514
本书为已出版的《经典动物百科》系列的后续,分册主题是《昆虫》,揭秘了自然界中近百种最奇怪、最可怕和最非凡的昆虫、虫子和爬虫。每种生物都配有4色全彩手绘插图,分解图和说明文字,生动地介绍了每一种虫子的...
(美)克拉克魏斯勒(ClarkWissler)著;李天纲主编2017 年出版414 页ISBN:9787552018547
本书依据民国24[1935]世界书局于上海出版的(美)克拉克魏斯勒(Clark Wissler)著、钟兆麟译的图书版本为底本影印复制,编入“民国西学要籍汉译文献”的社会学系列。本书包括人类学之范围、区域社会、生物团体、经...
(英)保罗·迪拉克著2018 年出版328 页ISBN:9787111587040
量子力学原理出版后受到读者的热烈欢迎,并不断再版,本版是其第四版。在本版中作者做了一些改进,其中最大的改动就是为了引入电子对的产生而完全重写了量子电动力学这一章。《量子力学原理》第一版于1930年出版...
(英)克拉潘著2009 年出版750 页ISBN:9787100060615
本书下卷讲述1887~1914年、即作者所谓“机器和国家的竞争”时期的英国经济史。
(英)克拉克森著;孙亮译2006 年出版228 页ISBN:7536674422
本书提出人类的本能受到阻碍、破坏或曲解时,人就会产生伪能力。本书探讨了伪能力综合症、伪能力是如何影响人们的生活、人们是如何获得真正能力的。内容包括儿童发展理论、日常生活中的心理学、学习理论,以及...
潘蜜拉·克拉克·基尔(Pamela Clarke Keogh)著;张立芬译2001 年出版255 页ISBN:9574698262