Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Information Geometry and Its Applications
Shun-Ichi Amari
Pattern Recognition and Machine Learning
Christopher M. Bishop
Antenna Engineering Handbook, Fourth Edition
John Volakis
How to Prove It: A Structured Approach
Daniel J. Velleman
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson