深入理解计算机系统
Randal E. Bryant
Book of Proof
Richard H. Hammack
The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
零信任网络: 在不可信网络中构建安全系统
Evan Gilman
多处理器编程的艺术
Maurice Herlihy
算法导论
Thomas H. Cormen
计算理论导引
Michael Sipser
斯坦福算法博弈论二十讲
Tim Roughgarden
编译原理
Alfred V. Aho