Последние поступления

Найдено документов: 171 226

Описание Дата поступления
73401 16.04.2022
73402 15.04.2022
73403 15.04.2022
73404 15.04.2022
73405 15.04.2022
73406 15.04.2022
73407 15.04.2022
73408 14.04.2022
73409 14.04.2022
73410
Николаев, Михаил Геннадьевич. Выявление ошибок программного обеспечения с использованием технологии символьного выполнения на основе компиляции: выпускная квалификационная работа специалиста: направление 10.05.04 «Информационно-аналитические системы безопасности» ; образовательная программа 10.05.04_01 «Автоматизация информационно-аналитической деятельности» = Identification of software errors using the technology of symbolic execution based on compilation / М. Г. Николаев; Санкт-Петербургский политехнический университет Петра Великого, Институт кибербезопасности и защиты информации; научный руководитель Е. В. Жуковский; консультант по нормоконтролю А. В. Ярмак. — Санкт-Петербург, 2022. — 1 файл (2,0 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2022/vr/vr22-198.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-198-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-198-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-198-a.pdf>. — DOI 10.18720/SPBPU/3/2022/vr/vr22-198. — Текст
13.04.2022