Transactions on Petri Nets and Other Models of Concurrency IV

Transactions on Petri Nets and Other Models of Concurrency IV

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Jensen, K. (Kurt), 1950-
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Donatelli, Susanna, Koutny, Maciej
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Computer Science 6550
Θέματα:	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:	http://dx.doi.org/10.1007/978-3-642-18222-8

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

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
ανά: Zomaya, Albert Y.
Έκδοση: (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
ανά: Broy, M., 1949-
Έκδοση: (2005)

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

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

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

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings
ανά: Sirisuk, Phaophak
Έκδοση: (2010)

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

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
ανά: Frachtenberg, Eitan
Έκδοση: (2010)

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
ανά: Zhu, Rongbo
Έκδοση: (2010)

Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
ανά: Zhu, Rongbo
Έκδοση: (2010)

Super-Recursive Algorithms
ανά: Burgin, Mark
Έκδοση: (2005)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
ανά: Bollig, Benedikt
Έκδοση: (2006)

Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
ανά: Brennan, Rob
Έκδοση: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ανά: Lee, Der-Tsai
Έκδοση: (2010)

Recent Advances in the Message Passing Interface 17th European MPI Usersβ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings
ανά: Keller, Rainer
Έκδοση: (2010)

Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
ανά: Chatzimisios, Periklis
Έκδοση: (2010)

Interactive Computation The New Paradigm
ανά: Goldin, Dina
Έκδοση: (2006)

Biologically Inspired Algorithms for Financial Modelling
ανά: Brabazon, Anthony
Έκδοση: (2006)

Computational Science and Its Applications β ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV
ανά: Taniar, David
Έκδοση: (2010)

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I
ανά: Wang, Fu Lee
Έκδοση: (2010)

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
ανά: Wang, Fu Lee
Έκδοση: (2010)

Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
ανά: MΓΌller-Hannemann, Matthias
Έκδοση: (2010)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
ανά: Hsu, Ching-Hsien
Έκδοση: (2010)

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
ανά: Hsu, Ching-Hsien
Έκδοση: (2010)

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach
ανά: Papajorgji, Petraq J.
Έκδοση: (2006)

Designing Virtual Reality Systems The Structured Approach
ανά: Kim, Gerard Jounghyun
Έκδοση: (2005)

Software Process Modeling
ανά: Acuna, Silvia T.
Έκδοση: (2005)

A Software Process Model Handbook for Incorporating Peopleβs Capabilities
ανά: Acuna, Silvia T.
Έκδοση: (2005)

Search Computing Challenges and Directions
ανά: Ceri, Stefano
Έκδοση: (2010)

Computational Science and Its Applications β ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III
ανά: Taniar, David
Έκδοση: (2010)

Computational Science and Its Applications β ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I
ανά: Taniar, David
Έκδοση: (2010)

Computational Science and Its Applications β ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II
ανά: Taniar, David
Έκδοση: (2010)

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

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings /
Έκδοση: (2017)

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

Algorithmic Randomness and Complexity
ανά: Downey, Rodney G
Έκδοση: (2010)

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
ανά: Braubach, Lars
Έκδοση: (2010)

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22β27, 2004, Toulouse, France
ανά: Dissaux, Pierre
Έκδοση: (2005)

Component-Based Software Testing with UML
ανά: Gross, Hans-Gerhard
Έκδοση: (2005)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
Έκδοση: (2013)

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

Cannot write session to /tmp/vufind_sessions/sess_t1mi7rr0rhauos32vad9sbba65