Importo totale (1 articolo articoli):
Destinazione ordine:
9783540406655 - Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers: 2699 di Gordon-Spears,... (17 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (17)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (12)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (17)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (9)
- Non Print on Demand (12)
Lingua (1)
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Formal Approaches to Agent-Based Systems. Second International Workshop, FAABS 2002. Revised Papers.
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Membro dell'associazione: GIAQ ILAB VDA
Valutazione del venditore 4 su 5 stelle
EUR 10,00
Spedizione EUR 30,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloIX, 295 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Artificial Intelligence, Vol. 2699. Sprache: Englisch.
-
Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture . / Lecture Notes in Artificial Intelligence)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture Notes in Computer Science, 2699)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,62
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,98
Spedizione EUR 17,95
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal Approaches to Agent-Based Systems : Second International Workshop, Faabs 2002, Greenbelt, Md, Usa, October 29-31, 2002 : Revised Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 74,14
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Approaches to Agent-Based Systems : Second International Workshop, Faabs 2002, Greenbelt, Md, Usa, October 29-31, 2002 : Revised Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,95
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Approaches to Agent-Based Systems
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 316.
-
Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540406654 ISBN 13: 9783540406655
EUR 53,49
Spedizione EUR 62,38
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Approaches to Agent-Based Systems | Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers | Michael G. Hinchey (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540406655 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Formal Approaches to Agent-Based Systems : Second International Workshop, Faabs 2002, Greenbelt, Md, Usa, October 29-31, 2002 : Revised Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 109,78
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture Notes in Computer Science (2699))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 100,25
Spedizione EUR 28,97
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Formal Approaches to Agent-Based Systems : Second International Workshop, Faabs 2002, Greenbelt, Md, Usa, October 29-31, 2002 : Revised Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 130,58
Spedizione EUR 2,32
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Formal Approaches to Agent-Based Systems
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 2003, 2003
ISBN 10: 3540406654 ISBN 13: 9783540406655
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 312 pp. Englisch.
-
Formal Approaches to Agent-Based Systems
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 81,52
Spedizione EUR 7,53
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 316 Illus.
-
Formal Approaches to Agent-Based Systems
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 80,97
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 316.
-
Formal Approaches to Agent-Based Systems
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540406654 ISBN 13: 9783540406655
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 autom.
-
Formal Approaches to Agent-Based Systems
Lingua: Inglese
Editore: Springer, Springer Jul 2003, 2003
ISBN 10: 3540406654 ISBN 13: 9783540406655
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 312 pp. Englisch.
