A concise introduction to the techniques used to prove the Baum-Connes conjecture. The Baum-Connes conjecture predicts that the K-homology of the reduced C^*-algebra of a group can be computed as the equivariant K-homology of the classifying space for proper actions. The approach is expository, but it contains proofs of many basic results on topological K-homology and the K-theory of C^*-algebras. It features a detailed introduction to Bredon homology...