The aim of this monograph is to give a self-contained introduction to the modern theory of finite transformation semigroups with a strong emphasis on concrete examples and combinatorial applications.