71 - 73 out of 73Page size: 10
Sort by: Title

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Book/Report › Teaching manual › peer-review

Previous 1...4 5 6 7 8 Next

ID: 3089109