How to Prove It: A Structured Approach
Daniel J. Velleman
Notes on Diffy Qs: Differential Equations for Engineers
Jiri Lebl
The Art of Computer Programming, Volume 4B: Combinatorial Algorithms
Donald E. Knuth
The Art of Computer Programming (5)
The Art of Computer Programming: Sorting and Searching. Vol. ...
The Art of Computer Programming (3)