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
(美)霍尔德曼(Halderman,J.D.),(美)米切尔(Mitchell,Jr.C.D.)著;李克等译2006 年出版524 页ISBN:7504553891
本书讲述了汽车发动机理论与维修技术的相关知识。
FRANKHINMAN,JR.原著;关志忱,梅骅主译2005 年出版1125 页ISBN:7117070056
本书详尽介绍了21类手术的操作步骤,并且在每一种具体术式后都附有相关专家对此术式的专业评论。本书较第一版增加了大量新术式和手术细节。...
(美)小阿瑟·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