（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.<em>Pem>ELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）克拉茨，（美）戈德曼著；张泽灵译2008 年出版456 页ISBN：7509119715
在生活水平日益提高的今天，抗衰老、延长寿命、提高生命质量成为人们关注的热点问题。本书系统介绍抗衰老医学发展的最新进展，从营养的补充、体育锻炼、合理膳食等方面详细介绍了抗衰老的方法。...
（美）玛丽·希金斯·克拉克（Mary Higgins Clark）著；孙晓莹译2006 年出版254 页ISBN：7538277269
本书是国际最知名惊悚悬疑作家的女性主角系列作品之一。讲述的是经历里离婚的创伤后，律师艾米莉在疗养心情的时候，协助警方破案并从中找回自我的故事。...
（美）玛丽·希金斯·克拉克著2006 年出版351 页ISBN：7537133247
马克思主义的百科全书，全世界无产者的“圣经”。1933年德国希特勒政府上台后，《资本论》与马克思的其他光辉著作一道遭到法西斯的疯狂禁毁。...
（美）乔治·克拉森著；潘汉延译2008 年出版189 页ISBN：9787533650544
本书通过对世界上最富有的人的成功故事的讲述，向读者传达了许多不可多得的人生哲理和生活智慧，以期教会人们如何学会成功理财，如何解决那些生活中的苦处。...
（德）<em>Pem>.A.克拉特采尔（<em>Pem>.A.Kratxzer）著；谢克宽译1963 年出版217 页ISBN：15165·2241(建工323）
（美）（C.克拉姆利什）Christian Crumlish著；和敬译1998 年出版269 页ISBN：7505347543
（美）乔恩·克拉考尔著2008 年出版196 页ISBN：9787300095103
克里斯生于富裕家庭，大学毕业后放弃了到哈佛深造的机会，捐出全部存款，孤身走进阿拉斯加荒野。作者重现克里斯探险历程，并试图从他的成长经历忠，找出他浪迹荒野的心理因素。...
