深入理解计算机系统
Randal E. Bryant
Effective C++：改善程序与设计的55个具体做法
Scott Meyers
The Landscapes of Science and Religion: What Are We Disagreeing ...
Nick Spencer & Hannah Waite
Book of Proof
Richard Hammack
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)