91 - 100 out of 383Page size: 10
  1. 2024

  2. On the Group of Computable Automorphisms of the Linear Order of the Reals

    Kornev, R., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 405-419 15 p. 32. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14773 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. Resource Center for Computer Science at Novosibirsk State University

    Lavrentiev, M. M. & Derzho, M. A., 2024, Proceedings of the IEEE 3rd International Conference on Problems of Informatics, Electronics and Radio Engineering, PIERE 2024. Institute of Electrical and Electronics Engineers Inc., p. 1400-1404 5 p. (Proceedings of the IEEE 3rd International Conference on Problems of Informatics, Electronics and Radio Engineering, PIERE 2024).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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

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

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

  5. Лекции по прикладному функциональному анализу

    Терсенов, А. С., 2024, Москва: Юрайт. 83 p. (Высшее образование)

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

  6. Особенности употребления метаграфемных средств в различных типах речевых актов англоязычных блогов

    Khotskina, O. V. & Lankina, D. S., 2024, In: Vestnik Tomskogo Gosudarstvennogo Universiteta, Filologiya. 87, p. 127-145 19 p., 7.

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

  7. Программно-аппаратные решения потоковой обработки данных для компенсации температурных дрейфов скважинного инклинометра «Луч»

    Литвинов, В. С., Власов, А. А. & Тейтельбаум, Д. В., 2024, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 22, 3, p. 40-48 9 p., 4.

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

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

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

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

  9. Теория волн

    Васкевич, В. Л., 2024, 2-е ed. Москва: Юрайт. 253 p. (Высшее образование)

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

  10. 2023

  11. Fishing Innate Immune System Properties through the Transcriptomic Single-Cell Data of Teleostei

    Bobrovskikh, A. V., Zubairova, U. S. & Doroshkov, A. V., 12 Dec 2023, In: Biology. 12, 12, 1516.

    Research output: Contribution to journal › Review article › peer-review

  12. Development a prototype of the basic platform of the autonomous intelligent robotics system (AIRS)

    Kozulin, I., Chernyavskiy, A., Mashkov, N., Nazarov, A. & Kravchenko, O., 1 Dec 2023, In: Robotics and Technical Cybernetics. 11, 4, p. 303-311 9 p., 7.

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

Previous 1...6 7 8 9 10 11 12 13 ...39 Next

ID: 3083378