221 - 230 из 468Размер страницы: 10
Сортировать по:: Год публикации
  1. 2016

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  10. 2015

  11. Combinators and type-driven transformers in Objective Caml

    Boulytchev, D., 15 дек 2015, в: Science of Computer Programming. 114, стр. 57-73 17 стр.

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

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

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

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

Назад 1...19 20 21 22 23 24 25 26 ...47 Далее

ID: 30196