Sphere packings is one of the most fascinating and challenging subjects in mathematics. In the course of centuries, many exciting results have been obtained, ingenious methods created, related challenging problems proposed, and many surprising connections with other subjects found. This book gives a full account of this fascinating subject, especially its local aspects, discrete aspects, and its proof methods. The book includes both classical and contemporary results and provides a full treatment of the subject.