（美）小沃尔特·M.米勒（Walter M.Miller，Jr）著；俞建青译2004 年出版316 页ISBN：7536454848
本书为科学幻想小说。书中讲述核战以后，人类文明倒退回黑暗时代。700年后的莱博维茨偶然间发现了一份20世纪工程写下的备忘录，借助于它，人们可以探索遥远的人类文明兴旺发达的过去。...
（美）M·谢里夫·巴西奥尼（M. Cherif Bassiouni）著；王秀梅译2003 年出版251 页ISBN：7503642890
本书系统论述了国际刑法的形成与发展脉络，理论体系构成框架，以及现实性问题和研究心得。
（美）大卫·李柏曼著2012 年出版199 页ISBN：9787218081489
本书作者格雷戈里·哈特莱曾利用《看谁在说谎》书中的技巧，为美军在战斗中，从敌军人员那获取需要的真实情报。现在他将自己军事方面的经验运用到商业领域之中，和读者一同分享他的科学方法，从而让读者能在每天的...
（美）大卫·霍农著；马冬华译2007 年出版158 页ISBN：7534422531
本书大量引用来自多元文化艺术和设计师的实例，简洁明了地阐述色彩的概念和相关术语，该书可作为艺术院校师生的指导用书。
依兰卡恩，大卫路德尼斯基（美）著；刘名编译2002 年出版321 页ISBN：7563414258
本书全程关注日常教学的各个阶段，根据各个学习阶段的教学需求，合理安排题量和测试时间，力求每份试卷均能覆盖该阶段的所有知识点，从而客观、准确地反映学生的学习情况，及时巩固各阶段的学习成果，提升学生的综合.....
（美）特伦斯·M·克劳瑞特（Terrence M. Clauretie），（美）G·斯泰西·西蒙斯（2012 年出版547 页ISBN：9787300146935
本书分四个部分系统阐述了房地产金融的基本概念和理论：第一部分从总体上介绍房地产市场、金融理论及其在房地产领域的应用；第二部分讨论与住宅房地产融资相关的问题，涉及抵押贷款市场、融资方式等内容；第三部分...
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
