Electronic Documents Search
Documents found: 68
-
Creators Михалёва Мария Вадимовна Scientific adviser Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные персональные — Библиотеки программ; Вычислительные машины электронные — Программы — Тестирование; верификация; динамический анализ; инструментирование; verification; dynamic analysis; instrumentation UDC 004.422.8; 004.415.53 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/2021/vr/rev/vr21-693-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-693-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-693-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-693 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.5 Mb -
Creators Тарасенко Никита Сергеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects React.js; Kotlin; Spring Boot; почтовые сервисы; Postfix; Dovecot; single page application; база данных; PostgreSQL; mail services; data base 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/2022/vr/vr22-1297 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.8 Mb -
Creators Шаляпин Георгий Александрович Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович; Петров Владислав Дмитриевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects стек TCP/IP; C++; сетевой протокол; протокол передачи данных; контроль перегрузки; internet protocol suite; network protocol; communication protocol; congestion control 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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-713-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-713-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-713-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-713 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.5 Mb -
Creators Дроздов Никита Дмитриевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные персональные — Библиотеки программ; статический анализ; спецификация; static analysis; specification UDC 004.422.8 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 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2022/vr/vr22-1915 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.1 Mb -
Creators Товпеко Кирилл Александрович Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects фреймворк; сервисная архитектура; событийно-ориентированная архитектура; причинно-следственные связи; распределённая база данных; framework; service architecture; event-driven architecture; causal relationships; distributed database 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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-711-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-711-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-711-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-711 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.0 Mb -
Creators Кечин Валерий Владимирович Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects восстановление спецификации библиотек; статический анализ; Java; Soot; specification mining; static analysis 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-3600 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.1 Mb -
Creators Данилов Алексей Игоревич Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects android; rsa; шифрование; чистая архитектура; file provider; java cryptography api; pbkdf2; encryption; clean architecture 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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-703-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-703-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-703-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-703 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 3.1 Mb -
Creators Черникова Арина Сергеевна Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects формальная верификация; model checking; верификатор NuSMV; web-интерфейс; конечный автомат; django; python; графический интерфейс; react; formal verification; nusmv verifier; web-interface; finite-state machine; graphical interface 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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-749-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-749-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-749-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-749 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 3.8 Mb -
Creators Семенов Денис Сергеевич Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович; Алексюк Артем Олегович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects автоматизация; администрирование; развёртывание; python; puppet; ruby; automation; administration; deployment 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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-746-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-746-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-746-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-746 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.6 Mb -
Creators Павлов Даниил Вячеславович Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович; Алексюк Артем Олегович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects flutter; dart; firebase; google maps; мобильное приложение; коворкинг; удаленная работа; mobile application; coworking; distance work 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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-728-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-728-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-728-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-728 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 5.4 Mb
