Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
How to Prove It: A Structured Approach
Daniel J. Velleman
Computer Systems: A Programmer's Perspective Plus Masteringengineering ...
Randal E. Bryant & David R. O'Hallaron
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin