Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Theory and Computation of Electromagnetic Fields
Jian-Ming Jin
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince