Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /

Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Cortadella, Jordi (Επιμελητής έκδοσης), Reisig, Wolfgang (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Σειρά:	Lecture Notes in Computer Science, 3099
Θέματα:	Mathematics. Computer communication systems. Software engineering. Operating systems (Computers). Computers. Computer science > Mathematics. Mathematical logic. Mathematical Logic and Foundations. Theory of Computation. Discrete Mathematics in Computer Science. Software Engineering. Operating Systems. Computer Communication Networks.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Petri Net Synthesis
ανά: Badouel, Eric, κ.ά.
Έκδοση: (2015)

Process Algebras for Petri Nets The Alphabetization of Distributed Systems /
ανά: Gorrieri, Roberto
Έκδοση: (2017)

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings /
Έκδοση: (2007)

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings /
Έκδοση: (2005)

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings /
Έκδοση: (2006)

Lectures on Concurrency and Petri Nets Advances in Petri Nets /
Έκδοση: (2004)

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

Introduction to Concurrency Theory Transition Systems and CCS /
ανά: Gorrieri, Roberto, κ.ά.
Έκδοση: (2015)

Unifying Petri Nets Advances in Petri Nets /
Έκδοση: (2001)

Applications and Theory of Petri Nets 2001 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings /
Έκδοση: (2001)

Concept Lattices Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings /
Έκδοση: (2004)

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

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift /
Έκδοση: (2013)

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
Έκδοση: (2005)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
Έκδοση: (2015)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings /
Έκδοση: (2017)

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings /
Έκδοση: (2008)

Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings /
Έκδοση: (2002)

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
Έκδοση: (2007)

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
Έκδοση: (2015)

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
Έκδοση: (2015)

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
Έκδοση: (2016)

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
Έκδοση: (2016)

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
Έκδοση: (2014)

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
Έκδοση: (2005)

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /
Έκδοση: (2010)

Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday /
Έκδοση: (2010)

Models of Strategic Reasoning Logics, Games, and Communities /
Έκδοση: (2015)

Computing System Reliability Models and Analysis /
ανά: Xie, Min, κ.ά.
Έκδοση: (2004)

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings /
Έκδοση: (2005)

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

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
Έκδοση: (2016)

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /
Έκδοση: (2005)

Foundations of Algebraic Specification and Formal Software Development
ανά: Sannella, Donald, κ.ά.
Έκδοση: (2012)

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Έκδοση: (2010)

Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
Έκδοση: (2009)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV /
Έκδοση: (2004)

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