Carl Ganz，Jr.著；李小坚，田 英，战凤梅等译1998 年出版315 页ISBN：7111065328
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）Paul R. Reed，Jr.著；郭旭译2003 年出版363 页ISBN：730206475X
本书主要介绍了UML和RUP的基础知识，并示范如何使用这些标准的面向对象方法来开发Java应用，以满足用户的需求。
（美）史蒂文·布莱登（Steven R. Brydon），（美）迈克尔·斯各特（Michael D. Scott）著；顾肃，谢友倩，宣莹译2006 年出版527 页ISBN：7300076637
本书是介绍公共演讲的艺术和科学。
（美）John Scott Lewinski著；李德珍等译2000 年出版176 页ISBN：7810655612
本书详细讲解了电脑游戏爱好者如何将自己喜爱的游戏变为电脑游戏、如何提高设计者的水平，将游戏逐步升级并设计出更好的软件程序。
（美）Scott Fisher著；马丽，尹京堂译1996 年出版124 页ISBN：7505334018
（美）霍尔德曼（Halderman，J.D.），（美）米切尔（Mitchell，Jr.C.D.）著；李克等译2006 年出版524 页ISBN：7504553891
本书讲述了汽车发动机理论与维修技术的相关知识。
（美）小阿瑟·A. 汤普森（Arthur A. Thompson.Jr），（美）A. J. 斯特里克兰三世（A. J. Strickland III）著；段盛华，王智慧，于凤霞译2005 年出版411 页ISBN：7500574800
本书是《战略管理：概论与案例》的中译本（概论部分），以公司文化、公司战略定位、行业竞争、市场分析等各个层次对公司的战略管理给予指导。...
