This book provides an introduction to the modern theory of finite transformation semigroups with a strong emphasis on concrete examples and combinatorial applications. It contains many exercises and historical comments.