Formal Models of Agents : ESPRIT Project ModelAge Final Report Selected Papers /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	John-Jules Ch. Meyer, Pierre-Yves Schobbens (edición)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlín, Alemania : Springer, 1999, c1999
Schriftenreihe:	(Lecture Notes in Computer Science)
Online-Zugang:	Ver documento en línea
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

Ähnliche Einträge: Formal Models of Agents :

Vorschau
Knowledge Representation for Agents and Multi-Agent Systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers /
Vorschau
Formal Modelling in Electronic Commerce /
Vorschau
Intelligent Agents VIII : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers /
Vorschau
Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers /
Vorschau
Agent-Based Modeling Meets Gaming Simulation /
Vorschau
Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
Vorschau
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications : Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997. /
Vorschau
Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers /
Vorschau
Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers /
Vorschau
Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
Vorschau
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
Vorschau
Intelligent Agents: Specification, Modeling, and Application : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings /
Vorschau
Models in Software Engineering : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /
Vorschau
Models in Software Engineering : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers /
Vorschau
Models in Software Engineering : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /
Vorschau
Models in Software Engineering : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers /
Vorschau
Models in Software Engineering : Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers /
Vorschau
Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings /
Vorschau
Models in Software Engineering : Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
Vorschau
Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
Vorschau
Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings /
Vorschau
Formal Modeling and Analysis of Timed Systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /
Vorschau
Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings /
Vorschau
Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings /