Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
深入理解计算机系统
Randal E. Bryant
Calculus
Gilbert Strang