Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
How to Prove It: A Structured Approach
Daniel J. Velleman
Multi-Agent Reinforcement Learning: Foundations and Modern Approaches
Stefano V. Albrecht & Filippos Christianos & Lukas Schäfer
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash