Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash
Combinatorial Optimization: Theory and Algorithms
Bernhard Korte & Jens Vygen
Algorithms and Combinatorics (1)
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
Calculus
Gilbert Strang