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 Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects Программирования языки; Вычислительные машины электронные персональные — Программирование; программная оптимизация; program optimisation UDC 004.438; 004.42 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-689-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-689-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-689-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-689 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Кирпиченков Павел Станиславович Scientific adviser Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects Программирования языки; параметрический полиморфизм; Kotlin; переменная арность UDC 004.438(043.3) 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/2019/vr/rev/vr19-529-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-529-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-529-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-529 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.5 Mb -
Creators Медведева Елизавета Сергеевна Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects python; django; libsl; веб-приложение; спецификация; граф; документация; web application; specification; graph; documentation 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-727-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-727-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-727-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-727 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.2 Mb -
Creators Темнова Анастасия Сергеевна Scientific adviser Ицыксон Владимир Михайлович Other creators Мяснов А. В. Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects python; django; базы данных; нагрузка вуза 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/2/rev/v18-5047-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-5047-r.pdf DOI 10.18720/SPBPU/2/v18-5047 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.7 Mb -
Creators Медведев Михаил Анатольевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects блокчейн; система букмекерских ставок; сеть оракулов 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/2/rev/v18-5042-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-5042-r.pdf DOI 10.18720/SPBPU/2/v18-5042 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.8 Mb -
Creators Лосева Екатерина Олеговна Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects дактильные жесты; язык глухонемых; распознавание объектов на изображении; сверточные нейронные сети 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/2/rev/v18-5040-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-5040-r.pdf DOI 10.18720/SPBPU/2/v18-5040 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.8 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 Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные — Программы — Отладка; распределенные системы; трассировка; отладка; мониторинг; поиск аномалий; фреймворк Vert.x UDC 004.416.2(043.3) 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/2019/vr/rev/vr19-709-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-709-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-709-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-709 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.0 Mb -
Разработка Web-интерфейса для верификатора Spin: бакалаврская работа: 09.03.01
Creators Бояркин Никита Сергеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects формальная верификация; проверка моделей; конечный автомат; верификатор Spin 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/2/v17-4080 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb
