Kanaler - Formal Models of Agents : :: Biblioteca ITESO

Liknande verk: Formal Models of Agents :

Snabbtitt
Knowledge Representation for Agents and Multi-Agent Systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers /
Snabbtitt
Intelligent Agents VIII : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers /
Snabbtitt
Formal Modelling in Electronic Commerce /
Snabbtitt
Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers /
Snabbtitt
Agent-Based Modeling Meets Gaming Simulation /
Snabbtitt
Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
Snabbtitt
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. /
Snabbtitt
Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers /
Snabbtitt
Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers /
Snabbtitt
Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
Snabbtitt
The Formal Description Technique Lotos : Results of the ESPRIT/SEDOS Project /
Snabbtitt
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
Snabbtitt
Recent Trends in Algebraic Development Techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /
Snabbtitt
Models in Software Engineering : Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers /
Snabbtitt
Models in Software Engineering : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /
Snabbtitt
Models in Software Engineering : Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers /
Snabbtitt
Models in Software Engineering : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /
Snabbtitt
Models in Software Engineering : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers /
Snabbtitt
Intelligent Agents: Specification, Modeling, and Application : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings /
Snabbtitt
Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings /
Snabbtitt
Specification and Verification of Multi-agent Systems /
Snabbtitt
Models in Software Engineering : Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /
Snabbtitt
Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
Snabbtitt
Formal Modeling and Analysis of Timed Systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings /

Upphov: John-Jules Ch. Meyer, Pierre-Yves Schobbens

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

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0