Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (1)
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash
斯坦福算法博弈论二十讲
Tim Roughgarden
编译原理
Alfred V. Aho
深入理解计算机系统
Randal E. Bryant
算法导论
Thomas H. Cormen
多处理器编程的艺术
Maurice Herlihy
计算理论导引
Michael Sipser