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 : Б. ц.
Автоматов теория См. : Текст издания Доп.точки доступа: Polrola, A.; SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
Кл.слова (ненормированные): сети Петри -- теория -- применение -- конференции См. : Текст издания Доп.точки доступа: Lilius, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
См. : Текст издания Доп.точки доступа: Hee, K. \ed.\; SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
Кл.слова (ненормированные): сети Петри -- конференции См. : Текст издания Доп.точки доступа: Franceschinis, G. \ed.\; SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
См. : Текст издания Доп.точки доступа: Ciardo, G. \ed.\; SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
См. : Текст издания Доп.точки доступа: SchГјrr, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
Кл.слова (ненормированные): графов теория См. : Текст издания Доп.точки доступа: 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 : Б. ц.
Кл.слова (ненормированные): сети петри -- параллельные вычисления См. : Текст издания Доп.точки доступа: Kristensen, L.M.; SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
Графов теория--Съезды и конференции См. : Текст издания Доп.точки доступа: Akiyama, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
Кл.слова (ненормированные): сложные сети -- графы -- конференции См. : Текст издания Доп.точки доступа: Fortunato, S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.925.8(063) C74 Computational geometry and graph theory [Electronic resource] : international conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007: revised selected papers / ed. H. Ito. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4535). - ISBN 978-3-540-89550-3 : Б. ц.
Графов теория--Съезды и конференции См. : Текст издания Доп.точки доступа: Ito, H. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.272.2 C73 Concurrency, graphs and models [Electronic resource] : essays dedicated to Ugo Montanari on the occasion of his 65th birthday / ed. P. Degano. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5065). - ISBN 978-3-540-68679-8 : Б. ц.
Графов теория Программное обеспечение эвм--Проектирование См. : Текст издания Доп.точки доступа: Degano, P. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.1 L96 Lubotzky, A. Discrete groups, expanding graphs and invariant measures [Electronic resource] / A. Lubotzky. - Electronic text data. - Basel : Birkhauser, 2010. - (Modern birkhauser classics). - ISBN 978-3-0346-0332-4 : Б. ц.
Кл.слова (ненормированные): дискретные группы -- расширенные графы -- инвариантные меры См. : Текст издания Доп.точки доступа: 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 : Б. ц.
См. : Текст издания Доп.точки доступа: Alla, H.; SpringerLink (Online service) Свободных экз. нет |
519.1 S82 Steger, A. Diskrete strukturen [Electronic resource] : Band 1: Kombinatorik, Graphentheorie, Algebra / A. Steger. - 2. Aufl. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Springer-Lehrbuch, ISSN 0937-7433). - ISBN 978-3-540-46664-2 : Б. ц.
Кл.слова (ненормированные): дискретные структуры -- комбинаторика -- теория графов -- алгебра См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
517.938 O-84 Osipenko, G. Dynamical systems, graphs, and algorithms [Electronic resource] / G. Osipenko. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in mathematics, ISSN 0075-8434 ; 1889). - ISBN 978-3-540-35595-3 : Б. ц.
Кл.слова (ненормированные): динамические системы -- графы -- алгоритмы См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
575.112:004/D98-700469 Dynamics on and of complex networks [Electronic resource] : applications to biology, computer science, and the social sciences / ed.: N. Ganguly [et al.]. - Electronic text data. - Boston, Ma : Birkhauser, 2009. - (Modeling and simulation in science, engineering and technology). - ISBN 978-0-817-64751-3 : Б. ц.
Кл.слова (ненормированные): динамика -- комплексные сети -- применение -- биология -- генетический путь -- лингвистические системы -- вычислительная техника -- всемирная паутина -- одноранговые сети -- общественные науки -- социальные сети -- нелинейная динамика -- статистическая физика -- графы -- технологические сети См. : Текст издания Доп.точки доступа: Ganguly, N. \ed.\; 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 : Б. ц.
Кл.слова (ненормированные): сети Петри См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
519.17 F97 Fundamentals of algebraic graph transformation [Electronic resource] / H. Ehrig [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Monographs in theoretical computer science. an eatcs series, ISSN 1431-2654). - ISBN 978-3-540-31188-1. - ISBN 3-540-31188-2 : Б. ц.
См. : Текст издания Доп.точки доступа: Ehrig, H.; Ehrig, K.; Prange, U.; Taentzer, G.; SpringerLink (Online service) Свободных экз. нет |
519.17(063) G73 Graph drawing [Electronic resource] : 16th international symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008: revised papers / ed. I. Tollis. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5417). - ISBN 978-3-642-00219-9 : Б. ц.
См. : Текст издания Доп.точки доступа: Tollis, I. \ed.\; SpringerLink (Online service) Свободных экз. нет |