Pattern Recognition and Machine Learning
Christopher M. Bishop
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
Proofs: A Long-Form Mathematics Textbook
Jay Cummings