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 Герасимов Александр Сергеевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects задача поиска; np-полнота; сведение; java; javafx; визуализация сведений; search problem; np-completness; reduction; reductions visualization Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.02 Speciality group (FGOS) 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/3/2022/vr/vr22-3038 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb
