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 -
Creators Бродт Игорь Иванович Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Информация — Защита; Вычислительные системы — Обеспечение сохранности данных; дублирование кода; программные клоны; методы устранения клонов UDC 004.7.056.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 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/v17-5099 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 Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects инструментирование; txl; трансформация программного кода; синтез программного кода; предметно-ориентированный язык; instrumentation; source code transformation; source code synthesis; dsl 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/2020/vr/rev/vr20-763-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-763-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-763-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-763 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.3 Mb -
Creators Ерниязов Тимур Ертлеуевич Scientific adviser Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич; Беляев Михаил Анатольевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects наследование; параметрический полиморфизм; котлин; inheritance; parametric polymorphism; kotlin 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/2020/vr/rev/vr20-751-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-751-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-751-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-751 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.8 Mb -
Creators Онищенко Даниил Игоревич Scientific adviser Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects it-технологии; информационная платформа; swift; vapor; mysql; доу; e2e шифрование; rsa; it; information platform; kindergarten; e2e encryption 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/2020/vr/rev/vr20-785-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-785-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-785-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-785 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 4.9 Mb -
Creators Сагадеева Светлана Алексеевна Scientific adviser Ицыксон Владимир Михайлович; Ахин Марат Халимович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects срезы данных; отладка моделей машинного обучения; анализ данных; k-slicing; machine learning models; data analysis 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/2020/vr/rev/vr20-869-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-869-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-869-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-869 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Соболь Валентин Scientific adviser Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич; Ахин Марат Халимович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects типы-уточнения; Kotlin; ограниченные дизъюнкты Хорна; refinement types; constrained Horn clauses 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/2020/vr/rev/vr20-771-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-771-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-771-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-771 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Лопатинский Игорь Станиславович Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects управление учебным процессом; система управления учебной нагрузкой; автоматизированные информационные системы; пользовательский интерфейс; web-технологии; react; typescript; ant design; rest-api; javalin; node.js; express; management of educational process; workload management system; automated information systems; user interface; web- technologies 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-1146-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1146-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1146-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-1146 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.6 Mb -
Creators Темнова Анастасия Сергеевна Scientific adviser Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич; Мяснов Александр Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects образовательная траектория; компетенция; компетентностная модель; learning trajectory; competence; competence model 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/2020/vr/rev/vr20-772-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-772-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-772-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-772 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.6 Mb
