Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (1)
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
深入理解计算机系统
Randal E. Bryant
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson