（德）科尔曼（Kollmann，F.F.P.），（德）科 泰（Cote，W.A.Jr.）著；江良游等译1991 年出版526 页ISBN：7503801506
（美）丹尼斯·R·阿普尔亚德（Dennis R.Appleyard），（美）小艾尔佛雷德·J·菲尔德（Alfred J.Field，Jr）著2002 年出版752 页ISBN：7111096533
本书全面系统地介绍了国际经济学的两大分支——国际贸易理论与政策、国际货币理论与政策的主要内容。
（美）威廉·L.小文托洛（William L.Ventolo，Jr.），（美）马莎·R.威廉斯（Martha R.Williams）著；施建刚主译2005 年出版425 页ISBN：7208054436
本书介绍了关于房地产的估价方法，是培训房地产估价师的基础类教材。
理察·艾尔格斯（RICHARD J.ELKUS JR.）著；杨语芸译2009 年出版327 页ISBN：9866414108
（美）Jerry Lee Ford，Jr著；陈虹译2001 年出版412 页ISBN：7302041679
本书讲述用Windows2000Pro和其他Microsoft操作系统构建和管理小型计算机网络的知识和技巧，包括构建网络的硬件、软件配置，如何管理网络打印机及磁盘共享，如何保护网络安全及进行故障排除等。...
ADVANCES IN PROTEIN CHEMISTRY VOLUME 19
C.B.ANFINSEN，JR. M.L.ANSON JOHN T.EDSALL FREDERIC M.RICHARDS2222 年出版408 页ISBN：
（美）丹尼斯 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...
