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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.45.17$<.>)
Общее количество найденных документов : 55
Показаны документы с 1 по 10
 1-10    11-20   21-30      
1.
Вид документа : Монографическая серия
Шифр издания : 519.179.2/P41
Автор(ы) : Penczek W., Polrola A.
Заглавие : Advances in verification of time petri nets and timed automata [Electronic resource] : a temporal logic approach
Выходные данные : Berlin; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Studies in computational intelligence, ISSN 1860-949X; 20
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-32870-4: Б.ц.
ГРНТИ : 27.45.17 + 28.25
УДК : 519.179.2 + 519.713
Предметные рубрики: Петри сети-- Верификация
Автоматов теория
Найти похожие
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
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6128
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-13675-7: Б.ц.
ГРНТИ : 27.45.17
УДК : 519.179.2(063)
Ключевые слова (''Своб.индексиров.''): сети петри--теория--применение--конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5062
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-68746-7: Б.ц.
ГРНТИ : 27.45.17
УДК : 519.179.2(063)
Предметные рубрики: Петри сети-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5606
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-02423-8: Б.ц.
ГРНТИ : 27.45.17
УДК : 519.179.2(063)
Ключевые слова (''Своб.индексиров.''): сети петри--конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3536
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-31559-9: Б.ц.
ГРНТИ : 27.45.17
УДК : 519.179.2(063)
Предметные рубрики: Петри сети-- Съезды и конференции
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 5088
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-89020-1: Б.ц.
ГРНТИ : 27.45.17
УДК : 519.17(063)
Предметные рубрики: Графов теория-- Применение-- Съезды и конференции
Найти похожие
7.
Вид документа : Однотомное издание
Шифр издания : 519.17/W20
Автор(ы) : Wallis W.D.
Заглавие : A beginner’s guide to graph theory [Electronic resource] . -2nd ed.
Выходные данные : Boston, Ma : Birkhauser, 2007
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-0-8176-4580-9: Б.ц.
ГРНТИ : 27.45.17
УДК : 519.17
Ключевые слова (''Своб.индексиров.''): графов теория
Найти похожие
8.
Вид документа : Однотомное издание
Шифр издания : 519.179.2/J41
Автор(ы) : Jensen K., Kristensen L.M.
Заглавие : Coloured petri nets [Electronic resource] : modelling and validation of concurrent systems
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-00284-7: Б.ц.
ГРНТИ : 27.45.17 + 50.33.04
УДК : 519.179.2 + 004.272.2
Ключевые слова (''Своб.индексиров.''): сети петри--параллельные вычисления
Найти похожие
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
Выходные данные : Berlin ; Heidelberg : Springer, 2005
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 3330
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-30540-8: Б.ц.
ГРНТИ : 27.21.15 + 27.45.17
УДК : 514.174(063) + 519.17(063)
Предметные рубрики: Комбинаторная геометрия-- Съезды и конференции
Графов теория-- Съезды и конференции
Найти похожие
10.
Вид документа : Монографическая серия
Шифр издания : 519.17(063)/C74
Заглавие : Complex networks [Electronic resource] : results of the 2009 international workshop on complex networks (complenet 2009)
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Studies in computational intelligence, ISSN 1860-949X; 207
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-01206-8: Б.ц.
ГРНТИ : 27.45.17
УДК : 519.17(063)
Ключевые слова (''Своб.индексиров.''): сложные сети--графы--конференции
Найти похожие
 1-10    11-20   21-30      
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)