Von dem Buch Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers haben wir 3 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: James L. Rash; Christopher A. Rouff; Walter Truszkowski; Diana Gordon; Michael G. Hinchey: Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (ISBN: 9783540454847) 2000, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
78%: Sous la direction de: James L. Rash, Sous la direction de: Christopher A. Rouff, Sous la direction de: Walter Truszkowski, Sous la direction de: Diana R. Gordon, Sous la direction de: Michael G. Hinchey: Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes . / Lecture Notes in Artificial Intelligence) (ISBN: 9783540427162) in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
34%: Michael G. Hinchey; James L. Rash; Walter F. Truszkowski; Christopher Rouff; Diana Gordon-Spears: Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (ISBN: 9783540451334) in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
12 Angebote vergleichen
| Preise | 2018 | 2019 | 2022 |
|---|---|---|---|
| Schnitt | € 64,59 | € 63,06 | € 64,19 |
| Nachfrage |
1
Formal Approaches to Agent-Based Systems (1998)
~EN NW EB DLISBN: 9783540451334 bzw. 3540451331, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Österreich, Lagernd.
The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations. While developing this system, several race conditions arose within and between agents. Due to the complexity of the agents and the communications between them, it was decided that a formal approach was needed to specify the agents and the communications between them, so that the system could be checked for additional errors. A formal model of the inter-agent communications was developed, with the expectation that this would enable us to find more errors. Success in this convinced us of the importance of using formal methods to model agent-based systems. To share our own experiences and to learn how others were approaching these issues, we decided to hold a workshop on formal methods and agent-based systems. The response was overwhelming. The result was the first FAABS workshop, which was held at the NASA Goddard Space Flight Center. Posters, paper presentations, panels, and an invited talk by J Moore stimulated much discussion and subsequent collaboration. eBook.
The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (Code 588) was developing a prototype agent community to automate satellite ground operations. While developing this system, several race conditions arose within and between agents. Due to the complexity of the agents and the communications between them, it was decided that a formal approach was needed to specify the agents and the communications between them, so that the system could be checked for additional errors. A formal model of the inter-agent communications was developed, with the expectation that this would enable us to find more errors. Success in this convinced us of the importance of using formal methods to model agent-based systems. To share our own experiences and to learn how others were approaching these issues, we decided to hold a workshop on formal methods and agent-based systems. The response was overwhelming. The result was the first FAABS workshop, which was held at the NASA Goddard Space Flight Center. Posters, paper presentations, panels, and an invited talk by J Moore stimulated much discussion and subsequent collaboration. eBook.
2
Formal Approaches to Agent-Based Systems (2001)
DE PB NW RPISBN: 9783540427162 bzw. 3540427163, in Deutsch, Springer Okt 2001, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000.The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents. 384 pp. Englisch.
This item is printed on demand - Print on Demand Titel. Neuware - This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000.The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents. 384 pp. Englisch.
3
Formal Approaches to Agent-Based Systems (2000)
~EN PB NWISBN: 9783540427162 bzw. 3540427163, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Österreich, Lagernd.
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents. Soft cover.
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents. Soft cover.
4
Formal Approaches to Agent-Based Systems (2000)
~EN NW EB DLISBN: 9783540454847 bzw. 3540454845, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Österreich, Lagernd.
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents. eBook.
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents. eBook.
5
Symbolbild
Rash, James L. [Editor]; Rouff, Christopher A. [Editor]; Truszkowski, Walter [Editor]; Gordon, Diana [Editor]; Hinchey, Michael G. [Editor]
Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes in Computer Science) (2001)
DE PB USISBN: 9783540427162 bzw. 3540427163, in Deutsch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Витрати з доставки до: UKR.
Von Händler/Antiquariat, GuthrieBooks.
Springer, 2001-11-09. Paperback. Very Good. Ex-library paperback in nice condition with the usual markings and attachments.
Von Händler/Antiquariat, GuthrieBooks.
Springer, 2001-11-09. Paperback. Very Good. Ex-library paperback in nice condition with the usual markings and attachments.
6
Formal Approaches to Agent-Based Systems: First International Workshop, 2000 USA, April 5-7, 2000 Revised Papers (Lecture Notes . / Lecture Notes in Artificial Intelligence) (2001)
DE USISBN: 9783540427162 bzw. 3540427163, in Deutsch, Springer, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Former Library book. Great condition for a used book! Minimal wear.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Former Library book. Great condition for a used book! Minimal wear.
7
FORMAL APPROACHES TO AGENT-BASED SYSTEMS, VOLUME 1871 (1871)
DE NWISBN: 9783540427162 bzw. 3540427163, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Romtrade Corp. [59069402], STERLING HEIGHTS, MI, U.S.A.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Romtrade Corp. [59069402], STERLING HEIGHTS, MI, U.S.A.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers (Lecture Notes . / Lecture Notes in Artificial Intelligence) (2008)
DE PBISBN: 9783540427162 bzw. 3540427163, in Deutsch, Springer, Taschenbuch.
Lieferung aus: Deutschland, плюс доставка.
Von Händler/Antiquariat, getbooks GmbH, 65510 Idstein.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, getbooks GmbH, 65510 Idstein.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Formal Approaches to Agent-Based Systems
DE NW EBISBN: 9783540454847 bzw. 3540454845, in Deutsch, Springer Nature, neu, E-Book.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Formal Approaches to Agent-Based Systems
DE NW EBISBN: 9783540451334 bzw. 3540451331, in Deutsch, Springer Nature, neu, E-Book.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…