模型检测

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

Java与UML协同应用开发

（美）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

汽车发动机理论与维修 第5版

（美）霍尔德曼（Halderman，J.D.），（美）米切尔（Mitchell，Jr.C.D.）著；李克等译2006 年出版524 页ISBN：7504553891

本书讲述了汽车发动机理论与维修技术的相关知识。

克氏外科学 第15版

（美）（D.C.沙比斯通）David C.Sabiston，Jr.主编；王德炳译1984 年出版1993 页ISBN：7117036753

据原书第15版译出:本书系统介绍了各种外科疾病相关的解剖、病理、生化、生理、药物、免疫、遗传等。重点放在疾病的体验、现代诊断手段及防治原则与方法方面。 ...

泌尿外科手术图谱 第2版

FRANKHINMAN，JR.原著；关志忱，梅骅主译2005 年出版1125 页ISBN：7117070056

本书详尽介绍了21类手术的操作步骤，并且在每一种具体术式后都附有相关专家对此术式的专业评论。本书较第一版增加了大量新术式和手术细节。...

战略管理 第13版

（美）小阿瑟·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

编译器构造 C语言描述

（美）Charles N. Fischer，（美）Richard J. LeBlanc，Jr.著；郑启龙，姚震译2005 年出版531 页ISBN：7111164741

本书讲述了编译器设计中的理论和实现两大部分，详细讨论了标准编译器设计的相关主题，提供了创新的编译器构造方法。