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. This book includes introduction to the techniques used to prove the Baum-Connes conjecture.