Electronic Documents Search

Documents found: 5

  • Автоматизация проектирования дискретных устройств. Проектирование в среде QUARTUS PRIME. Лабораторный практикум: учебное пособие

    Creators Антонов Александр Петрович; Мамутова Ольга Вячеславовна; Федотов Александр Александрович; Филиппов Алексей Семенович
    Organization Санкт-Петербургский политехнический университет Петра Великого
    Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2018
    Collection Учебная и учебно-методическая литература; Общая коллекция
    Subjects Вычислительные машины электронные — Программирование - Автоматизация; Технические системы — Проектирование; Логические схемы
    UDC 004.4'24(075.8+076.5); 004.312(075.8+076.5)
    Document type Tutorial
    File type PDF
    Language English
    DOI 10.18720/SPBPU/2/i18-152
    Rights Свободный доступ из сети Интернет (чтение, печать)
  • Автоматизация проектирования дискретных устройств. Разработка Intel SoC-системы. Лабораторный практикум: учебное пособие

    Creators Антонов Александр Петрович; Мамутова Ольга Вячеславовна; Федотов Александр Александрович; Филиппов Алексей Семенович
    Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2018
    Collection Учебная и учебно-методическая литература; Общая коллекция
    Subjects Вычислительные машины электронные — Программирование - Автоматизация; Технические системы — Проектирование; Логические схемы
    UDC 004.312(075.8+076.5); 004.4'24(075.8+076.5)
    Document type Tutorial
    File type PDF
    Language Russian
    DOI 10.18720/SPBPU/2/i18-126
    Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
  • Основы системной отладки при проектировании в Quartus Prime: учебно-методические материалы

    Creators Антонов Александр Петрович; Кошелев Сергей Иванович; Федотов Александр Александрович; Филиппов Алексей Семенович
    Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
    Imprint Санкт-Петербург, 2021
    Collection Учебная и учебно-методическая литература; Общая коллекция
    Subjects Вычислительные машины электронные — Программирование - Автоматизация; Технические системы — Проектирование; Логические схемы; Вычислительные машины электронные персональные — Процессоры; Преобразователи аналого-цифровые
    UDC 004.31(075.8); 004.4'24(075.8); 004.032.26(075.8)
    Document type Tutorial
    File type PDF
    Language Russian
    Speciality code (FGOS) 09.03.01
    Speciality group (FGOS) 090000 - Информатика и вычислительная техника
    DOI 10.18720/SPBPU/5/tr21-156
    Rights Свободный доступ из сети Интернет (чтение)
  • Основы временного анализа при проектировании в Quartus Prime: учебно-методические материалы

    Creators Антонов Александр Петрович; Кошелев Сергей Иванович; Федотов Александр Александрович; Филиппов Алексей Семенович
    Organization Санкт-Петербургский политехнический университет Петра Великого. Высшая школа интеллектуальных систем и суперкомпьютерных технологий
    Imprint Санкт-Петербург, 2021
    Collection Учебная и учебно-методическая литература; Общая коллекция
    Subjects Вычислительные машины электронные персональные — Процессоры; Вычислительные машины электронные — Программирование - Автоматизация; Технические системы — Проектирование; Логические схемы; Преобразователи аналого-цифровые
    UDC 004.31(075.8); 004.4'24(075.8); 004.032.26(075.8)
    Document type Tutorial
    File type PDF
    Language Russian
    Speciality code (FGOS) 09.03.01
    Speciality group (FGOS) 090000 - Информатика и вычислительная техника
    DOI 10.18720/SPBPU/5/tr21-155
    Rights Свободный доступ из сети Интернет (чтение)
  • Сравнительное исследование эффективности стратегий оптимизации метода резолюций c применением полиномиальной унификации Робинсона: выпускная квалификационная работа магистра: направление 02.04.03 «Математическое обеспечение и администрирование информационных систем» ; образовательная программа 02.04.03_01 «Математическое обеспечение и администрирование корпоративных информационных систем»

    Creators Дедов Алексей Александрович
    Scientific adviser Пак Вадим Геннадьевич
    Other creators Пархоменко Владимир Андреевич
    Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
    Imprint Санкт-Петербург, 2021
    Collection Выпускные квалификационные работы; Общая коллекция
    Subjects Вычислительные машины электронные — Программирование - Автоматизация; Математическая физика — Решение задач на вычислительных машинах; метод резолюций; автоматическое доказательство теорем; стратегия оптимизации; алгоритм унификации
    UDC 004.4'24; 51:004
    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 - Компьютерные и информационные науки
    Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1293-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1293-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1293-a.pdf
    DOI 10.18720/SPBPU/3/2021/vr/vr21-1293
    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

...