Algorithms for Convex Optimization
Nisheeth K. Vishnoi
Beginning Mathematical Logic: A Study Guide
Peter Smith
Entropy and Diversity: The Axiomatic Approach
Tom Leinster
编译原理
Alfred V. Aho
How to Prove It: A Structured Approach
Daniel J. Velleman
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult