Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Häftad, 2020
839 kr
Del 9698 i serien Lecture Notes in Computer Science
Application and Theory of Petri Nets and Concurrency
37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Häftad, Engelska, 2016
749 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (10)
This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016.The 16 papers including 3 tool papers with 4 invited talks presented together in this volume were carefully reviewed and selected from 42 submissions. Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are presented within this volume.
Produktinformation
- Utgivningsdatum2016-06-09
- Mått155 x 235 x 20 mm
- Vikt552 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor345
- Upplaga16001
- FörlagSpringer International Publishing AG
- ISBN9783319390857
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Inbunden, 2020
929 kr
Distibuted Systems
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Inbunden, 2011
2 679 kr
Models and Analysis for Distributed Systems
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Inbunden, 2011
2 659 kr
Del 11429
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Häftad, 2019
749 kr
Del 14550
Del 10228
Hoppa över listan
Mer från samma serie
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
749 kr
Del 15427
Del 16375
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 219 kr
Hoppa över listan
Du kanske också är intresserad av
Del 15714
Application and Theory of Petri Nets and Concurrency
Elvio Amparore, Łukasz Mikulski
Häftad, 2025
1 189 kr
Transactions on Petri Nets and Other Models of Concurrency XVI
Maciej Koutny, Fabrice Kordon, Daniel Moldt
Häftad, 2022
1 339 kr
Del 10877
Application and Theory of Petri Nets and Concurrency
Victor Khomenko, Olivier H. Roux
Häftad, 2018
749 kr
Del 14628
Application and Theory of Petri Nets and Concurrency
Lars Michael Kristensen, Jan Martijn van der Werf
Häftad, 2024
1 229 kr
Del 11522
Application and Theory of Petri Nets and Concurrency
Susanna Donatelli, Stefan Haar
Häftad, 2019
729 kr
Del 12152
Application and Theory of Petri Nets and Concurrency
Ryszard Janicki, Natalia Sidorova, Thomas Chatain
Häftad, 2020
729 kr
Del 9115
Application and Theory of Petri Nets and Concurrency
Raymond Devillers, Antti Valmari
Häftad, 2015
749 kr
Del 13929
Del 16567
Del 8489
Application and Theory of Petri Nets and Concurrency
Gianfranco Ciardo, Ekkart Kindler
Häftad, 2014
749 kr