Рубрикатор - Журнал «Программирование» РАН


Рубрикатор

  • Теория программирования: формальные модели и семантика.
  • Анализ и трансформация программ.
  • Информационная безопасность.
  • Программная инженерия, тестирование и верификация программ.
  • Параллельное и распределенное программирование.
  • Операционные системы.
  • Компьютерная графика и визуализация.
  • Компьютерная алгебра.
  • Языки, компиляторы и системы программирования.
  • Анализ данных.
  • Информационный поиск.
  • Базы данных, хранилища данных.