Pattern Recognition and Machine Learning
Christopher M. Bishop
How to Prove It: A Structured Approach
Daniel J. Velleman
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Algorithms for Convex Optimization
Nisheeth K. Vishnoi
Matrix Computations
Gene Howard Golub & Charles F. van Loan