Electronic Documents Search
Documents found: 30
-
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 Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; плагин; Sonarqube; GoLang; static analysis; plugin 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/2023/vr/vr23-3882 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.6 Mb -
Creators Салимгареев Ильдар Айдарович Scientific adviser Туральчук Константин Анатольевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; принципы программирования; SOLID; C#; static analysis; programming principles Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.03 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2023/vr/vr23-3897 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Бяков Александр Сергеевич Scientific adviser Садовский Николай Иванович Organization Санкт-Петербургский политехнический университет Петра Великого. Инженерно-строительный институт Imprint Санкт-Петербург, 2016 Collection Выпускные квалификационные работы; Общая коллекция Subjects подшипник; статический анализ; центробежный компрессор; bearing; static analysis; centrifugal compressor Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 13.03.03 Speciality group (FGOS) 130000 - Электро- и теплоэнергетика DOI 10.18720/SPBPU/2/v17-152 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb -
Creators Вяткина Полина Алексеевна Scientific adviser Беляев Михаил Анатольевич Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects TIP; статический анализ; монотонный фреймворк; алгебраическая решетка; алгоритм унификации; абстрактное синтаксическое дерево; граф потока управления; static analysis; monotone framework; algebraic lattice; unification algorithm; abstract syntax tree; control flow graph 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-719-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-719 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Меньшов Петр Алексеевич Scientific adviser Ахин Марат Халимович Other creators Нестеров Сергей Александрович; Абдуллин Азат Марселевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects concolic testing; тестирование по; автоматическая генерация тестов; анализ программного обеспечения; статический анализ; динамический анализ; random testing; testing; software analysis; static analysis; dynamic 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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-740-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-740-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-740-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-740 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Бушкина Алёна Олеговна Scientific adviser Дробинцев Павел Дмитриевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; Java; PMD; static analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.04 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2024/vr/vr24-1778 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.7 Mb -
Creators Салимгареев Ильдар Айдарович Scientific adviser Туральчук Константин Анатольевич Other creators Пак Вадим Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects ado.net; entity framework; sql-запрос; статический анализ; roslyn; sql-query; static analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.03 Speciality group (FGOS) 020000 - Компьютерные и информационные науки Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-2116-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-2116-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-2116 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 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 Жуковский Евгений Владимирович Other creators Ярмак Анастасия Викторовна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects поиск аномалий; обнаружение вредоносных программ; статический анализ; компьютерная безопасность; anomaly detection; malware detection; static analysis; computer security Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.01 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-194-o.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-194-r.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-194-a.pdf DOI 10.18720/SPBPU/3/2022/vr/vr22-194 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.2 Mb
