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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.45.17$<.>)
Общее количество найденных документов : 55
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
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)
Свободных экз. нет
Найти похожие
2.
519.179.2(063)
A67

   
    Applications and theory of Petri Nets [Electronic resource] : 31st International conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010: proceedings / eds. J. Lilius, W. Penczek. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6128). - ISBN 978-3-642-13675-7 : Б. ц.

ГРНТИ
27.45.17
УДК
519.179.2(063)

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

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

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

   
    Applications and theory of petri nets [Electronic resource] : 29th International conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008: proceedings / ed. K. Hee. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5062). - ISBN 978-3-540-68746-7 : Б. ц.

ГРНТИ
27.45.17
УДК
519.179.2(063)
Рубрики: Петри сети--Съезды и конференции

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

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

   
    Applications and theory of Petri nets [Electronic resource] : 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings / eds. G. Franceschinis, K. Wolf. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5606). - ISBN 978-3-642-02423-8 : Б. ц.

ГРНТИ
27.45.17
УДК
519.179.2(063)

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

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

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

   
    Applications and theory of petri nets 2005 [Electronic resource] : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005: proceedings / eds. G. Ciardo, P. Darondeau. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3536). - ISBN 978-3-540-31559-9 : Б. ц.

ГРНТИ
27.45.17
УДК
519.179.2(063)
Рубрики: Петри сети--Съезды и конференции

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

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

   
    Applications of graph transformations with industrial relevance [Electronic resource] : third International symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007: revised selected and invited papers / ed. A. SchГјrr. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5088). - ISBN 978-3-540-89020-1 : Б. ц.

ГРНТИ
27.45.17
УДК
519.17(063)
Рубрики: Графов теория--Применение--Съезды и конференции

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

Доп.точки доступа:
SchГјrr, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
7.
519.17
W20

    Wallis, W. D.
    A beginner’s guide to graph theory [Electronic resource] / W. D. Wallis. - 2nd ed. - Electronic text data. - Boston, Ma : Birkhauser, 2007. - ISBN 978-0-8176-4580-9 : Б. ц.

ГРНТИ
27.45.17
УДК
519.17

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

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

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
8.
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)
Свободных экз. нет
Найти похожие
9.
514.174(063)
C74

   
    Combinatorial geometry and graph theory [Electronic resource] : Indonesia-Japan joint conf., IJCCGGT 2003, Bandung, Indonesia, Sept. 13-16, 2003: revised selected papers / ed. J. Akiyama [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3330). - ISBN 978-3-540-30540-8 : Б. ц.

ГРНТИ
27.21.15
27.45.17
УДК
514.174(063)
519.17(063)
Рубрики: Комбинаторная геометрия--Съезды и конференции
   Графов теория--Съезды и конференции

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

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

   
    Complex networks [Electronic resource] : results of the 2009 international workshop on complex networks (complenet 2009) / ed. S. Fortunato [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Studies in computational intelligence, ISSN 1860-949X ; 207). - ISBN 978-3-642-01206-8 : Б. ц.

ГРНТИ
27.45.17
УДК
519.17(063)

Кл.слова (ненормированные):
сложные сети -- графы -- конференции

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

Доп.точки доступа:
Fortunato, S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)