Electronic Documents Search
Documents found: 68
-
Creators Корнеев Алексей Михайлович Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects автоматизация учебных процессов; работа с документами; шаблоны документов; инструмент генерации; latex; ms word; python; django; sso; oauth2.0; web-приложение; automation of educational processes; working with documents; document templates; generation tool; web application 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/2020/vr/rev/vr20-813-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-813-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-813-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-813 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.1 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 автоматизация; Kotlin; Compose Multiplatform; фотосервер; фотозеркало; фотоаппарат; automation; photoserver; photomirror; camera 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-1231 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.4 Mb -
Creators Кучмин Дмитрий Алексеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; модели программ; Java; верификация и анализ программ; динамическая визуализация; static analysis; program models; program verification and analysis; dynamic visualization 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-1227 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.8 Mb -
Creators Чёрный Виталий Григорьевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные — Программы — Тестирование; Вычислительные машины электронные персональные — Библиотеки программ; фаззинг; формальные спецификации; fuzzing; formal specifications UDC 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 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2022/vr/vr22-1619 Rights Доступ по паролю из сети Интернет (чтение) pdf, 0.5 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 android; онлайн-курс; автоматизированное тестирование; мобильные приложения; образовательная платформа; online course; automated testing; mobile application; educational platform 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-726-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-726-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-726-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-726 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.4 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 -
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 Ицыксон Владимир Михайлович 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
