71 - 73 из 73Размер страницы: 10
Сортировать по:: Заголовок

  1. Работа с данными в учебном языке программирования Синхро

    Городняя, Л. В., 2023, в: Bulletin of the South Ural State University. Series "Computational Mathematics and Software Engineering". 12, 2, стр. 93-107

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  2. Соревнования по формальной верификации VeHa-2023: опыт проведения

    Старолетов, С. М., Кондратьев, Д. А., Гаранина, Н. О. & Шошмина, И. В., 2024, в: Труды Института системного программирования РАН. 36, 2, стр. 141-168 28 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. Функциональное программирование

    Городняя, Л. В. & Андреева, Т. А., 2024, Новосибирск: ИПЦ НГУ. 352 стр.

    Результаты исследований: Книги, отчёты, сборники › учебное пособие › Рецензирование

Назад 1...4 5 6 7 8 Далее

ID: 3089109