This text provides a unified treatment of deterministic global optimization. It introduces theoretical and algorithmic advances that address the computation and characterization of global optima, determine valid lower and upper bounds on the global minima and maxima, and enclose all solutions of nonlinear constrained systems of equations. Among its special features, the book: introduces the fundamentals of deterministic global optimization; provides a thorough treatment of decomposition-based global optimization approaches for biconvex and bilinear problems; covers global optimization methods for generalized geometric programming problems; presents in-depth global optimization algorithms for general twice continuously differentiable nonlinear problems; provides a detailed treatment of global optimization methods for mixed-integer nonlinear problems; develops global optimization approaches for the enclosure of all solutions of nonlinear constrained systems of equations; and includes many important applications from process design, synthesis, control, and operations, phase equilibrium, design under uncertainty, parameter estimation, azeotrope prediction, structure prediction in clusters and molecules, protein folding, and peptide docking.