This book is an introductory graduate-level textbook on the theory of smooth manifolds. Its goal is to familiarize students with the tools they will need in order to use manifolds in mathematical or scientific research--- smooth structures, tangent vectors and covectors, vector bundles, immersed and embedded submanifolds, tensors, differential forms, de Rham cohomology, vector fields, flows, foliations, Lie derivatives, Lie groups, Lie algebras, and more. The approach is as concrete as poss ...