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 /

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 /

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

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

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)

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

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

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

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

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings /
Έκδοση: (2007)

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /
Έκδοση: (2005)

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

Distributed and Parallel Systems In Focus: Desktop Grid Computing /
Έκδοση: (2008)

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

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

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

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

Distributed and Parallel Systems From Cluster to Grid Computing /
Έκδοση: (2007)

Parallel Programming For Multicore and Cluster Systems /
ανά: Rauber, Thomas, κ.ά.
Έκδοση: (2010)

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

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems /
Έκδοση: (2009)

Formal Techniques for Networked and Distributed Systems FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea /
Έκδοση: (2002)

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

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

High Performance Computing - HiPC 2006 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings /
Έκδοση: (2006)

The JR Programming Language Concurrent Programming in an Extended Java /
ανά: Olsson, Ronald A., κ.ά.
Έκδοση: (2004)

Euro-Par 2004 Parallel Processing 10th International Euro-Par Conference, Pisa, Italy, August 31- September 3, 2004. Proceedings /
Έκδοση: (2004)

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings /
Έκδοση: (2017)

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
Έκδοση: (2005)

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /
ανά: Reisig, Wolfgang
Έκδοση: (2013)

Parallel Algorithm Derivation and Program Transformation
Έκδοση: (1993)

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers /
Έκδοση: (2009)

Web Content Caching and Distribution Proceedings of the 8th International Workshop /
Έκδοση: (2004)

Guide to RISC Processors for Programmers and Engineers /
ανά: Dandamudi, Sivarama P.
Έκδοση: (2005)

High Assurance Services Computing
Έκδοση: (2009)

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

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /
Έκδοση: (2009)

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
Έκδοση: (2007)

Transactions on Petri Nets and Other Models of Concurrency IV
ανά: Jensen, K. (Kurt), 1950-
Έκδοση: (2010)

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

New Developments in Distributed Applications and Interoperable Systems IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17–19, 2001, Kraków, Poland /
Έκδοση: (2002)

Application and Theory of Petri Nets 1998 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 Proceedings /
Έκδοση: (1998)

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

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

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