The theory and applications of C*-algebras are related to fields ranging from operator theory, group representations and quantum mechanics, to non-commutative geometry and dynamical systems. By Gelfand transformation, the theory of C*-algebras is also regarded as non-commutative topology. About a decade ago, George A. Elliott initiated the program of classification of C*-algebras (up to isomorphism) by their K-theoretical data. It started with the classification of AT-algebras with real rank zero. Since then great efforts have been made to classify amenable C*-algebras, a class of C*-algebras...