Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Physics-based Deep Learning
N. Thuerey, B. Holzschuh, P. Holl, G. Kohl, M. Lino, Q. Liu, ...
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Recommender Systems: The Textbook
Charu C. Aggarwal
多处理器编程的艺术
Maurice Herlihy
斯坦福算法博弈论二十讲
Tim Roughgarden
编程珠玑
Jon Bentley
零信任网络: 在不可信网络中构建安全系统
Evan Gilman
Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
深入理解计算机系统
Randal E. Bryant
Computer Systems: A Programmer's Perspective Plus Masteringengineering ...
Randal E. Bryant & David R. O'Hallaron
算法
Robert Sedgewick & Kevin Wayne
C++ Primer Plus
Stephen Prata
矩阵计算
Gene H. Golub & Charles F. van Loan
Introduction to Algorithms, Third Edition
Thomas H. Cormen & Charles E. Leiserson & Ronald L. Rivest & Clifford Stein
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (2)
Algorithm Design
Jon Kleinberg & Éva Tardos
算法设计
Jon Kleinberg
算法导论
Thomas H. Cormen
Algorithms and Combinatorics (1)
编译原理
Alfred V. Aho
计算理论导引
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson