深入理解计算机系统
Randal E. Bryant
Introduction to Algorithms, Third Edition
Thomas H. Cormen & Charles E. Leiserson & Ronald L. Rivest & Clifford Stein
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
Pattern Recognition and Machine Learning
Christopher M. Bishop
How to Prove It: A Structured Approach
Daniel J. Velleman