算法与理论方向
- Cormen et al.《Introduction to Algorithms》(CLRS)——算法百科（→ 第三、四卷）
- Sedgewick & Wayne《Algorithms》——更工程化的算法教材，配 Java 代码（→ 第三、四卷）
- Kleinberg & Tardos《Algorithm Design》——以设计思路组织，证明清晰（→ 第四卷）
- Sipser《Introduction to the Theory of Computation》——计算理论标准教材（→ 第十卷）
- Rosen《Discrete Mathematics and Its Applications》——离散数学基础
- Pierce《Types and Programming Languages》(TAPL)；Aho et al.《Compilers》(龙书)；Appel《Modern Compiler Implementation》(虎书)（→ 第五卷）