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

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

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

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

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

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

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

  3. Программный комплекс ПРОСТОР для моделирования и прогнозирования опорной транспортной сети России

    Малов, В. Ю., Бульонков, М. А., Филаткина, Н. Н. & Марусин, В. В., 20 июн. 2013, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2013614125, Дата приоритета 12 мар. 2013, № приоритета 2013611781

    Результаты исследований: Патенты/Свидетельства о регистрации › свидетельство о регистрации программы для ЭВМ

  4. Программные средства поддержки дистанционного обучения функциональному программированию

    Касьянов, В. Н. & Малышев, А. А., 2020, Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. Касьянов, В. Н. (ред.). Новосибирск: ИПЦ НГУ, стр. 1-9 9 стр.

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

  5. Моделирование развивающихся систем с активными элементами

    Скопин, И. Н., 2023, в: Вычислительные технологии. 28, 1, стр. 6-22 17 стр., 1.

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

  6. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2024, Москва: Юрайт. 93 стр.

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

  7. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2021, Москва: Юрайт. 93 стр.

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

  8. Искусственный интеллект. Инженерия знаний

    Загорулько, Ю. А. & Загорулько, Г. Б., 2022, Москва: Юрайт. 93 стр.

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

  9. Влияние методов построения векторных представлений на подходы выравнивания сущностей

    Гусев, Д. И. & Апанович, З. В., 2022, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 20, 2, стр. 5-17 13 стр., 1.

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

  10. What Should the Educational Programming Language Be

    Gorodnyaya, L. V., 16 апр. 2025, в: Automatic documentation and mathematical linguistics. 58, S6, стр. S323-S332 10 стр.

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

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

ID: 3089109