Electronic Documents Search
Documents found: 37
-
Creators Фалько Алексей Сергеевич Scientific adviser Котляров Всеволод Павлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2016 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-1133 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.8 Mb -
Creators Фалько Алексей Сергеевич Scientific adviser Дробинцев Павел Дмитриевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные персональные — Математическое обеспечение; Вычислительные машины электронные — Программы — Тестирование; верификация UDC 004.42; 004.415.53 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.04 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/2/rev/v18-1438-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-1438-r.pdf DOI 10.18720/SPBPU/2/v18-1438 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.6 Mb -
Creators Иванов Кирилл Сергеевич Scientific adviser Гаранин Дмитрий Анатольевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт промышленного менеджмента, экономики и торговли Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Информационные технологии; верификация; валидация; отраслевые стандарты; компьютерный инжиниринг LBC 65.291.216я031; 65.386.8я031 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 38.04.02 Speciality group (FGOS) 380000 - Экономика и управление DOI 10.18720/SPBPU/2/v17-4913 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Габдрахимова Регина Ринатовна Scientific adviser Малыхина Галина Федоровна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects голосовая биометрия; распознавание диктора; идентификация; верификация; линейное предсказание речи; динамическая деформация времени 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-1769-o.pdf DOI 10.18720/SPBPU/2/v18-1769 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.7 Mb -
Creators Домбровская Юлия Николаевна Scientific adviser Платонов Владимир Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects пластиковые карты; верификация; управление производством Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.04 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/2/v17-1228 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.3 Mb -
Creators Кацман Виктор Игоревич Scientific adviser Новиков Федор Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Комбинаторика (мат. ); учебный процесс; символьные выражения; верификация UDC 004.588:519.1(043.3) LBC 74.027.9я031 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 01.04.02 Speciality group (FGOS) 010000 - Математика и механика DOI 10.18720/SPBPU/2/v17-3302 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.4 Mb -
Creators Иркова Юлия Анатольевна Scientific adviser Голубев Сергей Аркадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Моделирование; компетенции; проектная деятельность; верификация; инноватика LBC 65.497.4я031 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 27.04.05 Speciality group (FGOS) 270000 - Управление в технических системах DOI 10.18720/SPBPU/2/v17-3526 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.3 Mb -
Creators Зайнутдинов Руслан Ильдарович Scientific adviser Парамонова Ирина Львовна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт промышленного менеджмента, экономики и торговли Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects верификация; температура стенки; аварийные режимы; обращенный кольцевой режим течения; теплообмен; гидродинамика; КОРСАР Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 14.05.01 Speciality group (FGOS) 140000 - Ядерная энергетика и технологии Links http://elib.spbstu.ru/dl/2/rev/v18-6328-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-6328-r.pdf DOI 10.18720/SPBPU/2/v18-6328 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.7 Mb -
Creators Лукин Артем Андреевич Scientific adviser Котляров Всеволод Павлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects верификация; корректность; спецификация требований; формальные языки; verification; correctness; specification of requirements; formal languages Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.04 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-545-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-545-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-545 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.3 Mb -
Creators Герасина Екатерина Сергеевна Scientific adviser Болсуновская Марина Владимировна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects автоматизация тестирования; верификация; генерация данных по критериям; BDD; CI/CD; DDT; java; CD; CI; data generation based on criteria; test automation; verification 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/3/2023/vr/vr23-3593 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 1.8 Mb
