Главная страница

Базы данных


- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Петри сети<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
Вид документа : Однотомное издание
Шифр издания : 519.179.2/D26
Автор(ы) : David R., Alla H.
Заглавие : Discrete, continuous, and hybrid petri nets [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-26821-5: Б.ц.
ГРНТИ : 27.45.17
УДК : 519.179.2
Предметные рубрики: Петри сети
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания : 681.5.017/V65
Автор(ы) : Villani E., Miyagi P.E., Valette R.
Заглавие : Modelling and analysis of hybrid supervisory systems [Electronic resource] : a Petri net approach
Выходные данные : London : Springer-Verlag, 2007
Коллективы : SpringerLink (Online service)
Серия: Advances in industrial control
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-84628-651-3: Б.ц.
ГРНТИ : 50.43
УДК : 681.5.017
Предметные рубрики: Автоматическое управление
Петри сети
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания : 51/T82-889273
Заглавие : Transactions on petri nets and other models of concurrency i [Electronic resource]
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5100
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-89287-8: Б.ц.
ГРНТИ : 27.45.17 + 50.33.04
УДК : 519.179.2 + 004.272.2
Предметные рубрики: Петри сети
Параллельные вычисления
Найти похожие
4.
Вид документа : Монографическая серия
Шифр издания : 519.179.2/T82
Заглавие : Transactions on petri nets and other models of concurrency II [Electronic resource] : special issue on concurrency in process-aware information systems
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5460
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-00899-3: Б.ц.
ГРНТИ : 27.45.17 + 50.33.04
УДК : 519.179.2 + 004.272.2
Предметные рубрики: Петри сети
Параллельные вычисления
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)