Информатика, телекоммуникации и управление
    Информатика, телекоммуникации и управлениеCанкт-Петербургский политехнический университет Петра Великого
    Издается с 2008
    ISSN 2687-0517
    ruРусский
    Версия для слабовидящих
    АвторЛитвинов Юрий Викторович
    Подать статью
    График выхода изданий
    • №3 Сентябрь 2026
      Статьи принимаются до: 31 Июля 2026
    • №4 Декабрь 2026
    Последние выпуски
    Литвинов Юрий Викторович
    Литвинов Юрий Викторович
    199034, Россия, Санкт-Петербург, Университетская наб., д. 7-9.

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

    Конференция «Инструменты и методы анализа программ 2015»
    Мордвинов Д.А.Литвинов Ю.В.
    • Год: 2016
    • Выпуск: 1
    • 441
    • 9716
    • Страницы: 84-107

    Средства быстрой разработки предметно-ориентированных решений в metacasе-средстве QREAL

    Конференция «Технологии Microsoft в теории и практике программирования»
    Кузенкова А.С.Дерипаска А.О.Таран К.С.Подкопаев А.В.Литвинов Ю.В.Брыксин Т.А.
    • Год: 2011
    • Выпуск: 4
    • 0
    • 8408
    • Страницы: 142-145