Electronic Documents Search
Documents found: 214
-
Creators Носков Максим Сергеевич Scientific adviser Платонов Владимир Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects Машинное обучение; Программирования языки; сетевые атаки; поиск уязвимостей; обучение с учителем; network attacks; vulnerability search; teacher training UDC 004.85; 004.438 Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.03 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2023/vr/vr23-1861 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.1 Mb -
Creators Мелашвили Сергей Константинович Scientific adviser Викторов Олег Анатольевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Электроприводы — Управление; Автоматические системы; Программирования языки UDC 004.438:62-83-5(043.3) Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 27.04.04 Speciality group (FGOS) 270000 - Управление в технических системах DOI 10.18720/SPBPU/2/v17-2569 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 4.8 Mb -
Regulating code: good governance and better regulation in the information age
Creators Brown Ian; Marsden Christopher T. Organization IEEE Xplore (Online Service); MIT Press Imprint Cambridge, Massachusetts London, England: MIT Press, 2013 Collection Электронные книги зарубежных издательств; Общая коллекция Subjects Вычислительные сети — Обеспечение сохранности данных; Программирования языки; Интернет; Коды; информационная политика; MIT Press eBooks Library UDC 004.738.5.056 Document type Other File type Other Language English Rights Доступ по паролю из сети Интернет (чтение, печать) https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6482331 -
Algebraic semantics of imperative programs
Creators Goguen Joseph; Malcolm Grant Organization IEEE Xplore (Online Service); MIT Press Imprint Cambridge, Massachusetts London, England: MIT Press, 1996 Collection Электронные книги зарубежных издательств; Общая коллекция Subjects Программирования языки; Алгебра; MIT Press eBooks Library UDC 512; 004.438 Document type Other File type Other Language English Rights Доступ по паролю из сети Интернет (чтение, печать) https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468 -
Warren's abstract machine: a tutorial reconstruction
Creators Ait-Kaci Hassan Organization IEEE Xplore (Online Service); MIT Press Imprint Cambridge, Massachusetts London, England: MIT Press, 1991 Collection Электронные книги зарубежных издательств; Общая коллекция Subjects Программирования языки; Вычислительные машины электронные персональные — Программирование; MIT Press eBooks Library UDC 004.438; 004.42 Document type Other File type Other Language English Rights Доступ по паролю из сети Интернет (чтение, печать) https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208 -
Creators Бояркин Никита Сергеевич Scientific adviser Стручков Игорь Вячеславович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects Программирования языки; Интернет; Алгоритмы; распределенный реестр; смарт-контракты; блокчейн; kotlin UDC 004.438(043.3); 004.738.5(043.3); 004.421(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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-705-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-705-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-705-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-705 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.1 Mb -
Creators Тихонов Иван Николаевич Scientific adviser Щукин Александр Валентинович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Программирования языки; интерактивная среда; многомерные данные UDC 004.438(043.3) Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 02.04.03 Speciality group (FGOS) 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/2/v17-1757 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.3 Mb -
Creators Спиридонов Борис Андреевич Scientific adviser Пак Вадим Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Программирования языки; Трансляторы; предметно-ориентированные языки; распределенные системы UDC 004.434'42(043.3) Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 02.04.03 Speciality group (FGOS) 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/2/v17-1756 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.7 Mb -
Foundations of object-oriented languages: types and semantics
Creators Bruce Kim B. Organization IEEE Xplore (Online Service); MIT Press Imprint Cambridge, Massachusetts London, England: MIT Press, 2002 Collection Электронные книги зарубежных издательств; Общая коллекция Subjects Программирования языки; MIT Press eBooks Library UDC 004.438 Document type Other File type Other Language English Rights Доступ по паролю из сети Интернет (чтение, печать) https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232 -
Разработка аспектно-ориентированного расширения для языка 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