Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Haddad, Serge (Editor ), Pomello, Lucia (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:	1st ed. 2012.
Colección:	Theoretical Computer Science and General Issues, 7347
Temas:	Computer science. Software engineering. Computer science-Mathematics. Mathematical statistics. Artificial intelligence-Data processing. Theory of Computation. Software Engineering. Computer Science Logic and Foundations of Programming. Probability and Statistics in Computer Science. Data Science.
Acceso en línea:	Texto Completo

Ejemplares similares

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings /
Publicado: (2013)

Petri Net Synthesis
por: Badouel, Eric, et al.
Publicado: (2015)

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings /
Publicado: (2013)

CONCUR 2013 -- Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings /
Publicado: (2013)

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings /
Publicado: (2009)

CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
Publicado: (2014)

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures /
Publicado: (2014)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings /
Publicado: (2010)

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
Publicado: (2015)

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings /
Publicado: (2014)

Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /
Publicado: (2005)

Application and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings /
Publicado: (2011)

Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings /
Publicado: (2009)

Information Retrieval Technology 8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012, Proceedings /
Publicado: (2012)

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Publicado: (2015)

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
Publicado: (2008)

Algorithmic Aspects in Information and Management 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008, Proceedings /
Publicado: (2008)

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
Publicado: (2016)

Transactions on Petri Nets and Other Models of Concurrency III
Publicado: (2009)

An Introduction to Bayesian Scientific Computing Ten Lectures on Subjective Computing /
por: Calvetti, Daniela, et al.
Publicado: (2007)

Introduction to Concurrency Theory Transition Systems and CCS /
por: Gorrieri, Roberto, et al.
Publicado: (2015)

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
Publicado: (2015)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Publicado: (2015)

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /
Publicado: (2016)

Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings /
Publicado: (2015)

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings /
Publicado: (2014)

Information Retrieval Technology 7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 18-20, 2011, Proceedings /
Publicado: (2011)

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings /
Publicado: (2013)

Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
Publicado: (2015)

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
Publicado: (2015)

Graph Transformation 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings /
Publicado: (2012)

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /
Publicado: (2014)

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings /
Publicado: (2014)

Adapting Proofs-as-Programs The Curry--Howard Protocol /
por: Poernomo, Iman, et al.
Publicado: (2005)

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings /
Publicado: (2016)

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /
por: Reisig, Wolfgang
Publicado: (2013)

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
Publicado: (2016)

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
Publicado: (2015)

Semantics of Probabilistic Processes An Operational Approach /
por: Deng, Yuxin
Publicado: (2014)

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_97jojsacd7ikf636t4ebb3d2b4