How to Prove It: A Structured Approach
Daniel J. Velleman
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
Entropy and Diversity: The Axiomatic Approach
Tom Leinster
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
多处理器编程的艺术
Maurice Herlihy
算法导论
Thomas H. Cormen
计算理论导引
Michael Sipser
深入理解计算机系统
Randal E. Bryant
斯坦福算法博弈论二十讲
Tim Roughgarden
编译原理
Alfred V. Aho