How to Prove It: A Structured Approach
Daniel J. Velleman
Matrix Computations
Gene Howard Golub & Charles F. van Loan
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
流畅的Python
Luciano Ramalho
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (1)
Algorithms and Combinatorics (2)