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

  1. A Learning Path to Functional Programming (and What Students can see on the Path)

    Gorodnyaya, L., Kondratyev, D. & Shilov, N., 2025, Agents and Multi-agent Systems: Technologies and Applications 2024. Howlett, R. J. & Jain, L. C. (ред.). Springer, Том 406. стр. 293-302 10 стр. 25. (Smart Innovation, Systems and Technologies; том 406).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  2. Polynomial Exact Schedulability and Infeasibility Test for Fixed-Priority Scheduling on Multiprocessor Platforms

    Garanina, N., Anureev, I. & Kondratyev, D., 20 янв. 2025, в: Applied System Innovation. 8, 1, 15.

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

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

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

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

ID: 3548282