[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Model Checking and Artificial Intelligence

Sprache EnglischEnglisch
Buch Broschur
Buch Model Checking and Artificial Intelligence Doron A. Peled
Libristo-Code: 01649377
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Februar 2009
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model... Vollständige Beschreibung
? points 161 b
64.15 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
Classic Guitar Collection Harvey Vinson / Broschur
common.buy 18.55 €
Hide (Detective D.D. Warren 2) Lisa Gardner / Broschur
common.buy 11.69 €
Cubism Rebecca Rabinow / Hardcover
common.buy 55.88 €
Rainbow Magic: Mae the Panda Fairy Daisy Meadows / Broschur
common.buy 6.65 €
Bibelgriechisch leicht gemacht, Lösungsbuch Werner Stoy / Blatt
common.buy 10.09 €
Port of Last Resort Marcia Reynders Ristaino / Broschur
common.buy 32.07 €
Variations on a Theme of Euler Takashi Ono / Broschur
common.buy 126.49 €
Gewerbliche Tatigkeit Der Volker Des Klassischen Altertums Hugo Blümner / Broschur
common.buy 27.14 €
Colour Vision Deficiencies VIII G. Verriest / Broschur
common.buy 376.06 €
Heroes of Invention Christine MacLeod / Hardcover
common.buy 172.89 €
In the Best Interest of Students Kelly Gallagher / Broschur
common.buy 40.24 €
Rational Choice: Theoretische Analysen und Empirische Resultate Andreas Diekmann / Broschur
common.buy 45.38 €
Artificial Neural Networks in Pattern Recognition Friedhelm Schwenker / Broschur
common.buy 64.15 €
Physics of Lakes Kolumban Hutter / Hardcover
common.buy 319.37 €
Artificial General Intelligence Kai-Uwe Kühnberger / Broschur
common.buy 58.40 €
Alarm fur Enja Bernhard Mannheim / Broschur
common.buy 13.42 €

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence.§The 9 revised full workshop papers presented together with 2 invited lectures 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.

Informationen zum Buch

Vollständiger Name Model Checking and Artificial Intelligence
Autor Doron A. Peled, Michael Wooldridge
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2009
Anzahl der Seiten 189
EAN 9783642004308
ISBN 364200430X
Libristo-Code 01649377
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 309
Abmessungen 155 x 235 x 15

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto