221 - 230 out of 468Page size: 10
  1. 2016

  2. Обзор применения формальных методов в робототехнике

    Литвинов, Ю. В. & Мордвинов, Д. А., 2016, In: НАУЧНО-ТЕХНИЧЕСКИЕ ВЕДОМОСТИ САНКТ-ПЕТЕРБУРГСКОГО ГОСУДАРСТВЕННОГО ПОЛИТЕХНИЧЕСКОГО УНИВЕРСИТЕТА. ИНФОРМАТИКА. ТЕЛЕКОММУНИКАЦИИ. УПРАВЛЕНИЕ. 1 (236), p. 84-107

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

  3. Оценка положения движущегося объекта на основе пробного возмущения положения камеры

    Кривоконь, Д. С., Вахитов, А. Т. & Граничин, О. Н., 2016, In: АВТОМАТИКА И ТЕЛЕМЕХАНИКА. 2, p. 142–161

    Research output: Contribution to journal › Article

  4. Поддержка выполнения кода JavaScript на двумерной модели робота

    Литвинов, Ю. В. & Малютин, Д. П., 2016, Современные технологии в теории и практике программирования: Материалы научно-практической конференции студентов, аспирантов и молодых учёных. СПб: Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 54-55

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

  5. Поддержка диаграммы классов языка UML 2.5 в среде QReal

    Литвинов, Ю. В. & Храмышкина, Ю. С., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 86-87

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

  6. Поддержка работы с подпрограммами в DSM-платформе

    Литвинов, Ю. В. & Когутич, Д. А., 2016, Современные технологии в теории и практике программирования: Материалы научно-практической конференции студентов, аспирантов и молодых учёных. Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 47-49

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

  7. Разработка онлайн-метаредактора QReal-Web

    Литвинов, Ю. В. & Черниговская, Л. А., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 29-31

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

  8. Реализация редактора сетей Петри в системе QReal

    Литвинов, Ю. В. & Тарасова, П. М., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 84-85

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

  9. Сравнение образовательных сред визуального программирования роботов

    Литвинов, Ю. В. & Мордвинов, Д. А., 2016, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 3, p. 32-49

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

  10. 2015

  11. Combinators and type-driven transformers in Objective Caml

    Boulytchev, D., 15 Dec 2015, In: Science of Computer Programming. 114, p. 57-73 17 p.

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

  12. Проблемы сетевого управления

    Фрадков, А. Л., Ананьевский, М. С., Амелина, Н. О., Граничин, О. Н., Пчелкина, И. В. А. И. В. ., Проскурников, А. В., Матвеев, А. С., Селиванов, А. А., Джунусов, И. А., Фуртат, И. Б., Фридман, Э. & Андриевский, Б. Р., Dec 2015, Москва-Ижевск: Institute of Computer Science. 329 p.

    Research output: Book/Report/Anthology › Book › Research › peer-review

Previous 1...19 20 21 22 23 24 25 26 ...47 Next

ID: 30196