Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Measurement
Paul Lockhart
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
计算理论导引
Michael Sipser
斯坦福算法博弈论二十讲
Tim Roughgarden
多处理器编程的艺术
Maurice Herlihy
算法导论
Thomas H. Cormen
深入理解计算机系统
Randal E. Bryant
编译原理
Alfred V. Aho