The arithmetic Riemann-Roch Theorem has been shown by Bismut-Gillet-Soul. The proof mixes algebra, arithmetic, and analysis. This book gives an introduction to the necessary techniques, and presents a simplified and extended version of the proof.