. .
Deutsch
Deutschland
Ähnliche Bücher
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 74.89 EUR, größter Preis: 82.33 EUR, Mittelwert: 76.38 EUR
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 - 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.

Neues Buch Booklooker.de
Buchhandlung Kühn 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 1st Edition - Stefan Edelkamp
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Stefan Edelkamp:
Model Checking and Artificial Intelligence 4th Workshop MoChArt IV Riva del Garda Italy August 29 2006 Revised Selected and Invited Papers 1st Edition - neues Buch

2006

ISBN: 9783540741275

ID: 9783540741275

Model Checking and Artificial Intelligence 4th Workshop MoChArt IV Riva del Garda Italy August 29 2006 Revised Selected and Invited Papers 1st Edition Author :Stefan Edelkamp 9783540741275 3540741275, [PU: Springer, Berlin/Heidelberg]

Neues Buch printsasia.de
new Versandkosten: 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

Leinen Automatentheorie, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, AI ( Künstliche Intelligenz ), met couverture, [PU:Springer-Verlag GmbH]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Geen versendingskosten in Duitsland (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; Alessio Lomuscio
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Stefan Edelkamp; Alessio Lomuscio:
Model Checking and Artificial Intelligence - Taschenbuch

2007, ISBN: 9783540741275

ID: 8264810

4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers, [ED: 2007], Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Model Checking and Artificial Intelligence
Autor:

Stefan Edelkamp

Titel:

Model Checking and Artificial Intelligence

ISBN-Nummer:

9783540741275

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 06.10.2016 13:06:21
ISBN/EAN: 9783540741275

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher