Analysis and design of algorithms: modeling, comparison, measures, applications. Pre: 311.