Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
Beginning Mathematical Logic: A Study Guide
Peter Smith
Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer