Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings /

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings /

This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3 tool papers presented were carefully reviewed and selected from 55 submis...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Haddad, Serge (Επιμελητής έκδοσης), Pomello, Lucia (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Σειρά:	Lecture Notes in Computer Science, 7347
Θέματα:	Computer science. Software engineering. Data structures (Computer science). Computers. Computer logic. Mathematical statistics. Computer Science. Computation by Abstract Devices. Software Engineering. Logics and Meanings of Programs. Probability and Statistics in Computer Science. Data Structures.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /
Έκδοση: (2013)

Transactions on Petri Nets and Other Models of Concurrency XII
Έκδοση: (2017)

Transactions on Petri Nets and Other Models of Concurrency VII
Έκδοση: (2013)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /
Έκδοση: (2010)

Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings /
Έκδοση: (2011)

Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings /
Έκδοση: (2006)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
ανά: Lilius, Johan
Έκδοση: (2010)

Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /
Έκδοση: (2012)

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers /
Έκδοση: (2012)

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
Έκδοση: (2013)

CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
Έκδοση: (2013)

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
Έκδοση: (2014)

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Έκδοση: (2017)

Transactions on Petri Nets and Other Models of Concurrency XI
Έκδοση: (2016)

Transactions on Petri Nets and Other Models of Concurrency X
Έκδοση: (2015)

Transactions on Petri Nets and Other Models of Concurrency VIII
Έκδοση: (2013)

Transactions on Petri Nets and Other Models of Concurrency IX
Έκδοση: (2014)

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers /
Έκδοση: (2008)

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /
Έκδοση: (2009)

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
Έκδοση: (2016)

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
Έκδοση: (2014)

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Έκδοση: (2014)

Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings /
Έκδοση: (2009)

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
Έκδοση: (2015)

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /
Έκδοση: (2014)

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
Έκδοση: (2014)

Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /
Έκδοση: (2012)

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings /
Έκδοση: (2017)

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
Έκδοση: (2007)

STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings /
Έκδοση: (2004)

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings /
Έκδοση: (2006)

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /
Έκδοση: (2012)

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
Έκδοση: (2012)

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
Έκδοση: (2016)

Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings /
Έκδοση: (2011)

Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers /
Έκδοση: (2011)

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
Έκδοση: (2015)

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings /
Έκδοση: (2016)

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings /
Έκδοση: (2014)

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings /
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών