Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
美国《预防》杂志编；丁敏译2005 年出版584 页ISBN：7802110335
本书从营养的角度，介绍了91种平日常见疾病的预防方法和治疗途径。
OBJECTS HAVE CLASS! AN INTRODUCTION TO PROGRAMMING WITH JAVA
2002 年出版540 页ISBN：0072423404;0071122583
A BOOK C：PROGRAMMING IN C (FOURTH EDITION)
[美]Al Kelley Ira Pohi著2005 年出版726 页ISBN：7111134141
本书是一本全面论述C语言的权威著作。
Programming MapReduce witth Scalding a pratical guide to designing
testing2014 年出版136 页ISBN：
跨文化教练 驾驭国家、公司和职业差异的新型工具 new tools for leveraging national， corporate ＆ professional differences
菲利普·罗森斯基（Philippe Rosinski）著；冯云霞，贾晓莉，王蕾译2006 年出版292 页ISBN：7300074626
本书简要介绍跨文化背景下的企业教练的最新理论及常见做法。
Logic And Software Engineering International Workshop in Honor of Chin-Sung Tang
1996 年出版311 页ISBN：981022804X
