This book provides a comprehensive account of a modern generalisation of differential geometry in which coordinates need not commute. This requires a reinvention of differential geometry that refers only to the coordinate algebra, now possibly noncommutative, rather than to actual points. Such a theory is needed for the geometry of Hopf algebras or quantum groups, which provide key examples, as well as in physics to model quantum gravity...