The aim of this book is to lay foundations of differential calculus in infinite dimensions and to discuss those applications in infinite dimensional differential geometry and global analysis which do not involve Sobolev completions and fixed point theory. The approach is simple: a mapping is called smooth if it maps smooth curves to smooth curves. Up to Frechet spaces, this notion of smoothness coincides with all known reasonable concepts. In the same spirit, calculus of holomorphicmappings (including Hartogs'theorem and holomorphic uniform boundedness theorems) and calculus of real analytic mappings are developed. Existence of smooth partitions of unity, the foundations of manifold theory in infinite dimensions, the relation between tangent vectors and derivations, anddifferential forms are discussed thoroughly. Speciel emphasis is given to the notion of regular infinite dimensional Lie groups. Many applications of this theory are included: manifolds of smooth mappings, groups of diffeomorphisms, geodesics on spaces of Riemannian metrics, direct limit manifolds, perturbation theory of operarors, and differentiability questions of infinite dimensional representations.