
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков Справка

Базовый поиск	Расширенный поиск	Cловари	ГРНТИ	Новые поступления	Профессионалам Поиск Экспорт данных/ Z39.50 Belmarc Методические решения

Запрос: a001="BY-NLB-ar9598665"
Записи: 1 - 7 из 7 (стр. 1 из 1)

Сортировать по:

Дата	Автор	Заглавие
2004	Окунишникова, Елена Валерьевна	Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Окунишникова Елена Валерьевна ; Российская академия наук, Сибирское отделение, Институт систем информатики им. А.П.Ершова
2015	Королев, Юрий Ильич	Методы и программные средства моделирования сложных динамических систем на основе темпоральной модификации раскрашенных сетей Петри : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Королев Юрий Ильич ; [ФГБОУ ВО НИУ "МЭИ"]
2006	Чалый, Дмитрий Юрьевич	Моделирование и анализ сетевых транспортных протоколов с помощью раскрашенных сетей Петри : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Чалый Дмитрий Юрьевич ; [Ярославский государственный университет им. П.Г.Демидова]
2007	Машуков, Михаил Юрьевич	Моделирование спецификаций языка SDL с помощью раскрашенных сетей Петри = Modeling SDL-specifications via colored Petri nets / М. Ю. Машуков, Т. Г. Чурина
2004	Козюра, В. Е.	Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / В.Е.Козюра ; Российская академия наук, Сибирское отделение, Институт систем информатики им. А.П.Ершова
1998	Иванчиков, Александр Александрович (кандидат технических наук)	Моделирование и оптимизация управления дискретными процессами на основе раскрашенных сетей Петри : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.01 / Бел. гос. ун-т информатики и радиоэлектроники
1998	Иванчиков, Александр Александрович (кандидат технических наук)	Моделирование и оптимизация управления дискретными процессами на основе раскрашенных сетей Петри : Дис. на соиск. учен. степ. канд. техн. наук : 05.13.01 / Бел. гос. ун-т информатики и радиоэлектроники

Служба технической поддержки:
+375 17 293 29 78
skk@nlb.by
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024
© Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси