Electronic Documents Search
Documents found: 68
-
Разработка 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 -
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 -
Разработка 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 -
Разработка аспектно-ориентированного расширения для языка 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 Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects автоматизация; управление проектами; управление ресурсами; javascript; sap; диаграмма ганта; microsoft project; automation; project management; resource management; Javascript sap; gantt chart microsoft project 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/2019/vr/rev/vr19-886-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-886-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-886-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-886 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 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 Ицыксон Владимир Михайлович 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 -
Creators Ольшанская Виктория Рубеновна Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects мобильная разработка; Android; составление расписания; лекарственные средства; действующее вещество; напоминания; уведомление; Java; React; mobile development; schedule creation; medications; active ingredient; reminders; notification 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-3853 Rights Доступ по паролю из сети Интернет (чтение) pdf, 5.2 Mb -
Creators Кузовкина Елизавета Олеговна Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects текущая аттестация; шаблон; электронная таблица; Google Apps Script; current attestation; template; spreadsheet 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-3851 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 3.4 Mb
