Algorithms (Addison-Wesley series in computer science) by Robert Sedgewick

Develops precise statements about performance, supported by appropriate mathematical models and empirical studies validating those models.