Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
Bayesian Data Analysis
Andrew Gelman
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (1)
Algorithms and Combinatorics (2)