Beginning Mathematical Logic: A Study Guide
Peter Smith
Electromagnetic Wave Theory
Jin Au Kong
算法
Robert Sedgewick & Kevin Wayne
多处理器编程的艺术
Maurice Herlihy
Information Theory, Inference and Learning Algorithms
David J. C. MacKay