Information Theory, Inference and Learning Algorithms
David J. C. MacKay
More Effective C++：35个改善编程与设计的有效方法
Scott Meyers
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Proofs: A Long-Form Mathematics Textbook
Jay Cummings