Electronic Documents Search
Documents found: 2
-
Creators Черепков Данил Дмитриевич Scientific adviser Мамутова Ольга Вячеславовна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects диаграмма состояний; идентификация; КА; КНФ; реинжиниринг; функциональная спецификация; NP-полнота; SAT; PlantUML; UML; CNF; FSM; functional specification; identification; NP-complite; reengineering; state diagram Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2023/vr/vr23-3292 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Осколков Владислав Сергеевич Scientific adviser Антонов Александр Петрович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects FPGA; SAT; OPENCL Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-786-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-786-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-786-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-786 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb
