Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Introduction to Linear Algebra 5th Edition
Gilbert Strang
How to Prove It: A Structured Approach
Daniel J. Velleman
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers