深入理解计算机系统
Randal E. Bryant
流畅的Python
Luciano Ramalho
Book of Proof
Richard H. Hammack
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson
计算理论导引
Michael Sipser
编译原理
Alfred V. Aho
算法导论
Thomas H. Cormen
斯坦福算法博弈论二十讲
Tim Roughgarden
多处理器编程的艺术
Maurice Herlihy