How to Prove It: A Structured Approach
Daniel J. Velleman
More Effective C++：35个改善编程与设计的有效方法
Scott Meyers
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince
Forecasting Economic Time Series
C. W. J. Granger & Paul Newbold & Karl Shell
Matrix Computations
Gene Howard Golub & Charles F. van Loan