Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Model Checking and Artificial Intelligence

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01649377

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febbraio 2009

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model... Descrizione completa

Codice Libristo: 01649377

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Kolloidchemie Des Protoplasmas Vladimir Vasil evich Lepeshkin

In brossura

55.29 €

Wo bist du, kleiner Osterhase? Sylvia Tress

Leporello

7.69 €

Persona normal BENITO TAIBO

In brossura

20.79 €

Economia dos Emirados Árabes Unidos IV? Kushnir

In brossura

8.99 €

Patologias concomitantes en el embarazo Helen Baston

Adobe ePub DRM

14.59 €

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

Rigido

9.69 €

LESEZUG/Klassiker: Robinson Crusoe Lisa Gallauner

Adobe ePub DRM

9.19 €

Ladungssicherung im intermodalen Verkehr Rüdiger Rohland

In brossura

29.69 €

Innan juldagsmorgon glimmar Hanna Christenson

Adobe ePub DRM

4.79 €

C'est ça les vacances ? fremder

binding.

24.79 €

Regardez-moi Anita Brookner

In brossura

24.79 €

J'écris en grec ancien Guillaume Diana

In brossura

12.99 €

Quantenmechanik IV Tennert

In brossura

32.59 €

LP-NVI BIBLIA ESTUDIO 2022 CAFE LEATHERS NUEVA VERSION INTERNACIONAL

Rigido

64.59 €

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

Gioco

80.69 €

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

DVD

46.39 €

Slovensko 1:500 000

Mappa

4.59 €

Homo faber Max Frisch

In brossura

9.59 €

Bibelgriechisch leicht gemacht, Lösungsbuch Werner Stoy

Foglio

9.19 €

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

In brossura

37.29 €

Now That We're Human Michael Badal

CD audio

15.39 €

Obras selectas Platón Platón

Rigido

9.99 €

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

In brossura

39.39 €

Jumping Fitness 2: cardio & circuit Antonia Westphal

DVD

21.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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Model Checking and Artificial Intelligence

Autore Doron A. Peled, Michael Wooldridge

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2009

Numero di pagine 189

EAN 9783642004308

ISBN 364200430X

Codice Libristo 01649377

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 309

Dimensioni 155 x 235 x 15

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale