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

Punto Poste 5.99 € Punto Poste 5.99 € Corriere DHL 7.49 € Corriere GLS 6.49 € Punto GLS 4.99 € Corriere Bartolini 4.99 € Punto Bartolini 3.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Model Checking and Artificial Intelligence

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

146 b

59.59 €

Magazzino esterno Inviamo tra 9-13 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Kolloidchemie Des Protoplasmas Vladimir Vasil evich Lepeshkin

In brossura

55.29 €

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

Rigido

14.29 €

J'écris en grec ancien Guillaume Diana

In brossura

11.79 €

Wo bist du, kleiner Osterhase? Sylvia Tress

Leporello

7.69 €

LP-NVI BIBLIA ESTUDIO 2022 CAFE LEATHERS NUEVA VERSION INTERNACIONAL

Rigido

68.29 €

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

Gioco

80.69 €

Quantenmechanik IV Tennert

In brossura

32.59 €

Le dîner chez les Français de V. Giscard d'Estaing Cohen-Paperman

In brossura

11.89 €

Regardez-moi Anita Brookner

In brossura

21.69 €

La Double Inconstance Arlequin Poli P/Amour Marivaux

In brossura

4.59 €

Economia dos Emirados Árabes Unidos IV? Kushnir

In brossura

8.79 €

Agir et penser comme le Petit Prince - Edition Officielle des 75 ans Stéphane Garnier

In brossura

16.09 €

Environnement et Numérique : opérer le changement Tony Canadas

In brossura

36.29 €

Federation Francaise Des Travailleurs Du Livre Georges Guénard

In brossura

18.59 €

Zwierzęta w dzień i w nocy praca zbiorowa

In brossura

2.59 €

Maturita s nadhledem - Český jazyk

In brossura

9.89 €

La Guerre et la Paix: Tome II Leon Tolstoi

In brossura

18.89 €

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

DVD

44.21 €

Kwatro Gene Mackles

Gioco

8.99 €

Jumping Fitness 2: cardio & circuit Antonia Westphal

DVD

21.89 €

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

In brossura

38.69 €

Persona normal BENITO TAIBO

In brossura

12.79 €

Obras selectas Platón Platón

Rigido

12.59 €

Homo faber Max Frisch

In brossura

9.59 €

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