Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
算法
Robert Sedgewick & Kevin Wayne
How to Prove It: A Structured Approach
Daniel J. Velleman