Пошуковий запит: (<.>U=З810.21$<.>) |
Загальна кількість знайдених документів : 10
Представлено документи з 1 до 10
|
1. | РА345553 Петросян, Гоарик Размиковна. Возможности моделирования сетей Петри и их расширений [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.05 / Петросян Гоарик Размиковна ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 2006. - 16 с. Описание составлено по переводу. - Текст на арм. яз.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт проблем информатики и автоматизации НАН Республики Армения
Видання зберігається у :
Основний фонд
|
2. | РА368381 Гусейнзаде, Шахла Сухрай кызы. Применение расширений сетей Петри к моделированию и исследованию объектов, функционирующих в неопределённой среде [Текст] : автореф. дис... канд. техн. наук: 05.13.01 / Гусейнзаде Шахла Сухрай кызы ; НАН Азербайджана, Институт информационных технологий. - Баку, 2009. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Институт информационных технологий (Баку); НАН Азербайджана; Институт информационных технологий (Баку)
Видання зберігається у :
Основний фонд
|
3. | РА391988 Стеценко, Інна Вячеславівна. Петрі-об'єктне моделювання систем [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.06 / Стеценко Інна Вячеславівна ; Нац. акад. наук України, М-во освіти і науки, молоді та спорту України, Міжнар. наук.-навч. центр інформ. технологій та систем. - К., 2012. - 36 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Міжнародний науково-навчальний центр інформаційних технологій та систем (Київ)
Видання зберігається у :
Основний фонд
|
4. | РА401271 Аль Шаріф, Васім Мусса Сухад. Моделі і методи синтезу тестів для розподілених інформаційних систем на основі мереж Петрі [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Аль Шаріф Васім Мусса Сухад ; Одес. нац. політехн. ун-т. - О., 2013. - 20 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Одеський національний політехнічний університет
Видання зберігається у :
Основний фонд
|
5. | ДС131297 Стеценко, Інна Вячеславівна. Петрі-об'єктне моделювання систем [Текст] : дис. ... д-ра техн. наук : 05.13.06 / Стеценко Інна Вячеславівна ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 2012. - 469, [5] арк. - Бібліогр.: арк. 269-282.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут проблем математичних машин і систем (Київ)
Видання зберігається у :
|
6. | ІС11757 Hudak, Stefan. New approach to solving the reachabilty problem: on the way to the methodology of the analysis of time-critical systems [Text] : diss. / S. Hudak ; The Technical university of Kosice, Slovak Republic. Fac. of electrical engineering and informatics. Dep. of computers and informatics. - Kosice : [б.в.], 1995. - 270 p.: fig. - Бібліогр.: P.: 259-270Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: The Technical university of Kosice, Slovak Republic. Fac. of electrical engineering and informatics. Dep. of computers and informatics
Видання зберігається у :
|
7. | ВА626198 Желтов, Валериан Павлович. Моделирование дискретных систем с помощью сетей Петри [Текст] / В. П. Желтов ; Чувашский гос. ун-т им. И.Н.Ульянова. - Чебоксары : Издательство Чувашского университета, 2001. - 260 с.: рис. - Библиогр.: с. 256-259. - ISBN 5-7677-0472-4Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Чувашский гос. университет имени И. Н. Ульянова
Видання зберігається у :
Основний фонд
|
8. | ВА623731 Гамаюн, Игорь Петрович. Разработка имитационных моделей на основе сетей Петри [Текст] : учеб. пособие для студ. спец. 7.080402 "Информационно-управляющие системы и технологии" / И. П. Гамаюн. - Х. : Видавництво НТУ "ХПИ", 2002. - 142 с.: рис. - Библиогр.: с. 140. - ISBN 966-593-247-0Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
9. | ВА658938 Дудар, Зоя Володимирівна. Моделювання систем [Текст] : навч. посібник для студ. техн. спец. вищих навч. закл. / З. В. Дудар ; Науково-методичний центр вищої освіти, Харківський національний ун-т радіоелектроніки. - Х. : ХНУРЕ, 2004. - 112 с.: рис. - Бібліогр.: с. 111. - ISBN 966-659-086-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Науково-методичний центр вищої освіти; Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
10. | ВА743576 Кузьмук, Валерий Валентинович. Модифицированные сети Петри и устройства моделирования параллельных процессов [Текст] : монография / Валерий Кузьмук, Оксана Супруненко. - К. : Маклаут, 2010. - 251 с. : рис., табл. - Бібліогр.: с. 244-251. - 500 прим. - ISBN 978-966-2200-07-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Супруненко, Оксана Александровна
Видання зберігається у :
Основний фонд
|