Web ИРБИС

Базы данных

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

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>U=519.179.2<.>)

Общее количество найденных документов : 7
Показаны документы с 1 по 7

519.179.2
P41

Penczek, W.
Advances in verification of time petri nets and timed automata [Electronic resource] : a temporal logic approach / W. Penczek, A. Polrola. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Studies in computational intelligence, ISSN 1860-949X ; 20). - ISBN 978-3-540-32870-4 : Б. ц.

ГРНТИ	27.45.17	28.25
УДК	519.179.2	519.713

Рубрики: Петри сети--Верификация
Автоматов теория

См. : Текст издания

Доп.точки доступа:
Polrola, A.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

519.179.2
J41

Jensen, K.
Coloured petri nets [Electronic resource] : modelling and validation of concurrent systems / K. Jensen, L. M. Kristensen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - ISBN 978-3-642-00284-7 : Б. ц.

ГРНТИ	27.45.17	50.33.04
УДК	519.179.2	004.272.2

Кл.слова (ненормированные):
сети петри -- параллельные вычисления

См. : Текст издания

Доп.точки доступа:
Kristensen, L.M.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

519.179.2
D26

David, R.
Discrete, continuous, and hybrid petri nets [Electronic resource] / R. David, H. Alla. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 978-3-540-26821-5 : Б. ц.

ГРНТИ	27.45.17
УДК	519.179.2

Рубрики: Петри сети

См. : Текст издания

Доп.точки доступа:
Alla, H.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

519.179.2
W71

Wimmel, H.
Entscheidbarkeit bei Petri Netzen [Electronic resource] : Uberblick und Kompendium / H. Wimmel. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (eXamen.press, ISSN 1614-5216). - ISBN 978-3-540-85471-5 : Б. ц.

ГРНТИ	27.45.17
УДК	519.179.2

Кл.слова (ненормированные):
сети Петри

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

51/T82-889273

Transactions on petri nets and other models of concurrency i [Electronic resource] / ed. K. Jensen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5100). - ISBN 978-3-540-89287-8 : Б. ц.

ГРНТИ	27.45.17	50.33.04
УДК	519.179.2	004.272.2

Рубрики: Петри сети
Параллельные вычисления

См. : Текст издания

Доп.точки доступа:
Jensen, K. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

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 / ed.: K. Jensen [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5460). - ISBN 978-3-642-00899-3 : Б. ц.

ГРНТИ	27.45.17	50.33.04
УДК	519.179.2	004.272.2

519.179.2
T82

Transactions on petri nets and other models of concurrency iii [Electronic resource] / ed. K. Jensen [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5800). - ISBN 978-3-642-04856-2 : Б. ц.

ГРНТИ	27.45.17	50.33.04
УДК	519.179.2	004.272.2

Кл.слова (ненормированные):
сети Петри -- параллельные вычисления

См. : Текст издания

Доп.точки доступа:
Jensen, K. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

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