Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
How to Prove It: A Structured Approach
Daniel J. Velleman
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson
计算理论导引
Michael Sipser
算法设计
Jon Kleinberg