Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash
Bayesian Data Analysis
Andrew Gelman
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (2)
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult