  Using the theory of holes of the Leech lattice and Borcherds method for the
computation of the automorphism group of a K3 surface, we give an effective
bound for the set of isomorphism classes of projective models of fixed degree
for certain K3 surfaces.
