The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
C++ Primer Plus
Stephen Prata
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (2)
Book of Proof
Richard H. Hammack