（美）罗伯特·考特（Robert Cooter），（美）托马斯·尤伦（Thomas Ulen）著；张军等译1994 年出版878 页ISBN：7208018863
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）Paul R. Reed，Jr.著；郭旭译2003 年出版363 页ISBN：730206475X
本书主要介绍了UML和RUP的基础知识，并示范如何使用这些标准的面向对象方法来开发Java应用，以满足用户的需求。
(美)查尔斯·卡尔顿·科芬(Charles Coffin)著2011 年出版274 页ISBN：9787511708762
本部作品是专为美国的男孩和女孩写的一个真实的叙述性故事。故事横跨了近五百年的光阴，描绘出了人类由奴役走向自由的大致轮郭。
（美）Raymond G.Miltenberger著；石林等译2004 年出版471 页ISBN：7501943664
《行为矫正》介绍行为的基本原理，环境事件对人类行为的影响，详细地描述了行为矫正的过程。作者将行为矫正的原则与过程描述得惟妙惟肖、细致入微，渗透了作者多年来行为治疗方法和应用研究的心血。每个章节提供...
Thomas R. Pellegrine著；张中倩译2005 年出版266 页ISBN：703014838X
本书根据经验、职场法则，针对台湾人的需求，传授要在外商公司谋得职位的秘诀。
