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

Новости

18 Апреля, 2025 ИСП РАН выступит партнёром научного форума «Шаг в будущее: глобальный форсайт, искусственный интеллект и стратегическое лидерство»

12 Марта, 2025 XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»

01 Марта, 2025 Шнитману Виктору Зиновьевичу исполняется 80 лет

Рубрикатор

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