Presents the main approaches developed for a posteriori error estimation in various problems. This book contains a number of mathematical results and lists a posteriori error estimation methods. It includes computable bounds of approximation, errors checking algorithms, iteration processes, finite e[...]