Electronic Documents Search
Documents found: 216
-
Lazy functional languages: abstract interpretation and compilation
Creators Burn Geoffrey Organization IEEE Xplore (Online Service); MIT Press Imprint Cambridge, Massachusetts London, England: MIT Press: Pitman, 1991 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=6267234 -
Введение в язык Promela и систему комплексной верификации Spin: учебное пособие
Creators Шошмина Ирина Владимировна; Карпов Юрий Глебович Organization Санкт-Петербургский государственный политехнический университет Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2010 Electronic publication Санкт-Петербург, 2021 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Программирования языки; Вычислительные машины электронные персональные — Программирование UDC 004.42(075.8); 004.438(075.8) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 09.00.00 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/si21-78 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 3.7 Mb -
Creators Пахомова Татьяна Евгеньевна Scientific adviser Глазунов Вадим Валерьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные — Программы — Тестирование; Искусственный интеллект; Программирования языки; автотестирование; генетические алгоритмы; auto testing; genetic algorithms UDC 004.415.53; 004.8; 004.438 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 02.04.01 Speciality group (FGOS) 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/3/2022/vr/vr22-3923 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.3 Mb -
Creators Тырыкин Ярослав Алексеевич Scientific adviser Козлов Константин Николаевич Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects Машинное обучение; Программирования языки; Нейронные сети; глубокое обучение; карты активации; сверточные нейронные сети; регрессионные модели; deep learning; convolution neural network; activation maps; regression models UDC 004.85; 004.438; 004.032.26 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 01.04.02 Speciality group (FGOS) 010000 - Математика и механика DOI 10.18720/SPBPU/3/2024/vr/vr24-6295 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.8 Mb -
Подготовка иллюстраций для научных и технических публикаций в LaTeX: учебное пособие
Creators Баженов Александр Николаевич Organization Санкт-Петербургский государственный политехнический университет. Институт прикладной математики и механики Imprint Санкт-Петербург, 2020 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Вычислительные машины электронные персональные — Программы прикладные; Вычислительные машины электронные персональные — Программы графические; Программирования языки UDC 004.422.8:004.9(075.8); 004.438(075.8) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 01.03.02 Speciality group (FGOS) 010000 - Математика и механика DOI 10.18720/SPBPU/5/tr20-40 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 1.8 Mb -
Creators Оборин Павел Андреевич Scientific adviser Туральчук Константин Анатольевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects Искусственный интеллект; Графов теория; Базы данных; Программирования языки; обработка естественного языка; графы знаний; протокол SIP; natural language processing; knowledge graphs; SIP protocol UDC 004.8; 519.17; 004.6 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.03 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2022/vr/vr22-3703 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb -
Web-технологии: учебное пособие
Creators Чанцев В. П.; Найденышева Екатерина Григорьевна Organization Санкт-Петербургский политехнический университет Петра Великого Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2017 Electronic publication Санкт-Петербург, 2020 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Информационные технологии; Интернет; Программирования языки UDC 004.738.5(075.8); 004.438(075.8) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 09.03.03; 38.03.05 Speciality group (FGOS) 090000 - Информатика и вычислительная техника; 380000 - Экономика и управление DOI 10.18720/SPBPU/2/si20-223 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.8 Mb -
Creators Баратынский Александр Игоревич Scientific adviser Глухих Михаил Игоревич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Java, язык программирования; Программирования языки; Kotlin; совместная компиляция; абстрактное синтаксическое дерево UDC 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-4104 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 371 Kb -
Программирование баз данных: основы PL/SQL: учебник
Creators Андреева Наталья Викторовна; Кожевников Вадим Андреевич; Сабинин Олег Юрьевич Organization Санкт-Петербургский политехнический университет Петра Великого Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2020 Electronic publication Санкт-Петербург, 2020 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Базы данных; Программирования языки UDC 004.655(075.8) Document type Tutorial File type PDF Language Russian DOI 10.18720/SPBPU/2/i20-34 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 1.9 Mb -
Программная и аппаратная реализации алгоритмов: учебное пособие. — 2-е изд., испр.
Creators Амосов Владимир Владимирович; Петров Александр Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого Imprint Санкт-Петербург, 2023 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Алгоритмы; Программирования языки; Логические схемы; Вычислительные машины электронные персональные — Программирование UDC 004.312(075.8); 004.421(075.8) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 09.03.04 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/5/tr23-178 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.1 Mb
