How to Prove It: A Structured Approach
Daniel J. Velleman
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
Forecasting Economic Time Series
C. W. J. Granger & Paul Newbold & Karl Shell
Machine Learning, Second Edition: A Probabilistic Perspective
Kevin P. Murphy
Pattern Recognition and Machine Learning
Christopher M. Bishop