（美）丹尼斯 R.阿普尔亚德（Dennis R.Appleyard），（美）小艾尔佛雷德 J.菲尔德（Alfred J.Field，Jr.）著1998 年出版750 页ISBN：7111064313
Carl Ganz，Jr.著；李小坚，田 英，战凤梅等译1998 年出版315 页ISBN：7111065328
（美）罗伯特·弗兰克（Robert H.Frank）著；蔡曙光，张杰译2002 年出版373 页ISBN：7505718045
（加）Lee Babin，（美）Nathan A. Good，（美）Frank M. Kromann等著2008 年出版567 页ISBN：9787115175397
本书的四位作者从事PHP开发工作多年，有极为丰富的开发经验，本书即是他们宝贵经验的结晶。
（美）Frank M.Carrano，（美）Janet J.Prichard著；文家焱，刘伟杰，黄丽姬译2004 年出版509 页ISBN：7302097321
本书详细介绍了数据间的逻辑关系，存储方式和相关运算帮助学生逐步学会分析和解决程序设计问题。
（美）埃德蒙·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
