Book of Proof
Richard Hammack
Antenna Engineering Handbook, Fourth Edition
John Volakis
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
矩阵计算
Charles F. van Loan & Gene H. Golub
编译原理
Alfred V. Aho
深入理解计算机系统
Randal E. Bryant
算法导论
Thomas H. Cormen
多处理器编程的艺术
Maurice Herlihy
斯坦福算法博弈论二十讲
Tim Roughgarden
计算理论导引
Michael Sipser