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应用，以满足用户的需求。
（美）霍尔德曼（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
本书是《战略管理：概论与案例》的中译本（概论部分），以公司文化、公司战略定位、行业竞争、市场分析等各个层次对公司的战略管理给予指导。...
（美）Charles N. Fischer，（美）Richard J. LeBlanc，Jr.著；郑启龙，姚震译2005 年出版531 页ISBN：7111164741
本书讲述了编译器设计中的理论和实现两大部分，详细讨论了标准编译器设计的相关主题，提供了创新的编译器构造方法。
（美）Keith E.Bugg，（美）Jack Tackett，Jr.著；杨庆岩等译1996 年出版289 页ISBN：7505337858
（美）小托马斯·派特辛格（Thomas Petzinger，Jr.）著；高梓萍等译2003 年出版337 页ISBN：7111109945
（美）小理查兹·J.霍耶尔（RICHARDSJ.HEUER，JR.）著；张魁，朱里克译；高金虎审校；王吉胜总策划；高金虎主编2015 年出版236 页ISBN：9787515509907
本书重点探讨了人类对不完整或模糊信息判断的处理过程的认知心理学问题，着重研究情报分析领域的几个重要问题。全书共14章，分为四个部分：一、我们思维的机制；二、思考的工具；三、认知的偏见；四、改进情报分析。...
