Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formal Approaches to Agent-Based Systems

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 125 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

• Celý názov: Formal Approaches to Agent-Based Systems
• Podnázov: 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
• Väzba: Brožovaná
• Počet strán: 291
• EAN: 9783540244226
• ISBN: 3540244220
• ID: 01560268
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 950 g
• Rozmery: 235 × 155 × 17 mm
• Dátum vydania: 31. January 2005

Obľúbené z iného súdka

---

---

---