How to Prove It: A Structured Approach
Daniel J. Velleman
Pattern Recognition and Machine Learning
Christopher M. Bishop
Differential Equations and Linear Algebra, 4th Edition
Stephen W. Goode & Scott A. Annin
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys