More Effective C++：35个改善编程与设计的有效方法
Scott Meyers
Matrix Computations
Gene Howard Golub & Charles F. van Loan
How to Prove It: A Structured Approach
Daniel J. Velleman
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult