Electronic Documents Search
Documents found: 2
-
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) 02.03.03 Speciality group (FGOS) 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/2/v17-3816 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Шульцев Илья Львович Scientific adviser Жуковский Евгений Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects Информация — Защита; Вычислительные машины электронные персональные — Программы; символьное выполнение; автоматизированный анализ; условия выполнения; symbolic execution; automated analysis; execution conditions UDC 004.056; 004.422.8 Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.01 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2024/vr/vr24-1504 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.1 Mb
