Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Model Checking and Artificial Intelligence

Name: Model Checking and Artificial Intelligence
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649377
Price: 60.39 EUR
Availability: InStock
Author: Doron A. Peled
ISBN: 9783642004308

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Doron A. Peled

Michael Wooldridge

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01649377

148 b

60.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Kolloidchemie Des Protoplasmas Vladimir Vasil evich Lepeshkin

Broschur

55.29 €

Wo bist du, kleiner Osterhase? Sylvia Tress

Leporello

8.00 €

Persona normal BENITO TAIBO

Broschur

21.59 €

Economia dos Emirados Árabes Unidos IV? Kushnir

Broschur

8.99 €

Patologias concomitantes en el embarazo Helen Baston

Adobe ePub DRM

14.59 €

Брiджертони. Книга 5. Серовi Фiллiпу з любов'ю Julia Quinn

Hardcover

9.69 €

LESEZUG/Klassiker: Robinson Crusoe Lisa Gallauner

Adobe ePub DRM

9.19 €

Ladungssicherung im intermodalen Verkehr Rüdiger Rohland

Broschur

29.99 €

Innan juldagsmorgon glimmar Hanna Christenson

Adobe ePub DRM

4.79 €

C'est ça les vacances ? fremder

binding.

24.79 €

Regardez-moi Anita Brookner

Broschur

24.79 €

J'écris en grec ancien Guillaume Diana

Broschur

12.99 €

Quantenmechanik IV Tennert

Broschur

32.99 €

LP-NVI BIBLIA ESTUDIO 2022 CAFE LEATHERS NUEVA VERSION INTERNACIONAL

Hardcover

68.79 €

Der Herr der Ringe: Das Kartenspiel Die zwei Türme Nate French

Spiel

80.69 €

De L'Origine Du Xxie Siecle/The Old Place Jean-Luc Godard

DVD

46.39 €

Slovensko 1:500 000

Karte

4.39 €

Homo faber Max Frisch

Broschur

10.00 €

Bibelgriechisch leicht gemacht, Lösungsbuch Werner Stoy

Blatt

10.00 €

Napoleon I. - Tagebuch Von St. Helena Emmanuel A. D. de Las Casas

Broschur

39.90 €

Now That We're Human Michael Badal

Audio CD

15.39 €

Obras selectas Platón Platón

Hardcover

9.99 €

Oeuvres Completes Du Chancelier Tome 7 D Aguesseau-H-F

Broschur

39.39 €

Jumping Fitness 2: cardio & circuit Antonia Westphal

DVD

24.99 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

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