• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Мероприятия
30 ноября – 1 декабря
Статья
ADV_SPM — Формальные модели политики безопасности на практике

Хорошилов А. В., Щепетков И.

Труды Института системного программирования РАН. 2017. Т. 29. № 3. С. 43-56.

Глава в книге
Математическая модель фазовых переходов с учетом течения жидкости.

Карпов В.Е., Лобанов А. И.

В кн.: Тезисы докладов XXIV Международной конференции "Математика. Компьютер. Образование". МКО-2017. М.: 2017.

Свободное общение – Новости

Интервью с директором Института системного программирования РАН

Директор Института системного программирования РАН, член-корреспондент РАН, заведующий базовой кафедрой "Системное программирование" НИУ ВШЭ Арутюн Аветисян дал интервью информационному агентству D-Russia."Сейчас решается вопрос нашего будущего как цивилизации".

Интервью с директором Института системного программирования РАН

Директор Института системного программирования РАН, член-корреспондент РАН, заведующий базовой кафедрой "Системное программирование" НИУ ВШЭ Арутюн Аветисян дал интервью информационному агентству Rambler News Service. "Институт основывается на трех компонентах: элитарное образование, передовые исследования и связь с индустрией".