OK, not sure why you want different themes depending on the IE version, but it just seems like you could do that like:

/MSIE.*10/ --> windows  // IE 10
/MSIE/ --> iphone   // IE 6 - 9
/Trident/ --> windows // IE 11 +