Topological and Bivariant K-Theory