Комплексний пошук у каталогах Національної бібілотеки України імені В. І. Вернадського

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

Знайдено в інших каталогах:
	Журнали та продовжувані видання (1)

Книжкові видання

Розширений пошук

Сортувати знайдені документи за:
автором	назвою	роком видання

Формат представлення знайдених документів:
повний	стислий

Пошуковий запит: (<.>U=З810.21$<.>)

Загальна кількість знайдених документів : 10
Представлено документи з 1 до 10

РА345553

Петросян, Гоарик Размиковна.

Возможности моделирования сетей Петри и их расширений [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.05 / Петросян Гоарик Размиковна ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 2006. - 16 с.

Тематичний рубрикатор:

Мережі Петрі

Дод. точки доступу:
Институт проблем информатики и автоматизации НАН Республики Армения

Видання зберігається у :
Основний фонд

РА368381

Гусейнзаде, Шахла Сухрай кызы.

Применение расширений сетей Петри к моделированию и исследованию объектов, функционирующих в неопределённой среде [Текст] : автореф. дис... канд. техн. наук: 05.13.01 / Гусейнзаде Шахла Сухрай кызы ; НАН Азербайджана, Институт информационных технологий. - Баку, 2009. - 19 с.

Тематичний рубрикатор:

Мережі Петрі

Моделі невизначеності

Дод. точки доступу:
Институт информационных технологий (Баку); НАН Азербайджана; Институт информационных технологий (Баку)

Видання зберігається у :
Основний фонд

ВА623731

Гамаюн, Игорь Петрович.

Разработка имитационных моделей на основе сетей Петри [Текст] : учеб. пособие для студ. спец. 7.080402 "Информационно-управляющие системы и технологии" / И. П. Гамаюн. - Х. : Видавництво НТУ "ХПИ", 2002. - 142 с.: рис. - Библиогр.: с. 140.

Тематичний рубрикатор:

Мережі Петрі

Імітаційне моделювання систем

Видання зберігається у :
Основний фонд

ВА626198

Желтов, Валериан Павлович.

Моделирование дискретных систем с помощью сетей Петри [Текст] / В. П. Желтов ; Чувашский гос. ун-т им. И.Н.Ульянова. - Чебоксары : Издательство Чувашского университета, 2001. - 260 с.: рис. - Библиогр.: с. 256-259.

Тематичний рубрикатор:

Математичне моделювання

Теорія графів

Мережі Петрі

Дод. точки доступу:
Чувашский гос. университет имени И. Н. Ульянова

Видання зберігається у :
Основний фонд

ВА658938

Дудар, Зоя Володимирівна.

Моделювання систем [Текст] : навч. посібник для студ. техн. спец. вищих навч. закл. / З. В. Дудар ; Науково-методичний центр вищої освіти, Харківський національний ун-т радіоелектроніки. - Х. : ХНУРЕ, 2004. - 112 с.: рис. - Бібліогр.: с. 111.

Тематичний рубрикатор:

Мережі Петрі

Моделювання систем

Організація обчислювального процесу

Дод. точки доступу:
Науково-методичний центр вищої освіти; Харківський національний університет радіоелектроніки

Видання зберігається у :
Основний фонд

ІС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

Видання зберігається у :

ВА743576

Кузьмук, Валерий Валентинович.

Модифицированные сети Петри и устройства моделирования параллельных процессов [Текст] : монография / Валерий Кузьмук, Оксана Супруненко. - К. : Маклаут, 2010. - 251 с. : рис., табл. - Бібліогр.: с. 244-251. - 500 прим.

Тематичний рубрикатор:

Мережі Петрі

Теорія. Дослідження паралельних обчислювальних систем

Дод. точки доступу:
Супруненко, Оксана Александровна

Видання зберігається у :
Основний фонд

РА391988

Стеценко, Інна Вячеславівна.

Петрі-об'єктне моделювання систем [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.06 / Стеценко Інна Вячеславівна ; Нац. акад. наук України, М-во освіти і науки, молоді та спорту України, Міжнар. наук.-навч. центр інформ. технологій та систем. - К., 2012. - 36 с.

Тематичний рубрикатор:

Мережі Петрі

Дод. точки доступу:
Національна академія наук України; Міжнародний науково-навчальний центр інформаційних технологій та систем (Київ)

Видання зберігається у :
Основний фонд

ДС131297

Стеценко, Інна Вячеславівна.

Петрі-об'єктне моделювання систем [Текст] : дис. ... д-ра техн. наук : 05.13.06 / Стеценко Інна Вячеславівна ; Нац. акад. наук України, Ін-т пробл. мат. машин і систем. - К., 2012. - 469, [5] арк. - Бібліогр.: арк. 269-282.

Тематичний рубрикатор:

Мережі Петрі

Дод. точки доступу:
Національна академія наук України; Інститут проблем математичних машин і систем (Київ)

Видання зберігається у :

10.

РА401271

Аль Шаріф, Васім Мусса Сухад.

Моделі і методи синтезу тестів для розподілених інформаційних систем на основі мереж Петрі [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Аль Шаріф Васім Мусса Сухад ; Одес. нац. політехн. ун-т. - О., 2013. - 20 с. : рис.

Тематичний рубрикатор:

Мережі Петрі

Випробування комп'ютерних мереж

Дод. точки доступу:
Одеський національний політехнічний університет

Видання зберігається у :
Основний фонд