Найти
Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление
Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
Русский
Английский
Версия для слабовидящих
Об издании
Редакционная коллегия
Архив выпусков
Авторам
Меню
Содержание и структура статьи
Оформление статьи
Подача и рассмотрение статьи
Рецензирование
Список литературы
Аннотация к статье
Лицензионное соглашение
Этика научных публикаций
Новости
Вопрос-ответ
Контакты
Автор
Подкопаев Антон Викторович
Подать статью
График выхода изданий
№4 Декабрь 2024
№1 Март 2025
№2 Июнь 2025
№3 Сентябрь 2025
Последние выпуски
2024
,
Том 17
Выпуск 3
Полный текст
2024
,
Том 17
Выпуск 2
Полный текст
2024
,
Том 17
Выпуск 1
Полный текст
2023
,
Том 16
Выпуск 4
Полный текст
Подкопаев Антон Викторович
Место работы
Санкт-Петербургский государственный университет
199034, Россия, Санкт-Петербург, Университетская наб., д. 7-9.
О корректности компиляции подмножествa обещающей модели памяти в аксиоматическую модель ARMv8.3
Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Подкопаев А.В.
Лахав О.
Вафеядис В.
Год: 2017
Том: 10
Выпуск: 4
36
6386
Страницы: 51-69
Языконезависимое форматирование текстов программ на основе сопоставления с образцом и синтаксических шаблонов
Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Подкопаев А.В.
Коровянский А.Ю.
Озерных И.С.
Год: 2015
Выпуск: 4
555
6979
Страницы: 37-50
Средства быстрой разработки предметно-ориентированных решений в metacasе-средстве QREAL
Конференция «Технологии Microsoft в теории и практике программирования»
Кузенкова А.С.
Дерипаска А.О.
Таран К.С.
Подкопаев А.В.
Литвинов Ю.В.
Брыксин Т.А.
Год: 2011
Выпуск: 4
0
5816
Страницы: 142-145
Реляционное программирование с мемоизацией и отрицанием
Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Моисеенко Е.А.
Подкопаев А.В.
Год: 2018
Том: 11
Выпуск: 2
17
6441
Страницы: 35-46