The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (2)
Computational Methods for Electromagnetic Inverse Scattering
Xudong Chen
Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser