（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）Paul R. Reed，Jr.著；郭旭译2003 年出版363 页ISBN：730206475X
本书主要介绍了UML和RUP的基础知识，并示范如何使用这些标准的面向对象方法来开发Java应用，以满足用户的需求。
MERCER'S ORTHOPAEDIC SURGERY SEVENTH EDITION
ROBERT B.DUTHIE AND ALBERT B.FERGUSON，JR.2222 年出版1236 页ISBN：0713142006
（美）霍尔德曼（Halderman，J.D.），（美）米切尔（Mitchell，Jr.C.D.）著；李克等译2006 年出版524 页ISBN：7504553891
本书讲述了汽车发动机理论与维修技术的相关知识。
（美）（D.C.沙比斯通）David C.Sabiston，Jr.主编；王德炳译1984 年出版1993 页ISBN：7117036753
据原书第15版译出:本书系统介绍了各种外科疾病相关的解剖、病理、生化、生理、药物、免疫、遗传等。重点放在疾病的体验、现代诊断手段及防治原则与方法方面。 ...
（美）小阿瑟·A. 汤普森（Arthur A. Thompson.Jr），（美）A. J. 斯特里克兰三世（A. J. Strickland III）著；段盛华，王智慧，于凤霞译2005 年出版411 页ISBN：7500574800
本书是《战略管理：概论与案例》的中译本（概论部分），以公司文化、公司战略定位、行业竞争、市场分析等各个层次对公司的战略管理给予指导。...
Corporate attorney's practice guide 2011 edition
William H. Clark.Jr2011 年出版604 页ISBN：1422494455
Pharmacogenomics an introduction and clinical perspective
Joseph S. Bertino Jr ; C. Lindsay DeVane ; Uwe Fuhr2013 年出版274 页ISBN：0071741699
（美）Charles N. Fischer，（美）Richard J. LeBlanc，Jr.著；郑启龙，姚震译2005 年出版531 页ISBN：7111164741
本书讲述了编译器设计中的理论和实现两大部分，详细讨论了标准编译器设计的相关主题，提供了创新的编译器构造方法。
（美）Keith E.Bugg，（美）Jack Tackett，Jr.著；杨庆岩等译1996 年出版289 页ISBN：7505337858
