Book of Proof
Richard H. Hammack
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
More Effective C++：35个改善编程与设计的有效方法
Scott Meyers
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar