Computer Systems: A Programmer's Perspective Plus Masteringengineering ...
Randal E. Bryant & David R. O'Hallaron
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Electromagnetic Wave Theory
Jin Au Kong
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Computers and Intractability: A Guide to the Theory of NP-completeness
Michael R. Garey & David S. Johnson