By studying localizations of categories of fibrant objects, we can understand the compatibility of K-theory with derived equivalences and with simplicial localization. This extends results of Thomason and Trobaugh, of Dugger and Shipley, or Toen and Vezzosi, and of Blumberg and Mandell.