This book offers a complete discussion of techniques and topics intervening in the mathematical treatment of quantum and semi-classical mechanics. It starts with a very readable introduction to symplectic geometry. Many topics are also of genuine interest for pure mathematicians working in geometry and topology.