This book explore a new idea of computing-reversible computing-which is based on a combination of forward and reverse computing in contrast with forward, traditional computation. Illustrating the role of reversible computing in reducing computer power, the author presents recently developed and emerging theories, techniques, and tools for the application of reversible computing. The text covers both hardware and software aspects, including fundamental limits, complexity analyses, practical algorithms, compilers, and efficiency improvement techniques.