Preface.- Introduction.- The Navier-Stokes Equations as Model for Incompressible Flows.- Finite Element Spaces for Linear Saddle Point Problems.- The Stokes Equations.- The Oseen Equations.- The Steady-State Navier{Stokes Equations.- The Time-Dependent Navier-Stokes Equations - Laminar Flows.- The Time-Dependent Navier-Stokes Equations - Turbulent Flows.- Solvers for the Coupled Linear Systems of Equations.- Functional Analysis.- Finite Element Methods.- Interpolation.- Examples of Numerical Simulations.- Notations.- References.

This book explores finite element methods for incompressible flow problems: Stokes equations, stationary Navier-Stokes equations and time-dependent Navier-Stokes equations. It focuses on numerical analysis, but also discusses the practical use of these methods and includes numerical illustrations. It also provides a comprehensive overview of analytical results for turbulence models. The proofs are presented step by step, allowing readers to more easily understand the analytical techniques.