编译原理
Alfred V. Aho
Beginning Mathematical Logic: A Study Guide
Peter Smith
Algorithm Design
Jon Kleinberg & Éva Tardos
Effective C++：改善程序与设计的55个具体做法
Scott Meyers
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys