深入理解计算机系统
Randal E. Bryant
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Computational Methods for Electromagnetic Inverse Scattering
Xudong Chen
Matrix Calculus (for Machine Learning and Beyond)
Alan Edelman, Steven G. Johnson