Electronic Documents Search

Documents found: 88

  • The little prover

    Creators Friedman Daniel P.; Eastlund Carl
    Other creators Bibby Duane; Moore J. Strother; Felleisen Matthias
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 2015
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Вычислительные машины электронные — Программы; Лисп (LISP); MIT Press eBooks Library
    UDC 004.422.8; 004.438
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Разработка архитектурного решения для обеспечения удаленного мониторинга состояния пациентов в сети медицинских центров: выпускная квалификационная работа магистра: направление 38.04.05 «Бизнес-информатика» ; образовательная программа 38.04.05_04 «Цифровое здравоохранение»

    Creators Лебедева Анна Сергеевна
    Scientific adviser Дубгорн Алиса Сергеевна
    Organization Санкт-Петербургский политехнический университет Петра Великого. Институт промышленного менеджмента, экономики и торговли
    Imprint Санкт-Петербург, 2023
    Collection Выпускные квалификационные работы; Общая коллекция
    Subjects Вычислительные машины электронные — Программы; цифровая трансформация здравоохранения; дистанционный мониторинг здоровья; медицинская информационная система; цифровое здравоохранение; digital transformation of health; remote health monitoring; medical information system; digital health
    UDC 004.422.8
    Document type Master graduation qualification work
    File type PDF
    Language Russian
    Level of education Master
    Speciality code (FGOS) 38.04.05
    Speciality group (FGOS) 380000 - Экономика и управление
    DOI 10.18720/SPBPU/3/2023/vr/vr23-1660
    Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
  • Исследование и программная реализация методов анализа программ для стековых машин на примере разработки декомпилятора: выпускная квалификационная работа магистра: 09.04.04 - Программная инженерия ; 09.04.04_01 - Технология разработки и сопровождения качественного программного продукта

    Creators Клименко Владислав Юрьевич
    Scientific adviser Амосов Владимир Владимирович
    Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
    Imprint Санкт-Петербург, 2019
    Collection Выпускные квалификационные работы; Общая коллекция
    Subjects Структурный анализ; Вычислительные машины электронные виртуальные; Вычислительные машины электронные — Программы; Программирования языки; декомпиляция; анализ потока управления; стековые машины
    UDC 004.946(043.3); 004.422.8(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.04
    Speciality group (FGOS) 090000 - Информатика и вычислительная техника
    Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1045-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1045-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-1045-a.pdf
    DOI 10.18720/SPBPU/3/2019/vr/vr19-1045
    Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
  • Функциональные характеристики отечественных систем инженерного анализа (CAE-систем). Экспертно-аналитический доклад (по состоянию на март 2024 года): монография

    Creators Боровков Алексей Иванович; Рождественский Олег Игоревич; Павлова Елизавета Ивановна; Алексашкин Антон Сергеевич; Михайлов Александр Александрович; Войнов Игорь Борисович; Ефимов-Сойни Николай Константинович; Себелев Александр Александрович; Чишко Сергей Давидович; Житков Юрий Борисович; Рябов Юрий Александрович; Щербина Людмила Александровна; Мурашов Юрий Васильевич; Жмайло Михаил Александрович; Мартынов Иван Михайлович; Воробьев Павел Алексеевич; Никитин Максим Антонович; Лобачев Дмитрий Андреевич; Шандер Игорь Федорович; Горский Юрий Александрович; Кузьмин Марк Игоревич; Евстратов Дмитрий Сергеевич; Тарасенко Федор Дмитриевич; Калинина Татьяна Вячеславовна; Климкин Владислав Александрович; Ковтун Анна Сергеевна; Маслова Ирина Леонидовна; Соловьев Дмитрий Олегович; Поняева Ирина Игоревна; Мартынец Екатерина Романовна; Ануфриева Варвара Дмитриевна; Кайданова Алина Хоповна; Голякевич Артём Сергеевич; Массух Илья Иссович; Буяджи Павел Андреевич; Данилин Александр Валентинович; Тимофеев Александр Евгеньевич; Рытова Дарья Андреевна; Пастухов Владимир Александрович; Мухаметшина Эльза Ильдаровна
    Organization Санкт-Петербургский политехнический университет Петра Великого. Передовая инженерная школа «Цифровой инжиниринг»
    Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024
    Collection Учебная и учебно-методическая литература; Общая коллекция
    Subjects Системный анализ; Вычислительные машины электронные — Программы
    UDC 681.51.012; 004.422.8
    Document type Other
    File type PDF
    Language Russian
    Speciality code (FGOS) 09.00.00
    Speciality group (FGOS) 090000 - Информатика и вычислительная техника
    DOI 10.18720/SPBPU/2/i24-181
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Функциональные характеристики отечественных систем управления оборудованием с числовым программным управлением (CAM-систем). Экспертно-аналитический доклад (по состоянию на март 2024 года): монография

    Creators Боровков Алексей Иванович; Рождественский Олег Игоревич; Павлова Елизавета Ивановна; Поняева Ирина Игоревна; Ануфриева Варвара Дмитриевна; Кайданова Алина Хоповна; Голякевич Артём Сергеевич; Массух Илья Иссович; Буяджи Павел Андреевич; Данилин Александр Валентинович; Тимофеев Александр Евгеньевич; Рытова Дарья Андреевна; Пастухов Владимир Александрович; Мухаметшина Эльза Ильдаровна; Власов Владимир Николаевич; Рассохин Дмитрий Васильевич; Кравченко Константин Юрьевич; Силин Виктор Викторович; Аввакумов Андрей Александрович; Сальников Алексей Михайлович; Иванов Дмитрий Станиславович; Овчинникова Ольга Сергеевна; Елисеев Всеволод Александрович; Мелехин Андрей Анатольевич
    Organization Санкт-Петербургский политехнический университет Петра Великого. Передовая инженерная школа «Цифровой инжиниринг»
    Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024
    Collection Учебная и учебно-методическая литература; Общая коллекция
    Subjects Системный анализ; Вычислительные машины электронные — Программы
    UDC 681.51.012; 004.422.8
    Document type Other
    File type PDF
    Language Russian
    Speciality code (FGOS) 09.00.00
    Speciality group (FGOS) 090000 - Информатика и вычислительная техника
    DOI 10.18720/SPBPU/2/i24-180
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Функциональные характеристики отечественных систем управления жизненным циклом изделия (PLM-систем). Экспертно-аналитический доклад (по состоянию на март 2024 года): монография

    Creators Боровков Алексей Иванович; Рождественский Олег Игоревич; Павлова Елизавета Ивановна; Будилов Виктор Николаевич; Поняева Ирина Игоревна; Ануфриева Варвара Дмитриевна; Кайданова Алина Хоповна; Голякевич Артём Сергеевич; Массух Илья Иссович; Буяджи Павел Андреевич; Данилин Александр Валентинович; Тимофеев Александр Евгеньевич; Рытова Дарья Андреевна; Пастухов Владимир Александрович; Мухаметшина Эльза Ильдаровна; Тихонов Алексей Сергеевич
    Organization Санкт-Петербургский политехнический университет Петра Великого. Передовая инженерная школа «Цифровой инжиниринг»
    Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024
    Collection Учебная и учебно-методическая литература; Общая коллекция
    Subjects Системный анализ; Вычислительные машины электронные — Программы
    UDC 681.51.012; 004.422.8
    Document type Other
    File type PDF
    Language Russian
    Speciality code (FGOS) 09.00.00
    Speciality group (FGOS) 090000 - Информатика и вычислительная техника
    DOI 10.18720/SPBPU/2/i24-178
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Функциональные характеристики отечественных систем автоматизированного проектирования (CAD-систем). Экспертно-аналитический доклад (по состоянию на март 2024 года): монография

    Creators Боровков Алексей Иванович; Рождественский Олег Игоревич; Павлова Елизавета Ивановна; Алексашкин Антон Сергеевич; Михайлов Александр Александрович; Ефимов-Сойни Николай Константинович; Житков Юрий Борисович; Мурашов Юрий Васильевич; Жмайло Михаил Александрович; Лавренко Дмитрий Трофимович; Волков Александр Валерьевич; Минин Николай Николаевич; Тарасенко Федор Дмитриевич; Логинов Илья Николаевич; Мартынов Иван Михайлович; Шандер Игорь Федорович; Иванов Максим Вячеславович; Поняева Ирина Игоревна; Ануфриева Варвара Дмитриевна; Кайданова Алина Хоповна; Голякевич Артём Сергеевич; Массух Илья Иссович; Буяджи Павел Андреевич; Данилин Александр Валентинович; Тимофеев Александр Евгеньевич; Рытова Дарья Андреевна; Пастухов Владимир Александрович; Мухаметшина Эльза Ильдаровна; Тихонов Алексей Сергеевич
    Organization Санкт-Петербургский политехнический университет Петра Великого. Передовая инженерная школа «Цифровой инжиниринг»
    Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024
    Collection Учебная и учебно-методическая литература; Общая коллекция
    Subjects Системный анализ; Вычислительные машины электронные — Программы
    UDC 681.51.012; 004.422.8
    Document type Other
    File type PDF
    Language Russian
    Speciality code (FGOS) 09.00.00
    Speciality group (FGOS) 090000 - Информатика и вычислительная техника
    DOI 10.18720/SPBPU/2/i24-179
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Разработка интерфейса для управления векторным анализатором цепей nanoVNA V2 Plus4: выпускная квалификационная работа магистра: направление 11.04.04 «Электроника и наноэлектроника» ; образовательная программа 11.04.04_06 «Наноэлектроника и микроэлектромеханические системы»

    Creators Серов Андрей Евгеньевич
    Scientific adviser Румянцев Иван Александрович
    Organization Санкт-Петербургский политехнический университет Петра Великого. Институт электроники и телекоммуникаций
    Imprint Санкт-Петербург, 2023
    Collection Выпускные квалификационные работы; Общая коллекция
    Subjects Вычислительные машины электронные — Программы; Системное программное обеспечение; векторный анализатор цепей; дистанционная лаборатория; удаленный доступ; интерфейс; vector network analyser; remote lab; remote access; interface
    UDC 004.422.8; 004.45
    Document type Master graduation qualification work
    File type PDF
    Language Russian
    Level of education Master
    Speciality code (FGOS) 11.04.04
    Speciality group (FGOS) 110000 - Электроника, радиотехника и системы связи
    DOI 10.18720/SPBPU/3/2023/vr/vr23-5909
    Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
  • Экспертная система сопровождения программного обеспечения на основе метрических показателей: выпускная квалификационная работа магистра: направление 09.04.02 «Информационные системы и технологии» ; образовательная программа 09.04.02_04 «Системный анализ и оптимизация информационных систем и технологий»

    Creators Анисимов Андрей Дмитриевич
    Scientific adviser Логинова Александра Викторовна
    Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
    Imprint Санкт-Петербург, 2023
    Collection Выпускные квалификационные работы; Общая коллекция
    Subjects Системный анализ; Вычислительные машины электронные — Программы; система поддержки решений; метод экспертной оценки; метрические пространства; decision support system; method of expert evaluation; metric spaces
    UDC 681.51.012; 004.422.8
    Document type Master graduation qualification work
    File type PDF
    Language Russian
    Level of education Master
    Speciality code (FGOS) 09.04.02
    Speciality group (FGOS) 090000 - Информатика и вычислительная техника
    DOI 10.18720/SPBPU/3/2023/vr/vr23-1171
    Rights Доступ по паролю из сети Интернет (чтение)
  • Обнаружение вредоносного программного обеспечения для Android посредством анализа графа потока управления: выпускная квалификационная работа специалиста: направление 10.05.01 «Компьютерная безопасность» ; образовательная программа 10.05.01_02 «Математические методы защиты информации»

    Creators Львов Артем Михайлович
    Scientific adviser Семенов Павел Олегович
    Other creators Попова Елена Александровна; Жуковский Евгений Владимирович
    Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации
    Imprint Санкт-Петербург, 2021
    Collection Выпускные квалификационные работы; Общая коллекция
    Subjects Искусственный интеллект; Вычислительные машины электронные — Программы; Графов теория; граф потока управления; граф потока данных; разделяемые библиотеки; control flow graph; data flow graph; shared libraries
    UDC 004.8; 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 - Информационная безопасность
    Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-143-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-143-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-143-a.pdf
    DOI 10.18720/SPBPU/3/2021/vr/vr21-143
    Rights Доступ по паролю из сети Интернет (чтение)

Creators

...

Scientific adviser

...

Publication year

...

Digital publication year

...

Publisher

...

Collection

...

Subjects

...

Document type

...

Language

...

Access

...

Level of education

...

Speciality code (FGOS)

...

Speciality code (OKSO)

...

Speciality code (OKSVNK)

...

Speciality group (FGOS)

...

Speciality group (OKSO)

...

Speciality group (OKSVNK)

...

Journal/newspaper

...