  Generalized differential cohomology theories, in particular differential
K-theory (often called "smooth K-theory"), are becoming an important tool in
differential geometry and in mathematical physics. In this survey, we describe
the developments of the recent decades in this area. In particular, we discuss
axiomatic characterizations of differential K-theory (and that these uniquely
characterize differential K-theory). We describe several explicit
constructions, based on vector bundles, on families of differential operators,
or using homotopy theory and classifying spaces. We explain the most important
properties, in particular about the multiplicative structure and push-forward
maps and will state versions of the Riemann-Roch theorem and of Atiyah-Singer
family index theorem for differential K-theory.
