Book of Proof
Richard Hammack
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
Effective C++：改善程序与设计的55个具体做法
Scott Meyers
How to Prove It: A Structured Approach
Daniel J. Velleman
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson