Transactions on Petri Nets and Other Models of Concurrency IV

Transactions on Petri Nets and Other Models of Concurrency IV

Show other versions (1)

Bibliographic Details
Main Author:	Jensen, K. (Kurt), 1950-
Corporate Author:	SpringerLink (Online service)
Other Authors:	Donatelli, Susanna, Koutny, Maciej
Format:	Electronic Kit Book
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Series:	Lecture Notes in Computer Science 6550
Subjects:	Computer science Computer Communication Networks Software engineering Information theory Computer software Computer simulation Computer Science Models and Principles Theory of Computation Simulation and Modeling Software Engineering Algorithm Analysis and Problem Complexity
Online Access:	http://dx.doi.org/10.1007/978-3-642-18222-8

Similar Items

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
by: Zomaya, Albert Y.
Published: (2006)

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3β15 August 2004
by: Broy, M., 1949-
Published: (2005)

Transactions on Petri Nets and Other Models of Concurrency IV
Published: (2010)

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems /
Published: (2009)

Transactions on Petri Nets and Other Models of Concurrency V
Published: (2012)

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings
by: Sirisuk, Phaophak
Published: (2010)

Coloured Petri Nets Modelling and Validation of Concurrent Systems /
by: Jensen, Kurt, et al.
Published: (2009)

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
by: Frachtenberg, Eitan
Published: (2010)

Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
by: Zhu, Rongbo
Published: (2010)

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
by: Zhu, Rongbo
Published: (2010)

Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
by: Brennan, Rob
Published: (2010)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
by: Bollig, Benedikt
Published: (2006)

Super-Recursive Algorithms
by: Burgin, Mark
Published: (2005)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
by: Lee, Der-Tsai
Published: (2010)

Recent Advances in the Message Passing Interface 17th European MPI Usersβ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings
by: Keller, Rainer
Published: (2010)

Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
by: Chatzimisios, Periklis
Published: (2010)

Interactive Computation The New Paradigm
by: Goldin, Dina
Published: (2006)

Computational Science and Its Applications β ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV
by: Taniar, David
Published: (2010)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
by: Hsu, Ching-Hsien
Published: (2010)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
by: Hsu, Ching-Hsien
Published: (2010)

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
by: Wang, Fu Lee
Published: (2010)

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I
by: Wang, Fu Lee
Published: (2010)

Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
by: MΓΌller-Hannemann, Matthias
Published: (2010)

Biologically Inspired Algorithms for Financial Modelling
by: Brabazon, Anthony
Published: (2006)

Search Computing Challenges and Directions
by: Ceri, Stefano
Published: (2010)

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach
by: Papajorgji, Petraq J.
Published: (2006)

A Software Process Model Handbook for Incorporating Peopleβs Capabilities
by: Acuna, Silvia T.
Published: (2005)

Software Process Modeling
by: Acuna, Silvia T.
Published: (2005)

Designing Virtual Reality Systems The Structured Approach
by: Kim, Gerard Jounghyun
Published: (2005)

Computational Science and Its Applications β ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I
by: Taniar, David
Published: (2010)

Computational Science and Its Applications β ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III
by: Taniar, David
Published: (2010)

Computational Science and Its Applications β ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II
by: Taniar, David
Published: (2010)

Transactions on Petri Nets and Other Models of Concurrency I
Published: (2008)

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings /
Published: (2017)

Algorithmic Randomness and Complexity
by: Downey, Rodney G
Published: (2010)

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

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
by: Braubach, Lars
Published: (2010)

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22β27, 2004, Toulouse, France
by: Dissaux, Pierre
Published: (2005)

Component-Based Software Testing with UML
by: Gross, Hans-Gerhard
Published: (2005)

Run-time Models for Self-managing Systems and Applications
by: Ardagna, Danilo
Published: (2010)

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