| 27 | 译 | 《Event-B 建模：系统和软件工程》，人民邮电工业出版社，2019.9。 本书相关信息和资源 |
| 26 | 译 | 《编程原本》，人民邮电工业出版社，2019.8。[20的修订版] 本书相关信息和资源 |
| 25 | 著 | 《程序员学Python》，人民邮电工业出版社，2018.8。 本书相关信息和资源 |
| 24 | 著 | 《从问题到程序：用Python学习编程和计算》，机械工业出版社，2017.6。 本书相关信息和资源 |
| 23 | 著 | 《数据结构与算法：Python语言描述》，机械工业出版社，2016.1。 本书相关信息和资源 |
| 22 | 译 | 《编程的修炼》，电子工业出版社，2013.7 （Edsger W. Dijstra, A Discipline of Programming, 1976） 本书相关信息和资源 |
| 21 | 译 | 《C++语言的设计和演化》，科学出版社，2012.2 [9的修订版] （Bjarne Stroustrup, The Design and Evolution of C++, 1994） |
| 20 | 译 | 《编程原本》，机械工业出版社，2012.1 （Alexander Stepanov and Paul McJones, Elements of Programming, Pearson Education, 2009） |
| 19 | 译 | 《程序设计语言——实践之路（第二版）》，电子工业出版社（Broadview），2007.6 （Michael Scott, Programming Language Pragmatics, Morgen Kaufmann, Second Edition, 2006） |
| 18 | 著 | 《从问题到程序——程序设计与C语言引论》（2005版），机械工业出版社，2005.9。第二版，2011.5 本书相关信息和资源。从这里可下载2004修订版电子文件 |
| 17 | 译 | 《程序设计语言——实践之路》，电子工业出版社（Broadview），2005. 相关信息资源 （Michael Scott, Programming Language Pragmatics, Morgen Kaufmann, 2000） |
| 16 | 译 | 《B方法》，电子工业出版社，2004.6（Jean-Raymond Abrial, The B-Book: Assigning programs to meanings, Cambridge University Press, 1996）。图灵奖获得者C.A.R. Hoare为本书撰写“颂辞”，极其推崇 （可惜出版社没把颂辞印在书里，且把作者国籍[法]错写为[美]）。一位工业界人士写的序言，作者前言，译者序 |
| 15 | 译 | 《计算机程序的构造和解释》，机械工业出版社，2004.2（Harold Abelson and Gerald Jay Sussman with Julie Sussman, Structure and Interpretation of Computer Programs (2nd Edition), MIT Press, 1998），中文版勘误表 |
| 13 | 著 | 《C++语言基本程序设计》，科学出版社，2003.3。本书是作为计算机基础课程的教材，属于“信息科学专业系列教材”之一 |
| 14 | 译 | 《C++程序设计语言题解》（“C++程序设计语言”的伴侣），机械工业出版社2003.1（David Vandevoorde, C++ Solutions，Addison-Wesley, 1998） |
| 12 | 译 | 《C++程序设计语言》（特别版），机械工业出版社，2002.7（Bjarne Stroustrup, C++ Programming Languages (Special Edition), Addison-Wesley, 2000）。原书前言和第1章、第23章，译者序。本书的网页（包括中英文对照索引等，及英文版许多信息） |
| 11 | 译 | 《从规范出发的程序设计》（第二版），中信出版社，2002.5，后中信把本书转给机械工业出版社（2002.8）（Carroll Mogan, Programming From Specification, 2nd Edition, Prentice Hall International, 1998）。出版社把作者国籍[澳]错写为[美]。译者序 |
| 10 | 译（与秦胜潮，蒲戈光，林宗芳，魏晋伟合作） | 《程序设计语言——概念和结构》（第二版），机械工业出版社，2002.2（Ravi Sethi, Programming Languages --- Concepts and Constructs, 2nd Edition, Addison-Wesley, 1996）。原书前言和目录，译者序 |
| 9 | 译 | 《C++语言的设计和演化》，机械工业出版社，2002.1（Bjarne Stroustrup, The Design and Evolution of C++, Addison-Wesley, 1994）。原书前言和目录，译者序。为本书建的网页（有中英文对照索引等） |
| 8 | 译（与李琦、李建国合作） | 《科学程序设计引论——使用Mathematica和C解决计算问题》，高等教育出版社，2001.7（Joseph L. Zachary, Introduction to Scientific Programming --- omputational Problems Solving using Mathematica and C, Springer-Verlag, 1998） |
| 7 | 主编 | 《计算机基础教程（上、下册）》，北京大学出版社，2000.8，2001.4。撰写若干部分 |
| 6 | 译 | 《程序设计实践》，机械工业出版社，2000（Brian W. Kernighan and Rob Pike, The Practice of Programming, Addison-Wesley, 1999) 。前言和目录，译者序，勘误表 |
| 5 | 著 | 《从问题到程序——程序设计与C语言引论》，北京大学出版社 1999，2002，勘误表 |
| 4 | 与张乃孝合著 | 《数据结构—C++与面向对象的途径》，高等教育出版社，1998，第二版2001 |
| 3 | 与许卓群合著 | 《计算概论（上册），高等教育出版社》，1997 |
| 2 | 著 | 《Mathematica数学软件系统的应用和程序设计》，北京大学出版社，1994，多次重印 |
| 1 | 译 | 《程序设计语言基础》，北京大学出版社，1990（Ellis Horowitz, Foundametals of Programming Languages, Springer-Verlag, 1986） |
2018.8 |