Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Computer Systems: A Programmer's Perspective Plus Masteringengineering ...
Randal E. Bryant & David R. O'Hallaron
Matrix Computations
Gene Howard Golub & Charles F. van Loan
Electromagnetic Wave Theory
Jin Au Kong
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack