Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Book of Proof
Richard Hammack
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar
Theory and Computation of Electromagnetic Fields
Jian-Ming Jin
多处理器编程的艺术
Maurice Herlihy