Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Model Checking and Artificial Intelligence

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking and Artificial Intelligence Stefan Edelkamp
Code Libristo: 01569012
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, août 2007
This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking... Description détaillée
? points 148 b
60.39 € TVA incluse
Stockage externe en petites quantités Expédition sous 11-15 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Transposicao didatica AFFONSECA JARDIM MAR / Livre Livre de poche
common.buy 39.19 €
Mindhunter - Sorozatgyilkosok John Douglas / Livre Livre de poche
common.buy 12.69 €
Аехо апротокол Руслан Квициния / Livre Livre de poche
common.buy 20.99 €
Gelový roller Pentel FLOATUNE - 0,8 mm, červený Articles de papeterie Articles de papeterie
common.buy 3.19 €
Petronela Jabĺčková Vianočná kniha Sabine Städingová / Livre Livre relié
common.buy 9.89 €
Egungo euskal literatura eta futbola / Livre Livre de poche
common.buy 17.49 €
Les écrivains et leurs lectures philosophiques Curatolo / Livre Livre de poche
common.buy 19.79 €
Kindernotfall-ABC, m. 1 Buch, m. 1 E-Book Thomas Nicolai / Livre Livre relié
common.buy 50.19 €
Im Freien Béla Bartók / Articles imprimés Partitions
common.buy 44.39 €
La música de la conversación PEÑAS / Livre Livre de poche
common.buy 22.69 €
Principes d'Arpentage Et de Nivellement Precedes de Notions de Trigonometrie Rectiligne 4e Ed Percin-J / Livre Livre de poche
common.buy 16.09 €
Quan els gats se senten tan sols MARIASUN LANDA / Livre Livre de poche
common.buy 13.64 €
Bientôt
2.Panzerdivision En Normandie Tome 1 Frederic Deprun / Livre Livre relié
common.buy 72.49 €
Bienen Sam Droege / Livre Livre relié
common.buy 30.00 €
Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl / Livre Livre de poche
common.buy 82.99 €
Das Konkursvorrecht der Öffentlichen Abgaben. Wilfried Dann / Livre Livre de poche
common.buy 29.90 €

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 & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Model Checking and Artificial Intelligence
Auteur Stefan Edelkamp, Alessio Lomuscio
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2007
Nombre de pages 185
EAN 9783540741275
ISBN 3540741275
Code Libristo 01569012
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 640
Dimensions 155 x 235 x 12

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Local Pattern Detection Katharina Morik / Livre Livre de poche
common.buy 53.79 €
Saving San Antonio Lewis F. Fisher / Livre Livre de poche
common.buy 23.49 €
Learn Shona Basics Patrick Chidarara / Livre Livre de poche
common.buy 20.09 €
MAGICAL MUSEUMS THE MUSEUM OF NATURAL Ben Hubbard / Livre Livre de poche
common.buy 11.79 €
History of Biology Michel Morange / Livre Livre relié
common.buy 50.49 €
Norse Mythology for Bostonians Rowdy Geirsson / Livre Livre de poche
common.buy 11.89 €
Implementing the Evidence-Based Practice (Ebp) Competencies in Health Care Lynn Gallagher-Ford / Livre Livre de poche
common.buy 60.19 €
Improving Instruction Through Supervision, Evaluation, and Professional Development Michael F. DiPaola / Livre Livre relié
common.buy 130.09 €
First Aid for the USMLE Step 1 2023, Thirty Third Edition Matthew Sochat / Livre Livre de poche
common.buy 87.69 €
Karen's Sleepover: A Graphic Novel (Baby-Sitters Little Sister #8) Katy Farina / Livre Livre de poche
common.buy 11.19 €
Amino Acid Analysis Michail A. Alterman / Livre Livre de poche
common.buy 152.29 €
Marya Khan and the Awesome Adventure Park (Marya Khan #4) Ani Bushry / Livre Livre relié
common.buy 12.69 €
Presidents of the United States Anonymous / Livre Livre relié
common.buy 27.89 €
The Catch: How Fishing Companies Reinvented Slavery and Plunder the Oceans Michael Field / Livre Livre de poche
common.buy 30.89 €
Terrible Glory James Donovan / Livre Livre de poche
common.buy 20.69 €
Monte Carlo Primer Stephen A. Dupree / Livre Livre relié
common.buy 107.29 €
Mathematics and the Aesthetic Nathalie Sinclair / Livre Livre relié
common.buy 52.69 €
Managing Diversity Michalle E. Mor Barak / Livre Livre de poche
common.buy 104.69 €
SOFSEM 2004: Theory and Practice of Computer Science Peter Van Emde Boas / Livre Livre de poche
common.buy 53.79 €
Death of the Artist Rudolph Radama Von Abele / Livre Livre de poche
common.buy 53.79 €
CAL 26 365 DAYS OF AMAZING TRIVIA BOX / Calendrier/agenda Calendrier
common.buy 19.19 €
Inns and Pubs of the Cotswolds Mark Turner / Livre Livre de poche
common.buy 16.89 €
Isabella Et Henri, Part 1 (1789) Anne Hughes / Livre Livre de poche
common.buy 26.89 €
Lincoln Year Book Wallace Rice / Livre Livre de poche
common.buy 11.19 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?