Transactions on Petri Nets and Other Models of Concurrency VI

Transactions on Petri Nets and Other Models of Concurrency VI

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Jensen, Kurt (Επιμελητής έκδοσης), Aalst, Wil M. van der (Επιμελητής έκδοσης), Ajmone Marsan, Marco (Επιμελητής έκδοσης), Franceschinis, Giuliana (Επιμελητής έκδοσης), Kleijn, Jetty (Επιμελητής έκδοσης), Kristensen, Lars Michael (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Σειρά:	Lecture Notes in Computer Science, 7400
Θέματα:	Computer science. Computer communication systems. Computer system failures. Software engineering. Programming languages (Electronic computers). Computers. Artificial intelligence. Computer Science. Software Engineering. Computation by Abstract Devices. Programming Languages, Compilers, Interpreters. Computer Communication Networks. Artificial Intelligence (incl. Robotics). System Performance and Evaluation.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Service-Oriented Computing – ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers /
Έκδοση: (2017)

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /
Έκδοση: (2009)

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
Έκδοση: (2017)

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings /
Έκδοση: (2017)

CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings /
Έκδοση: (2011)

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Έκδοση: (2017)

Declarative Agent Languages and Technologies First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers /
Έκδοση: (2004)

Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /
Έκδοση: (2010)

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers /
Έκδοση: (2007)

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 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)

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
Έκδοση: (2005)

Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers /
Έκδοση: (2009)

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers /
Έκδοση: (2006)

Autonomic Computing Principles, Design and Implementation /
ανά: Lalanda, Philippe, κ.ά.
Έκδοση: (2013)

Transactions on Computational Collective Intelligence VI
Έκδοση: (2012)

Engineering Self-Organising Systems Nature-Inspired Approaches to Software Engineering /
Έκδοση: (2004)

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings /
Έκδοση: (2005)

Programming Multi-Agent Systems First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited papers /
Έκδοση: (2004)

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers /
Έκδοση: (2006)

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers /
Έκδοση: (2006)

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers /
Έκδοση: (2006)

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /
Έκδοση: (2006)

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
Έκδοση: (2008)

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers /
Έκδοση: (2008)

Objects, Agents, and Features International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers /
Έκδοση: (2004)

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers /
Έκδοση: (2006)

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
Έκδοση: (2011)

Agent-Oriented Software Engineering XI 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /
Έκδοση: (2011)

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
Έκδοση: (2011)

Agent-Oriented Software Engineering X 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers /
Έκδοση: (2011)

Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /
Έκδοση: (2011)

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings /
Έκδοση: (2012)

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
Έκδοση: (2013)

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Έκδοση: (2014)

Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings /
Έκδοση: (2011)

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings /
Έκδοση: (2012)

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

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

Declarative Agent Languages and Technologies VIII 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers /
Έκδοση: (2011)

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers /
Έκδοση: (2012)

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