Matrix Computations
Gene Howard Golub & Charles F. van Loan
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Entropy and Diversity: The Axiomatic Approach
Tom Leinster
Physics-based Deep Learning
N. Thuerey, B. Holzschuh, P. Holl, G. Kohl, M. Lino, Q. Liu, ...
多处理器编程的艺术
Maurice Herlihy
斯坦福算法博弈论二十讲
Tim Roughgarden
深入理解计算机系统
Randal E. Bryant
算法导论
Thomas H. Cormen
编译原理
Alfred V. Aho
计算理论导引
Michael Sipser