Пошуковий запит: (<.>U=З810.21$<.>) |
Загальна кількість знайдених документів : 10
Представлено документи з 1 до 10
|
|
| | |
|
1. | РА345553
Петросян, Гоарик Размиковна. Возможности моделирования сетей Петри и их расширений [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.05 / Петросян Гоарик Размиковна ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 2006. - 16 с. Описание составлено по переводу. - Текст на арм. яз.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
2. | РА368381
Гусейнзаде, Шахла Сухрай кызы. Применение расширений сетей Петри к моделированию и исследованию объектов, функционирующих в неопределённой среде [Текст] : автореф. дис... канд. техн. наук: 05.13.01 / Гусейнзаде Шахла Сухрай кызы ; НАН Азербайджана, Институт информационных технологий. - Баку, 2009. - 19 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
3. | ВА623731
Гамаюн, Игорь Петрович. Разработка имитационных моделей на основе сетей Петри [Текст] : учеб. пособие для студ. спец. 7.080402 "Информационно-управляющие системы и технологии" / И. П. Гамаюн. - Х. : Видавництво НТУ "ХПИ", 2002. - 142 с.: рис. - Библиогр.: с. 140. - ISBN 966-593-247-0
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
4. | ВА626198
Желтов, Валериан Павлович. Моделирование дискретных систем с помощью сетей Петри [Текст] / В. П. Желтов ; Чувашский гос. ун-т им. И.Н.Ульянова. - Чебоксары : Издательство Чувашского университета, 2001. - 260 с.: рис. - Библиогр.: с. 256-259. - ISBN 5-7677-0472-4
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
5. | ВА658938
Дудар, Зоя Володимирівна. Моделювання систем [Текст] : навч. посібник для студ. техн. спец. вищих навч. закл. / З. В. Дудар ; Науково-методичний центр вищої освіти, Харківський національний ун-т радіоелектроніки. - Х. : ХНУРЕ, 2004. - 112 с.: рис. - Бібліогр.: с. 111. - ISBN 966-659-086-7
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
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
Рубрики:
Видання зберігається у :
| |
|
| | |
|
7. | ВА743576
Кузьмук, Валерий Валентинович. Модифицированные сети Петри и устройства моделирования параллельных процессов [Текст] : монография / Валерий Кузьмук, Оксана Супруненко. - К. : Маклаут, 2010. - 251 с. : рис., табл. - Бібліогр.: с. 244-251. - 500 прим. - ISBN 978-966-2200-07-2
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
8. | РА391988
Стеценко, Інна Вячеславівна. Петрі-об'єктне моделювання систем [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.06 / Стеценко Інна Вячеславівна ; Нац. акад. наук України, М-во освіти і науки, молоді та спорту України, Міжнар. наук.-навч. центр інформ. технологій та систем. - К., 2012. - 36 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
9. | ДС131297
Стеценко, Інна Вячеславівна. Петрі-об'єктне моделювання систем [Текст] : дис. ... д-ра техн. наук : 05.13.06 / Стеценко Інна Вячеславівна ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 2012. - 469, [5] арк. - Бібліогр.: арк. 269-282.
Рубрики:
Видання зберігається у :
| |
|
| | |
|
10. | РА401271
Аль Шаріф, Васім Мусса Сухад. Моделі і методи синтезу тестів для розподілених інформаційних систем на основі мереж Петрі [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Аль Шаріф Васім Мусса Сухад ; Одес. нац. політехн. ун-т. - О., 2013. - 20 с. : рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |