Large eddy simulation (LES) is a method of scientific computation seeking to predict the dynamics of organized structures in turbulent flows by approximating local, spatial averages of the flow. Since its birth in 1970, LES has undergone an explosive development and has matured into a highly-developed computational technology. It uses the tools of turbulence theory and the experience gained from practical computation. This book focuses on the mathematical foundations of LES and its models and provides a connection between the powerful tools of applied mathematics, partial differential equations and LES. Thus, it is concerned with fundamental aspects not treated so deeply in the other books in the field, aspects such as well-posedness of the models, their energy balance and the connection to the Leray theory of weak solutions of the Navier-Stokes equations. The authors give a mathematically informed and detailed treatment of an interesting selection of models, focusing on issues connected with understanding and expanding the correctness and universality of LES. This volume offers a useful entry point into the field for PhD students in applied mathematics, computational mathematics and partial differential equations. Non-mathematicians will appreciate it as a reference that introduces them to current tools and advances in the mathematical theory of LES.