Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Model Checking and Artificial Intelligence

Name: Model Checking and Artificial Intelligence
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649377
Price: 58.4 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

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 01649377

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Φεβρουάριος 2009

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model... Πλήρης περιγραφή

Κωδικός Libristo: 01649377

141 b

58.40 €

Εξωτερικός αποθηκευτικός χώρος σε μικρές ποσότητες Αποστέλλουμε σε 13-18 ημέρες

Παράδοση στην Ελλάδα

30 ημέρες για την επιστροφή των προϊόντων

Οι πελάτες αγόρασαν επίσης

Kolloidchemie Des Protoplasmas Vladimir Vasil evich Lepeshkin

Χαρτόδετο

53.04 €

Wo bist du, kleiner Osterhase? Sylvia Tress

Leporelo

7.37 €

Persona normal BENITO TAIBO

Χαρτόδετο

21.01 €

Economia dos Emirados Árabes Unidos IV? Kushnir

Χαρτόδετο

9.08 €

Patologias concomitantes en el embarazo Helen Baston

Adobe ePub DRM

14.14 €

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

Σκληρόδετο

9.79 €

LESEZUG/Klassiker: Robinson Crusoe Lisa Gallauner

Adobe ePub DRM

8.78 €

Ladungssicherung im intermodalen Verkehr Rüdiger Rohland

Χαρτόδετο

28.39 €

Innan juldagsmorgon glimmar Hanna Christenson

Adobe ePub DRM

4.64 €

C'est ça les vacances ? fremder

binding.

24.04 €

Regardez-moi Anita Brookner

Χαρτόδετο

24.04 €

J'écris en grec ancien Guillaume Diana

Χαρτόδετο

12.52 €

Quantenmechanik IV Tennert

Χαρτόδετο

31.22 €

LP-NVI BIBLIA ESTUDIO 2022 CAFE LEATHERS NUEVA VERSION INTERNACIONAL

Σκληρόδετο

65.27 €

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

Επιτραπέζιο παιχνίδι

77.50 €

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

DVD

44.66 €

Slovensko 1:500 000

Χάρτης

4.64 €

Homo faber Max Frisch

Χαρτόδετο

9.08 €

Bibelgriechisch leicht gemacht, Lösungsbuch Werner Stoy

Λίστα

8.78 €

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

Χαρτόδετο

35.66 €

Now That We're Human Michael Badal

Audio CD

14.84 €

Obras selectas Platón Platón

Σκληρόδετο

10.10 €

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

Χαρτόδετο

39.80 €

Jumping Fitness 2: cardio & circuit Antonia Westphal

DVD

20.91 €

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.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Model Checking and Artificial Intelligence

Συγγραφέας Doron A. Peled, Michael Wooldridge

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2009

Αριθμός σελίδων 189

EAN 9783642004308

ISBN 364200430X

Κωδικός Libristo 01649377

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 309

Διαστάσεις 155 x 235 x 15

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Computing & Information Technology > Computer science > Artificial intelligence

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη