Optimization is a rich and thriving mathematical discipline, and the underlying theory of current computational optimization techniques grows ever more sophisticated. This new edition adds material on semismooth optimization, as well as several new proofs.