Algorithms by Papadimitriou would be a pleasant read on algorithms.