Сертификация критичных программных средств вычислительных систем

Другие работы по этой специальности

1. Компьютерная система научных исследований и предпроектной разработки технологических схем ректификации сложных смесей

   Ямпуров, Владимир Лаврентьевич · 2000 · Канд. наук

   • 05.17.04 Технология органических веществ
   • 05.13.16
2. Температурные поля и напряжения в движущихся телах конечных размеров

   Лотарев, Валерий Яковлевич · 2000 · Канд. наук

   • 05.13.16
3. Компьютерное моделирование ион-атомных и атом-атомных взаимодействий промежуточных энергий методом классических траекторий

   Яновский, Антон Эдуардович · 2000 · Канд. наук

   • 05.13.16
4. Обратные экстремальные задачи для стационарных уравнений теории массопереноса

   Адомавичюс, Эдуард Альбертасович · 2000 · Канд. наук

   • 05.13.16
5. Последовательное обнаружение моментов разладки случайных процессов

   Воробейчиков, Сергей Эрикович · 2000 · Докт. наук

   • 05.13.16