Data structures and algorithm analysis in C++ = 数据结构与算法分析 C++描述（英文版·第3版）
Mark Allen Weiss2006 年出版588 页ISBN：7115152330
本书是数据结构的经典教材，采用C++语言描述。
数字电视与制度变迁 美国与英国的数字电视转换之路 the transition to digital TV in the United States and Britain
（美）赫南·加尔伯瑞（Hernan Galperin）著；罗晓军等译2006 年出版278 页ISBN：7115151385
本书通过比较美国和英国从模拟电视向数字电视的转换之路，对形成未来无线电视广播图景的经济、政治与技术力量进行了分析。
Lecture Notes in Computer Science 4125 Databases
Information Systems2007 年出版0 页ISBN：
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN：
Computer models in the social sciences
[by] R. B. Coats and A. Parkin.1977 年出版184 页ISBN：
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
