Electronic Documents Search
Documents found: 2
-
Creators Архипов Тимофей Дмитриевич Scientific adviser Шошмина Ирина Владимировна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects Алгоритмы; Контроллеры программные; Автоматизированные системы проектирования; реагирующие системы; символьные вычисления UDC 004.421; 004.312.46; 004.223.5:51-3 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 02.04.02 Speciality group (FGOS) 020000 - Компьютерные и информационные науки Links http://elib.spbstu.ru/dl/2/rev/v18-4928-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-4928-r.pdf DOI 10.18720/SPBPU/2/v18-4928 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.8 Mb -
Creators Харисова Таисия Анваровна Scientific adviser Новиков Федор Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные — Программы; методы верификации; реагирующие системы; автоматное программирование; обусловленные регулярные выражения; граф переходов состояний; verification methods; reactive systems; automata-based programming; conditional regular expressions; state transition graph UDC 004.422.8 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 01.04.02 Speciality group (FGOS) 010000 - Математика и механика DOI 10.18720/SPBPU/3/2024/vr/vr24-5719 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.5 Mb
