深入理解计算机系统
Randal E. Bryant
Book of Proof
Richard H. Hammack
算法
Robert Sedgewick & Kevin Wayne
Matrix Computations
Gene Howard Golub & Charles F. van Loan
多处理器编程的艺术
Maurice Herlihy