Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (1)Реферативна база даних (80)
Пошуковий запит: (<.>U=З810.21<.>)
Загальна кількість знайдених документів : 8
Представлено документи з 1 до 8
1.
РА345553
Петросян, Гоарик Размиковна.
Возможности моделирования сетей Петри и их расширений [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.05 / Петросян Гоарик Размиковна ; Институт проблем информатики и автоматизации НАН Республики Армения. - Ереван, 2006. - 16 с.
Описание составлено по переводу. - Текст на арм. яз.

Рубрикатор НБУВ:
 З810.21 
Тематичні рубрики:
 Мережі Петрі 


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

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

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

Рубрикатор НБУВ:
 З810.21 
 З810.405 
Тематичні рубрики:
 Мережі Петрі 
 Моделі невизначеності 


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

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

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

Рубрикатор НБУВ:
 В195.1 
 В126.3 
 З810.21 
Тематичні рубрики:
 Математичне моделювання 
 Теорія графів 
 Мережі Петрі 


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

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

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

Рубрикатор НБУВ:
 З810.21 
 З970.21-01 
Тематичні рубрики:
 Мережі Петрі 
 Теорія. Дослідження паралельних обчислювальних систем 


Дод. точки доступу:
The Technical university of Kosice, Slovak Republic. Fac. of electrical engineering and informatics. Dep. of computers and informatics

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

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

Рубрикатор НБУВ:
 З810.21 
 З970.21-01 
Тематичні рубрики:
 Мережі Петрі 
 Теорія. Дослідження паралельних обчислювальних систем 


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

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

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

Рубрикатор НБУВ:
 З810.21 
Тематичні рубрики:
 Мережі Петрі 


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

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

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

Рубрикатор НБУВ:
 З810.21 
Тематичні рубрики:
 Мережі Петрі 


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

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

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

Рубрикатор НБУВ:
 З810.21 
 З970.31-07 
Тематичні рубрики:
 Мережі Петрі 
 Випробування комп'ютерних мереж 


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

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

 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського