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

О корректности компиляции подмножествa обещающей модели памяти в аксиоматическую модель ARMv8.3

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Подкопаев А.В. Лахав О. Вафеядис В.
  • Год: 2017
  • Том: 10
  • Выпуск: 4
  • 36
  • 7856
  • Страницы: 51-69

Языконезависимое форматирование текстов программ на основе сопоставления с образцом и синтаксических шаблонов

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Подкопаев А.В. Коровянский А.Ю. Озерных И.С.
  • Год: 2015
  • Выпуск: 4
  • 555
  • 8436
  • Страницы: 37-50

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

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

Реляционное программирование с мемоизацией и отрицанием

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Моисеенко Е.А. Подкопаев А.В.
  • Год: 2018
  • Том: 11
  • Выпуск: 2
  • 17
  • 7940
  • Страницы: 35-46