Electronic Documents Search
Documents found: 214
-
Creators Попов Евгений Дмитриевич Scientific adviser Троицкая Ольга Анатольевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects Искусственный интеллект; Алгоритмы; Программирования языки; Моделирование; керн; керновые исследования; core; core researh UDC 004.8; 004.421; 004.438 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 01.04.03 Speciality group (FGOS) 010000 - Математика и механика Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-3757-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-3757-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-3757-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-3757 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 3.8 Mb -
Введение в язык 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 Птицына Лариса Константиновна; Смирнов Николай Георгиевич Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2011 Electronic publication Санкт-Петербург, 2020 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Вычислительные машины электронные персональные — Программы; Вычислительные сети — Программирование; Программирования языки UDC 004.42(075.8); 004.438(075.8) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 22.01.00; 27.00.00 Speciality group (FGOS) 220000 - Технологии материалов; 270000 - Управление в технических системах DOI 10.18720/SPBPU/2/si20-1593 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 4.9 Mb -
Creators Андреева Наталья Викторовна; Сабинин Олег Юрьевич Organization Санкт-Петербургский государственный политехнический университет Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2014 Electronic publication Санкт-Петербург, 2020 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Базы данных; Программирования языки UDC 004.65(075.8) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 27.00.00 Speciality group (FGOS) 270000 - Управление в технических системах DOI 10.18720/SPBPU/2/si20-1563 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 3.1 Mb
