How to Prove It: A Structured Approach
Daniel J. Velleman
Computer Systems: A Programmer's Perspective Plus Masteringengineering ...
Randal E. Bryant & David R. O'Hallaron
编译原理
Alfred V. Aho
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince
Information Theory, Inference and Learning Algorithms
David J. C. MacKay