Most of the available analysis is given in detail, the implementation of the LES models into a finite element code is described, the efficient solution of the discrete systems is discussed and numerical studies with the considered LES models are presented.