Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Model Checking and Artificial Intelligence

Name: Model Checking and Artificial Intelligence
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569012
Price: 61.1 EUR
Availability: InStock
Author: Stefan Edelkamp
ISBN: 9783540741275

4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Stefan Edelkamp

Alessio Lomuscio

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01569012

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 2007

This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking... Volledige beschrijving

Libristo-code: 01569012

148 b

61.10 €

In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Transposicao didatica AFFONSECA JARDIM MAR

Gebonden (paperback)

37.43 €

Аехо апротокол Руслан Квициния

Gebonden (paperback)

20.33 €

Gelový roller Pentel FLOATUNE - 0,8 mm, červený Schrijfwaren

Schrijfwaren

3.23 €

Petronela Jabĺčková Vianočná kniha Sabine Städingová

Gebonden (harde band)

9.20 €

Egungo euskal literatura eta futbola

Gebonden (paperback)

16.89 €

Les écrivains et leurs lectures philosophiques Curatolo

Gebonden (paperback)

18.91 €

Kindernotfall-ABC, m. 1 Buch, m. 1 E-Book Thomas Nicolai

Gebonden (harde band)

50.68 €

Im Freien Béla Bartók

Bladmuziek

43.09 €

La música de la conversación PEÑAS

Gebonden (paperback)

21.95 €

Principes d'Arpentage Et de Nivellement Precedes de Notions de Trigonometrie Rectiligne 4e Ed Percin-J

Gebonden (paperback)

15.57 €

Quan els gats se senten tan sols MARIASUN LANDA

Gebonden (paperback)

11.42 €

2.Panzerdivision En Normandie Tome 1 Frederic Deprun

Gebonden (harde band)

70.31 €

Bienen Sam Droege

Gebonden (harde band)

25.99 €

Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl

Gebonden (paperback)

78.20 €

Das Konkursvorrecht der Öffentlichen Abgaben. Wilfried Dann

Gebonden (paperback)

28.32 €

This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence.§The 8 revised full workshop papers and 3 revised post-proceedings papers presented 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. The papers are organized in topical sections on planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, as well as logics for model checking and artificial intelligence.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Model Checking and Artificial Intelligence

Auteur Stefan Edelkamp, Alessio Lomuscio

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2007

Aantal pagina's 185

EAN 9783540741275

ISBN 3540741275

Libristo-code 01569012

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 640

Afmetingen 155 x 235 x 12

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger