（美）小拉什·多兹尔（Rush W.Dozier，Jr.）著；王江译2004 年出版287 页ISBN：7501164886
本书是第一本从科学的角度探索仇恨，教育人们如何合理解决和消除仇恨的书籍。
（美）H.A.小谢弗（H.A. Schaeffer Jr.）著；于东智，谷立日译2004 年出版224 页ISBN：7300061257
本书讲述企业如何获取和保持现金流量。
（美）詹姆斯·D. 霍尔德曼（James D. Halderman），（美）小蔡斯·D. 米切尔（Chase D. Mitchell，Jr.）著；刘存友等译2005 年出版387 页ISBN：7504550728
本书讲授了与汽车电气、电子系统相关的维修技术知识。
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
