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

Рубрикатор

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