Modeling is now one of the most efficient methodologies in life sciences. From practice to theory, this book develops this approach illustrated by many examples; general concepts and the current state of the art are also presented and discussed. An historical and general introduction informs the reader how mathematics and formal tools are used to solve biological problems at all levels of the organization of life. The core of this book explains how this is done, based on practical examples...