Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Häftad, 2020
647 kr
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
Del 9698 i serien Lecture Notes in Computer Science
571 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
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
Utforska kategorier
Innehållsförteckning
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
711 kr
Models and Analysis for Distributed Systems
Laure Petrucci, Laurent Pautet, Fabrice Kordon, Serge Haddad
E-bok
20132 347 kr
Models and Analysis for Distributed Systems
Laure Petrucci, Laurent Pautet, Fabrice Kordon, Serge Haddad
E-bok
20132 347 kr
Hoppa över listan
Mer från samma serie
Multiobjective Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński
Häftad, 2008
554 kr
Del 16297
Knowledge Graphs
Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang
Häftad, 2026
932 kr
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
571 kr
- Nyhet
Del 16693
Advanced Parallel Processing Technologies
Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson
Häftad, 2026
1 022 kr
Del 16832
Progress in Cryptology - AFRICACRYPT 2026
Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez
Häftad, 2026
932 kr
- Nyhet
Electronic Participation
David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek
Häftad, 2026
730 kr
Del 12051
Sustainable Digital Communities
Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad
Häftad, 2020
1 071 kr
Types for Proofs and Programs
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Häftad, 2000
571 kr
Del 13216
Requirements Engineering: Foundation for Software Quality
Vincenzo Gervasi, Andreas Vogelsang
Häftad, 2022
627 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Del 15714
Application and Theory of Petri Nets and Concurrency
Elvio Amparore, Łukasz Mikulski
Häftad, 2025
909 kr
Del 10877
Application and Theory of Petri Nets and Concurrency
Victor Khomenko, Olivier H. Roux
Häftad, 2018
571 kr
Transactions on Petri Nets and Other Models of Concurrency XVI
Maciej Koutny, Fabrice Kordon, Daniel Moldt
Häftad, 2022
1 022 kr
Del 12152
Application and Theory of Petri Nets and Concurrency
Ryszard Janicki, Natalia Sidorova, Thomas Chatain
Häftad, 2020
554 kr
Transactions on Petri Nets and Other Models of Concurrency XVI
Daniel Moldt, Fabrice Kordon, Maciej Koutny
E-bok
20221 306 kr
Del 10258
Del 9115
Application and Theory of Petri Nets and Concurrency
Raymond Devillers, Antti Valmari
Häftad, 2015
571 kr