Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977
1977 年出版596 页ISBN：3540083537
Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976
1976 年出版606 页ISBN：3540078541
Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
1989 年出版605 页ISBN：3540514864
Thinking in C++ Volume 2: Practical Programming = C++编程思想 第2卷 实用编程技术 （英文版）
Bruce Eckel ; Chuck Allison2002 年出版802 页ISBN：7111121880
本书全面介绍了有关C++编程方面的内容。
Lecture Notes in Computer Science 4500 The Disappearing Computer Interaction Design
System Infrastructures and Applications for Smart Environments2007 年出版304 页ISBN：9783540727255
Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
MATHEMATICAL PROBLEM-SOLVING WITH THE MICROCOMPUTER Projects to Increase Your BASIC Programming Skil
1982 年出版190 页ISBN：0135618118
Advanced programming in the UNIX environment Third Edition = UNIX环境高级编程 (英文版·第3版)
W. Richard Stevens ; Stephen A. Rago2016 年出版954 页ISBN：7111523871
Lecture Notes in Artificial Intelligence 4411 Programming Multi-Agent Systems 4th International Work
ProMAS 20062007 年出版249 页ISBN：9783540719557
