+1 for Kleinberg-Tardos. I had already read Cormen before, and dabbled in TAOCP before I found Kleinberg-Tardos, and found it the most interesting (while remaining rigorous) of the three. I loved the structure of the book as well - focusing on real world problems and their algorithmic solutions, rather than a reference index of algos.