. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540741275 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 74,89 €, größter Preis: 74,89 €, Mittelwert: 74,89 €
Model Checking and Artificial Intelligence - Stefan Edelkamp
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Stefan Edelkamp:
Model Checking and Artificial Intelligence - Taschenbuch

ISBN: 9783540741275

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence., [SC: 0.00], Neuware, gewerbliches Angebot, 242x156x15 mm, [GW: 319g]

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking and Artificial Intelligence - Stefan Edelkamp
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Stefan Edelkamp:
Model Checking and Artificial Intelligence - Taschenbuch

ISBN: 9783540741275

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence., [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, [GW: 319g]

Neues Buch Booklooker.de
Buchhandlung Kühn GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking and Artificial Intelligence - Stefan Edelkamp
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Stefan Edelkamp:
Model Checking and Artificial Intelligence - Taschenbuch

ISBN: 9783540741275

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence., Neuware, gewerbliches Angebot, 242x156x15 mm, [GW: 319g]

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Edelkamp, Stefan (Herausgeber); Lomuscio, Alessio (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Edelkamp, Stefan (Herausgeber); Lomuscio, Alessio (Herausgeber):
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - neues Buch

2007, ISBN: 3540741275

ID: A5270841

Kartoniert / Broschiert Automatentheorie, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz ), mit Schutzumschlag neu, [PU:Springer-Verlag GmbH; Springer Berlin]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Edelkamp, Stefan (Herausgeber); Lomuscio, Alessio (Herausgeber)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Edelkamp, Stefan (Herausgeber); Lomuscio, Alessio (Herausgeber):
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - neues Buch

2007, ISBN: 3540741275

ID: A5270841

Kartoniert / Broschiert Automatentheorie, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz ), mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Model Checking and Artificial Intelligence

This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence. The 8 revised full workshop papers and 3 revised post-proceedings papers presented have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields. The papers are organized in topical sections on planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, as well as logics for model checking and artificial intelligence.

Detailangaben zum Buch - Model Checking and Artificial Intelligence


EAN (ISBN-13): 9783540741275
ISBN (ISBN-10): 3540741275
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag GmbH
185 Seiten
Gewicht: 0,319 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 01.12.2007 00:18:00
Buch zuletzt gefunden am 02.08.2017 17:39:06
ISBN/EAN: 9783540741275

ISBN - alternative Schreibweisen:
3-540-74127-5, 978-3-540-74127-5


< zum Archiv...
Benachbarte Bücher