算法：Algorithms, Data Structures and Problem Solving with C++, Mark Allen Weiss(国内可能有引进版)
Introduction to Algorithms（算法导论）

操作系统：Robbins, "Unix Systems Programming," 2nd edition;
Sarwar and Al-Saqabi, "Linux and Unix Programming Tools."

计算机程序结构：
Abelson and Sussman, Structure and Interpretation of Computer Programs（著名的SICP,MIT Stanford等校的必修课，国内有翻译版 叫计算机程序的构造和解释）

离散数学：Discrete Mathematics and its Applications, K.H. Rosen, McGraw-Hill.

数值计算：
"Elementary Numerical Computing with Mathematica" by R. Skeel and J. Keiper or "Numerical Methods" by Cheney and Kincaid.

程序设计和改进：
* Code Complete by Steve McConnell, published by Microsoft Press, 2nd edition.
* UML Distilled: A Brief Guide to the Standard Object Modeling Language by Martin Fowler, published by Addison-Wesley, 3rd edition.
* C++ for Java Programmers, Mark Allen Weiss, published by Pearson Prentice Hall, or Essential C++ by Stanley B. Lippman, published by Addison-Wesley.

形式语言和自动机理论：
R.G. Taylor, "Models of Computation and Formal Languages", Oxford University Press, 1997, or Hopcroft and Ullman, "Introduction to Automata Theory, Languages, and Computation," Addison-Wesley.