（美）丹尼斯 R.阿普尔亚德（Dennis R.Appleyard），（美）小艾尔佛雷德 J.菲尔德（Alfred J.Field，Jr.）著1998 年出版750 页ISBN：7111064313
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应用，以满足用户的需求。
MERCER'S ORTHOPAEDIC SURGERY SEVENTH EDITION
ROBERT B.DUTHIE AND ALBERT B.FERGUSON，JR.2222 年出版1236 页ISBN：0713142006
MANAGING INTERPERSONAL CONFLICTlADVANCES THROUGH META-ANALYSIS
NANCY A.BURRELL MIKE ALLEN BARBARA MAE GAYLE RAYMOND W.PREISS2014 年出版328 页ISBN：9780415999175
（美）霍尔德曼（Halderman，J.D.），（美）米切尔（Mitchell，Jr.C.D.）著；李克等译2006 年出版524 页ISBN：7504553891
本书讲述了汽车发动机理论与维修技术的相关知识。
（美）（D.C.沙比斯通）David C.Sabiston，Jr.主编；王德炳译1984 年出版1993 页ISBN：7117036753
据原书第15版译出:本书系统介绍了各种外科疾病相关的解剖、病理、生化、生理、药物、免疫、遗传等。重点放在疾病的体验、现代诊断手段及防治原则与方法方面。 ...
