How to Prove It: A Structured Approach
Daniel J. Velleman
Algorithms for Convex Optimization
Nisheeth K. Vishnoi
Theory and Computation of Electromagnetic Fields
Jian-Ming Jin
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack