Electronic Documents Search
Documents found: 111 566
-
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 бренд университета; фирменный стиль; имидж; логотип; продвижение; образовательные услуги; сувенирная продукция UDC 659.1:659.126.1 LBC 74.005.24 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 42.04.01 Speciality group (FGOS) 420000 - Средства массовой информации и информационно-библиотечное дело Links http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1330-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1330-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1330-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-1330 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 21 Mb -
Creators Спирин Даниил Дмитриевич Scientific adviser Сальников Вячеслав Юрьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects windows api; хуки; внедрение dll; чит-ПО; античит-ПО Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 10.03.01 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/2/rev/v18-5977-o.pdf DOI 10.18720/SPBPU/2/v18-5977 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Колычева Дарья Алексеевна Scientific adviser Танова Анна Гераклитовна Organization Санкт-Петербургский политехнический университет Петра Великого. Гуманитарный институт Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects коммуникации; социальные сети; продвижение; communications; social media; promotion Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 42.03.01 Speciality group (FGOS) 420000 - Средства массовой информации и информационно-библиотечное дело DOI 10.18720/SPBPU/3/2022/vr/vr22-2156 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.6 Mb -
Creators Небогатикова И. Л. Other creators Рудской Андрей Иванович; Арсеньев Д. Г.; Глухов Владимир Викторович Organization Санкт-Петербургский государственный политехнический университет; Совет СПбГПУ по научно-исследовательской работе студентов Imprint СПб.: Изд-во СПбГПУ, 2009 Collection Общая коллекция Subjects бихевиоризм; психология; история Document type Article, report File type PDF Language Russian Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 79 Kb -
Creators Симонова Марина Александровна; Пелех Михаил Теодозиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Инженерно-строительный институт. Высшая школа техносферной безопасности Imprint Санкт-Петербург, 2025 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Безопасность жизнедеятельности человека; Промышленные предприятия — Взрывобезопасность; Нефтяная промышленность — Техника безопасности; Газовая промышленность; аварии; неразрушающий контроль; учебники и пособия для вузов UDC 614.8(075.8); 622.323:622.8(075.8) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 20.04.01 Speciality group (FGOS) 200000 - Техносферная безопасность и природообустройство DOI 10.18720/SPBPU/5/tr25-22 Rights Доступ из локальной сети ИБК СПбПУ (чтение, печать) pdf, 1.7 Mb -
Creators Хрусталев Николай Александрович Scientific adviser Кузнецов Антон Алексеевич Other creators Першиков Георгий Анатольевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects противоаварийная автоматика; автоматический регулятор возбуждения; автоматика разгрузки при перегрузке по мощности; сертификация устройств противоаварийной автоматики; emergency automation; automatic excitation system; automatic unloading under power overloading; certification of emergency device devices Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 13.04.02 Speciality group (FGOS) 130000 - Электро- и теплоэнергетика Links http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1733-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1733-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1733-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-1733 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 2.8 Mb -
Creators Демидов Егор Романович Scientific adviser Рябошук Сергей Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт машиностроения, материалов и транспорта Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects Сталь листовая; Травление металлов; Коррозия металлов; хлорид-ионы; качественные реакции; реагенты на хлорид-ионы; оптические методы контроля; chloride ions; qualitative reactions; reagents for chloride ions; optical methods of control UDC 669.14-41; 621.794.4; 669:620.193 Document type Master graduation qualification work File type Other Language Russian Level of education Master Speciality code (FGOS) 22.04.02 Speciality group (FGOS) 220000 - Технологии материалов Rights Текст не доступен в соответствии с распоряжением СПбПУ от 13.06.2017 г. № 91 -
Creators Константинова Вера Валентиновна Scientific adviser Ахин Марат Халимович Other creators Нестеров Сергей Александрович; Степанов Даниил Сергеевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects определение дубликатов ошибок; компилятор Kotlin; генерация программ-свидетелей; локализация ошибок; автоматическое тестирование компиляторов; качество программного обеспечения; bug duplicate detection; Kotlin compiler; witness test program generation; bug localization; automatic compiler testing; software quality 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-816-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-816-r.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-816-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-816 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Мочалова Светлана Сергеевна Scientific adviser Коваленко Геннадий Васильевич Other creators Гаврилова Мария Евгеньевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные персональные — Программы прикладные; Машинная графика; верстка; периодическое издание; журнал; научно-популярное издание; методика; методика создания периодического издания; молодёжь; электронное издание UDC 004.91:655.25(043.3) LBC 76.02,16я031 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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2018/vr/rev/vr19-399-o.pdf; http://elib.spbstu.ru/dl/3/2018/vr/rev/vr19-399-r.pdf; http://elib.spbstu.ru/dl/3/2018/vr/rev/vr19-399-a.pdf DOI 10.18720/SPBPU/3/2018/vr/vr19-399 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.0 Mb
