Beginning Mathematical Logic: A Study Guide
Peter Smith
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (2)
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
计算理论导引
Michael Sipser
斯坦福算法博弈论二十讲
Tim Roughgarden
多处理器编程的艺术
Maurice Herlihy
算法导论
Thomas H. Cormen
深入理解计算机系统
Randal E. Bryant
编译原理
Alfred V. Aho