1. Verification of dual pivot quicksort program

    Shelekhov, V. I. & Сhushkin, M. S., 1 Jan 2018, In: CEUR Workshop Proceedings. 2260, p. 511-524 14 p.

    Research output: Contribution to journalConference articlepeer-review

  2. Visualization of graph presentations of data-flow programs

    Kasyanov, V. N. & Zolotuhin, T. A., 1 Dec 2018, p. 138-141. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  3. Webometric analysis of Russian scientific and education web

    Kosyakov, D., Guskov, A. & Bykhovtsev, E., 1 Jan 2017, In: CEUR Workshop Proceedings. 1839, p. 196-207 12 p.

    Research output: Contribution to journalConference articlepeer-review

  4. What Should the Educational Programming Language Be

    Gorodnyaya, L. V., 16 Apr 2025, In: Automatic documentation and mathematical linguistics. 58, S6, p. S323-S332 10 p.

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

    Загорулько, Ю. А. & Загорулько, Г. Б., 2021, Москва: Юрайт. 93 p. (Высшее образование)

    Research output: Book/ReportTeaching manualpeer-review

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

    Загорулько, Ю. А. & Загорулько, Г. Б., 2024, Москва: Юрайт. 93 p. (Высшее образование)

    Research output: Book/ReportTeaching manualpeer-review

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

    Загорулько, Ю. А. & Загорулько, Г. Б., 2022, Москва: Юрайт. 93 p. (Высшее образование)

    Research output: Book/ReportTeaching manualpeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Previous 1...3 4 5 6 7 8 Next

ID: 3089109