|
№
|
Description
|
Arrival Date
|
|
1111
|
Джеус, Андрей Сергеевич. Автоматизация анализа корректности Kotlin-программ с применением метода проверки модели: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Automation of correctness analysis of Kotlin programs using model checking / А. С. Джеус; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель А. Г. Новопашенный. — Санкт-Петербург, 2024. — 1 файл (0,5 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-3931.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-3931. — Текст: электронный
|
8/29/2024
|
|
1112
|
Семенов, Данил Андреевич. Проектирование и разработка высоконагруженной микросервисной архитектуры автоматизированной системы для получения электронной исполнительной надписи нотариуса: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Design and development of a high-load microservices architecture for an automated system to obtain electronic executive notary inscriptions / Д. А. Семенов; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель Н. В. Богач. — Санкт-Петербург, 2024. — 1 файл (3,3 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-3930.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-3930. — Текст: электронный
|
8/29/2024
|
|
1113
|
Чернышев, Ярослав Николаевич. Разработка системы отслеживания деятельности ответственных исполнителей программных проектов: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Development of tracking system for responsible software project executives’ activities / Я. Н. Чернышев; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель А. Г. Новопашенный. — Санкт-Петербург, 2024. — 1 файл (0,8 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-3929.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-3929. — Текст: электронный
|
8/29/2024
|
|
1114
|
Медведев, Данил Владимирович. Разработка и исследование инструмента оценки схожести рукописи научной статьи и корпуса публикаций в конкретном научном журнале: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Development and implementation of a research tool for evaluating the similarity between a draft scientific paper and a set of published articles from a specific scientific journal / Д. В. Медведев; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель К. К. Семенов. — Санкт-Петербург, 2024. — 1 файл (1,3 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-3928.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-3928. — Текст: электронный
|
8/29/2024
|
|
1115
|
Дягай, Александра Руслановна. Разработка редактора принципиальных схем СВЧ-устройств: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Development of a schematic editor for ultra-high frequency devices / А. Р. Дягай; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель В. Н. Цыган. — Санкт-Петербург, 2024. — 1 файл (2,7 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-3927.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-3927. — Текст: электронный
|
8/29/2024
|
|
1116
|
Мартынов, Семен Андреевич. Разработка сервиса для проведения обмена активами между изолированными распределёнными реестрами без установления доверия: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Development of a service for asset exchange between isolated distributed ledgers without establishing trust / С. А. Мартынов; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель А. В. Самочадин. — Санкт-Петербург, 2024. — 1 файл (0,9 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-3926.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-3926. — Текст: электронный
|
8/29/2024
|
|
1117
|
Белоногов, Николай Иванович. Разработка системы доступа к нереляционной базе данных Tarantool на основе Spring Data: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Development of an access system to the non-relational Tarantool database based on Spring Data / Н. И. Белоногов; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель Г. Ф. Малыхина. — Санкт-Петербург, 2024. — 1 файл (1,7 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-3925.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-3925. — Текст: электронный
|
8/29/2024
|
|
1118
|
Бедрин, Алексей Григорьевич. Фаззинг приложения с помощью формальных спецификаций окружения: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Fuzzing an application using formal environment specifications / А. Г. Бедрин; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель М. В. Болсуновская. — Санкт-Петербург, 2024. — 1 файл (0,5 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-3924.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-3924. — Текст: электронный
|
8/29/2024
|
|
1119
|
Шерепа, Никита Максимович. Разработка инструмента для анализа и оптимизации объектов на сцене при разработке программного обеспечения с использованием графического движка Unity: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Development of a tool for analysis and optimization of objects on the scene in software development using the Unity graphics engine / Н. М. Шерепа; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель М. В. Болсуновская. — Санкт-Петербург, 2024. — 1 файл (5,7 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-3923.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-3923. — Текст: электронный
|
8/29/2024
|
|
1120
|
Селецкая, Алиса Андреевна. Анализ и оптимизация процессов мелкосерийного производства с использованием аналитического и имитационного моделирования: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Analysis and optimization of small-scale production processes using analytical and simulation modeling / А. А. Селецкая; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель А. Г. Сиднев. — Санкт-Петербург, 2024. — 1 файл (1,9 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-3922.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-3922. — Текст: электронный
|
8/29/2024
|
