Verwandte Artikel zu Model Checking and Artificial Intelligence: 4th Workshop,...
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers: 4428 (Lecture Notes in Artificial Intelligence) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 75,46
EUR 17,17 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 52,41
EUR 3,43 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Model Checking and Artificial Intelligence: 4th Workshop,...
Beispielbild für diese ISBN
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 4428)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020176087
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Model Checking and Artificial Intelligence : 4th Workshop, Mochart IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 5309469-n
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Model Checking and Artificial Intelligence
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 200. Bestandsnummer des Verkäufers 26301204
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 4428)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540741275_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540741275
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Model Checking and Artificial Intelligence
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 200 Illus. Bestandsnummer des Verkäufers 7546699
Anzahl: 1 verfügbar
Foto des Verkäufers
Model Checking and Artificial Intelligence : 4th Workshop, Mochart IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 5309469-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Model Checking and Artificial Intelligence
Verlag:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540741275
ISBN 13: 9783540741275
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 185 pp. Englisch. Bestandsnummer des Verkäufers 9783540741275
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Model Checking and Artificial Intelligence
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 200. Bestandsnummer des Verkäufers 18301214
Anzahl: 1 verfügbar
Foto des Verkäufers
Model Checking and Artificial Intelligence : 4th Workshop, Mochart IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 5309469
Anzahl: Mehr als 20 verfügbar