Electronic Documents Search
Documents found: 68
-
Разработка web-frontend для NuSMV: бакалаврская работа: 09.03.01
Creators Кан Виталий Сергеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 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 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/v17-4088 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.5 Mb -
Автоматизация миграции Java-программ на новый набор библиотек: магистерская диссертация: 09.04.01
Creators Алексюк Артем Олегович Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Java, язык программирования; Вычислительные машины электронные персональные — Библиотеки программ; трансформация программ; миграция программ UDC 004.438(043.3); 004.422.8(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 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/v17-4102 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Олейник Максим Александрович Scientific adviser Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects Программирования языки; Интернет; Джава (JAVA); инкрементальный анализ; статический анализ кода; facebook infer; intellij idea UDC 004.438(043.3); 004.738.5(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-721-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-721-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-721-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-721 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Степанов Даниил Сергеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого Imprint Санкт-Петербург, 2024 Collection Научные работы аспирантов/докторантов; Общая коллекция Subjects Программирования языки; фаззинг; тестирование компиляторов; дедупликация; редукция UDC 004.438 Document type Author's Abstract File type PDF Language Russian Speciality code (OKSVNK) 2.3.5. Speciality group (OKSVNK) 2.0000 DOI 10.18720/SPBPU/2/r24-35 Rights Свободный доступ из сети Интернет (чтение) pdf, 1.0 Mb -
Creators Орлова Полина Алексеевна Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects голосовое управление; плагин; распознавание речи; IntelliJ Idea; IntelliJ Platform Plugin; voice control; plugin; speech recognition 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-744-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-744-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-744-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-744 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.4 Mb -
Creators Жук Павел Павлович Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Распознающие системы и устройства; Вычислительные машины электронные персональные — Процессоры текстовые; Информация — Обработка на вычислительных машинах; Моделирование; анализ текста; естественный язык UDC 004.383.8(043.3); 004.932.75'1(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 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/v17-4109 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Хандыго Евгений Дмитриевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Программирования языки; Вычислительные машины электронные — Программирование объектно-ориентированное; полиморфизм UDC 004.438(043.3); 004.42.045(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 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/v17-4123 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb -
Разработка аспектно-ориентированного расширения для языка Kotlin: магистерская диссертация: 09.04.01
Creators Скрипаль Борис Алексеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Программирования языки; Вычислительные машины электронные персональные — Программирование; аспектно-ориентированное программирование; аспектно-ориентированное расширение UDC 004.42.04(043.3); 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 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/v17-4122 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.8 Mb -
Creators Илларионов Юлий Сергеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Си (C); Интерфейсы; Коды UDC 004.438(043.3); 004.51(043.3); 004.056.55(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 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/v17-4125 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.5 Mb -
Creators Костарев Владислав Игоревич Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович; Алексюк Артем Олегович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects веб-приложение; мобильное приложение; телемедицина; телереабилитация; web-application; mobile application; telemedicine; telerehabilitation 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-738-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-738-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-738-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-738 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 8.1 Mb
