This book contains an account of the notions involved in constructing a theory of supermanifolds and the associated machinery and techniques of differential geometry, together with applications to various areas of physics, including supersymmetry and the quantization of systems with symmetry, and to classical geometry.