Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince