深入理解计算机系统
Randal E. Bryant
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
Electromagnetic Metasurfaces: Theory and Applications
Karim Achouri & Christophe Caloz
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys