Selected works of Yakov Borisovich Zeldovich
editor of English edition J.P. Ostriker, coeditors of English edition G.I. Barenblatt, R.A. Sunyaev ; technical supervisor of English edition E. Jackson ; translators of English edition A. Granik, E. Jackson
Particles, nuclei, and the universe
editor of English edition J.P. Ostriker, coeditors of English edition G.I. Barenblatt, R.A. Sunyaev ; technical supervisor of English edition E. Jackson ; translators of English edition A. Granik, E. Jackson
Chemical physics and hydrodynamics
editor of English edition J.P. Ostriker, coeditors of English edition G.I. Barenblatt, R.A. Sunyaev ; technical supervisor of English edition E. Jackson ; translators of English edition A. Granik, E. Jackson
Software for dependable systems : sufficient evidence?
Daniel Jackson, Martyn Thomas, and Lynette I. Millett, editors ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies