Electronic Documents Search
Documents found: 3
-
Creators Мараховский Вячеслав Борисович; Розенблюм Леонид Яковлевич; Яковлев Александр Владимирович Organization Санкт-Петербургский государственный политехнический университет Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2011 Electronic publication Санкт-Петербург, 2021 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Информационные системы дискретные; Петри сети UDC 004.6.032.24(075.8); 519.711.74(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/si21-607 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 11.9 Mb -
Creators Мордвинов Дмитрий Александрович; Литвинов Юрий Викторович Organization Санкт-Петербургский государственный университет; "Инструменты и методы анализа 2015", научная конференция; Министерство образования и науки Российской Федерации Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2016 Collection Общая коллекция Subjects Радиоэлектроника; Искусственный интеллект. Экспертные системы; робототехника; роботы; формальные методы анализа; формальные методы; темпоральные логики; поведение роботов; робототехнические системы; сети Петри; Петри сети; формализмы; марковские модели; динамическая верификация UDC 004.8 LBC 32.813 Document type Article, report File type PDF Language Russian DOI 10.5862/JCSTCS.236.8 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 0.4 Mb -
Creators Попсуйко Максим Юрьевич Scientific adviser Сиднев Александр Георгиевич Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects Математическое моделирование; Петри сети; Массового обслуживания теория; стохастические сети UDC 004.75(043.3); 004.94(043.3); 519.872(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-722-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-722-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-722-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-722 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.4 Mb
