Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
编程珠玑
Jon Bentley
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys
Python工匠：案例、技巧与工程实践
朱雷
Book of Proof
Richard H. Hammack