This second, revised and substantially extended edition of Approximations and Endomorphism Algebras of Modules reflects both the depth and the width of recent developments in the area since the first edition appeared in 2006. The new division of the monograph into two volumes roughly corresponds to its two central topics, approximation theory (Volume 1) and realization theorems for modules (Volume 2). It is a widely accepted fact that the category of all modules over a general associative ring is too complex to admit classification. Unless the ring is of finite representation type we must limit attempts at classification to some restricted subcategories of modules. The wild character of the category of all modules, or of one of its subcategories C, is often indicated by the presence of a realization theorem, that is, by the fact that any reasonable algebra is isomorphic to the endomorphism algebra of a module from C. This results in the existence of pathological direct sum decompositions, and these are generally viewed as obstacles to classification. In order to overcome this problem, the approximation theory of modules has been developed. The idea here is to select suitable subcategories C whose modules can be classified, and then to approximate arbitrary modules by those from C. These approximations are neither unique nor functorial in general, but there is a rich supply available appropriate to the requirements of various particular applications. The authors bring the two theories together. The first volume, Approximations, sets the scene in Part I by introducing the main classes of modules relevant here: the S-complete, pure-injective, Mittag-Leffler, and slender modules. Parts II