Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings /

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings /

This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and related models of concurrency, and to foster new -...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Ciardo, Gianfranco (Επιμελητής έκδοσης), Darondeau, Philippe (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Σειρά:	Lecture Notes in Computer Science, 3536
Θέματα:	Computer science. Information technology. Business > Data processing. Computer communication systems. Software engineering. Operating systems (Computers). Computers. Computer science > Mathematics. Computer Science. Theory of Computation. Discrete Mathematics in Computer Science. Software Engineering. Operating Systems. Computer Communication Networks. IT in Business.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /
Έκδοση: (2004)

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)

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)

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /
Έκδοση: (2005)

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

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

Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /
Έκδοση: (2009)

Coloured Petri Nets Modelling and Validation of Concurrent Systems /
ανά: Jensen, Kurt, κ.ά.
Έκδοση: (2009)

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /
Έκδοση: (2015)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings /
Έκδοση: (2005)

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

Distributed Computing in Sensor Systems First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 – July 1, 2005. Proceedings /
Έκδοση: (2005)

High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers /
Έκδοση: (2011)

Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings /
Έκδοση: (2005)

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
Έκδοση: (2016)

Advances in Cryptology – CRYPTO 2005 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings /
Έκδοση: (2005)

Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings /
Έκδοση: (2005)

Topics in Cryptology – CT-RSA 2005 The Cryptographers’ Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005. Proceedings /
Έκδοση: (2005)

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities /
Έκδοση: (2014)

Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings /
Έκδοση: (2011)

High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings /
Έκδοση: (2005)

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /
Έκδοση: (2008)

UbiComp 2005: Ubiquitous Computing 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings /
Έκδοση: (2005)

Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers /
Έκδοση: (2006)

Formal Models of Operating System Kernels
ανά: Craig, Iain D.
Έκδοση: (2007)

Algorithms – ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I /
Έκδοση: (2010)

WALCOM: Algorithms and Computation Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings /
Έκδοση: (2008)

Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings /
Έκδοση: (2005)

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings /
Έκδοση: (2005)

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
Έκδοση: (2005)

Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings /
Έκδοση: (2005)

Mathematical Approaches to Software Quality
ανά: O'Regan, Gerard
Έκδοση: (2006)

Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings /
Έκδοση: (2005)

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /
Έκδοση: (2005)

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /
Έκδοση: (2007)

Advances in Cryptology – EUROCRYPT 2005 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings /
Έκδοση: (2005)

Information Security and Cryptology - ICISC 2005 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers /
Έκδοση: (2006)

Distributed Computing in Sensor Systems Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings /
Έκδοση: (2006)

Distributed Computing in Sensor Systems Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings /
Έκδοση: (2007)

Algorithms – ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings /
Έκδοση: (2006)

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

Cannot write session to /tmp/vufind_sessions/sess_3l6b2uc60jqh5r9oeps07i0253