Mohlo by se vám také líbit

Více informací o knize Formal Approaches to Agent-Based Systems

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 135 bodů

Anotace knihy

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2004, held in Greenbelt, MD, USA in April 2004.§The 18 revised full papers and 4 revised poster papers presented have gone through two rounds of reviewing and improvement. Among the topics addressed are agent management systems, norms in agent societies, multi-agent systems reliability, agent architectures, multi-agent systems specification, formal methods, potential energy in multi-agent systems, timed automata, model checking, OBDDs, multi-agent systems verification, agent communication protocols, autonomic agents, and Petri nets.

Parametry knihy

Zařazení knihy Knihy v angličtině Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

• Plný název: Formal Approaches to Agent-Based Systems
• Podnázev: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
• Autor: Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 291
• EAN: 9783540244226
• ISBN: 3540244220
• ID: 01560268
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 950 g
• Rozměry: 235 × 155 × 17 mm
• Datum vydání: 31. January 2005

Oblíbené z jiného soudku

---

---

---