Computer Science
The MIT Press
Thomas H. Cormen
Some books on algorithms are rigorous but incomplete; others cover masses of material but lack rigor.