Effective C++：改善程序与设计的55个具体做法
Scott Meyers
How to Prove It: A Structured Approach
Daniel J. Velleman
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
The Landscapes of Science and Religion: What Are We Disagreeing ...
Nick Spencer & Hannah Waite