Best bet is Hakkasan, Marquee, XS and then Light in that order for that. Marquee is probably better for european style house but Hakkasan has Tiesto and Hardwell in their lineups so closer to what you had asked for.
Residencies:
Hakkasan: http://www.mgmgrand.com/nightlife/hakkasan.aspx
Marquee: http://www.marqueelasvegas.com/
XS: http://www.wynnsocial.com/djs/
Light: http://thelightvegas.com/
Residencies:
Hakkasan: http://www.mgmgrand.com/nightlife/hakkasan.aspx
Marquee: http://www.marqueelasvegas.com/
XS: http://www.wynnsocial.com/djs/
Light: http://thelightvegas.com/