The book is devoted to the study of submanifolds in the setting of Carnot groups equipped with a sub-Riemannian structure; particular emphasis is given to the case of Heisenberg groups. A Geometric Measure Theory viewpoint is adopted, and features as intrinsic perimeters, Hausdorff measures, area formulae, calibrations and minimal surfaces are considered. Area formulae for the measure of submanifolds of arbitrary codimension are obtained in Carnot groups. Intrinsically regular hypersurfaces in the Heisenberg group are extensively studied: suitable notions of graphs are introduced, together...