多处理器编程的艺术
Maurice Herlihy
深入理解计算机系统
Randal E. Bryant
Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
Effective C++：改善程序与设计的55个具体做法
Scott Meyers
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys
Algorithms for Convex Optimization
Nisheeth K. Vishnoi
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
How to Prove It: A Structured Approach
Daniel J. Velleman
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Entropy and Diversity: The Axiomatic Approach
Tom Leinster
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos