Вы здесь

Главная

Поступление с 15.09.2022 по 17.10.2022

Файл: 
Иконка HTML 20220915_20221017_arrival.html
Издания: 
  1. Их именами названы институты Новосибирского научного центра
  2. Функциональное программирование. Парадигма, модели и методы
  3. Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями
  4. Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями
Журналы: 
  1. 2022 Наука и жизнь №9
  2. 2022 Программирование №5
  3. 2022 Вестник Высшей Аттестационной комиссии при Минобрнауки России №1-2
  4. 2022 Проблемы информатики №3
  5. 2022 Наука и жизнь №10