Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Model Checking and Artificial Intelligence

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking and Artificial Intelligence Doron A. Peled
Libristo-code: 01649377
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februari 2009
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model... Volledige beschrijving
? points 141 b
58.35 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Kolloidchemie Des Protoplasmas Vladimir Vasil evich Lepeshkin / Boek Gebonden (paperback)
common.buy 53.00 €
Economia dos Emirados Árabes Unidos IV? Kushnir / Boek Gebonden (paperback)
common.buy 8.67 €
Patologias concomitantes en el embarazo Helen Baston / E-book Adobe ePub DRM
common.buy 14.02 €
Obras selectas Platón Platón / Boek Gebonden (harde band)
common.buy 10.09 €
Wo bist du, kleiner Osterhase? Sylvia Tress / Boek Leporello (harmonicaboek)
common.buy 7.36 €
TOP Voordelig
Брiджертони. Книга 5. Серовi Фiллiпу з любов'ю Julia Quinn / Boek Gebonden (harde band)
common.buy 9.78 €
Ladungssicherung im intermodalen Verkehr Rüdiger Rohland / Boek Gebonden (paperback)
common.buy 28.36 €
Quantenmechanik IV Tennert / Boek Gebonden (paperback)
common.buy 31.19 €
Innan juldagsmorgon glimmar Hanna Christenson / E-book Adobe ePub DRM
common.buy 4.63 €
LESEZUG/Klassiker: Robinson Crusoe Lisa Gallauner / E-book Adobe ePub DRM
common.buy 8.77 €
C'est ça les vacances ? fremder / Boek binding.
common.buy 24.02 €
Regardez-moi Anita Brookner / Boek Gebonden (paperback)
common.buy 24.02 €
J'écris en grec ancien Guillaume Diana / Boek Gebonden (paperback)
common.buy 12.51 €
LP-NVI BIBLIA ESTUDIO 2022 CAFE LEATHERS NUEVA VERSION INTERNACIONAL / Boek Gebonden (harde band)
common.buy 65.22 €
Der Herr der Ringe: Das Kartenspiel Die zwei Türme Nate French / Spel/speelgoed Spel
common.buy 77.43 €
TOP
Kwatro Gene Mackles / Spel/speelgoed Spel
common.buy 8.57 €
Slovensko 1:500 000 / Drukwerk Kaart
common.buy 4.43 €
TOP
Homo faber Max Frisch / Boek Gebonden (paperback)
common.buy 9.08 €
Bibelgriechisch leicht gemacht, Lösungsbuch Werner Stoy / Boek Blad
common.buy 8.77 €
Napoleon I. - Tagebuch Von St. Helena Emmanuel A. D. de Las Casas / Boek Gebonden (paperback)
common.buy 35.63 €
Now That We're Human Michael Badal / Audio Audio cd
common.buy 14.83 €
Persona normal BENITO TAIBO / Boek Gebonden (paperback)
common.buy 20.99 €
Oeuvres Completes Du Chancelier Tome 7 D Aguesseau-H-F / Boek Gebonden (paperback)
common.buy 38.06 €
Jumping Fitness 2: cardio & circuit Antonia Westphal / Video Dvd
common.buy 20.89 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
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 Doron A. Peled, Michael Wooldridge
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2009
Aantal pagina's 189
EAN 9783642004308
ISBN 364200430X
Libristo-code 01649377
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 309
Afmetingen 155 x 235 x 15

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
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

Dit vind je misschien ook interessant

Molecular Wires Luisa de Cola / Boek Gebonden (paperback)
common.buy 205.36 €
Artificial General Intelligence Kai-Uwe Kühnberger / Boek Gebonden (paperback)
common.buy 47.45 €
Physics of Lakes Kolumban Hutter / Boek Gebonden (harde band)
common.buy 256.55 €
Artificial Neural Networks in Pattern Recognition Friedhelm Schwenker / Boek Gebonden (paperback)
common.buy 51.59 €
Data Science and Classification Vladimir Batagelj / Boek Gebonden (paperback)
common.buy 181.03 €
Elissa's Pocket Posh Journal, Polka Dot Andrews McMeel Publishing / Boek Gebonden (paperback)
common.buy 7.66 €
The Vampire Next Door: Paranormal Romance Cherie Marks / Boek Gebonden (paperback)
common.buy 13.01 €
English and their History Robert Tombs / Boek Gebonden (paperback)
common.buy 22.20 €
Evie's Magic Bracelet: The Enchanted Puppy Jessica Ennis-Hill / Boek Gebonden (paperback)
common.buy 8.67 €
Essentials of Financial Technology – An Interdisciplinary Handbook of Tech–Driven Innovation in Business and Finance Gavin Brown / Boek Gebonden (harde band)
common.buy 199.81 €
Strategy and Politics Colin S. Gray / Boek Gebonden (harde band)
common.buy 255.34 €
50 Greatest Crime Stories Terry O'Brien / Boek Gebonden (paperback)
common.buy 35.23 €
America P. a. McLean / Boek Gebonden (paperback)
common.buy 27.76 €
Linger Lauren Jameson / Boek Gebonden (paperback)
common.buy 20.28 €
Jerusalem Maiden Talia Carner / Boek Gebonden (paperback)
common.buy 15.74 €
Reckless Perceptions Earthling / Boek Gebonden (harde band)
common.buy 19.38 €
Save Generations Y and Z Michael Hopkins / Boek Gebonden (paperback)
common.buy 21.19 €
Robert's Theories and Ideas Robert William Pearce / Boek Gebonden (paperback)
common.buy 11.90 €
Teaching and Learning Vocabulary Elfrieda H. Hiebert / Boek Gebonden (paperback)
common.buy 80.56 €
Requiem for Ahab G J Lau / Boek Gebonden (paperback)
common.buy 7.66 €
Finger-Point from Plymouth Rock. Remarks at the Plymouth Festival ... in Commemoration of the Pilgrims. Lord Charles Sumner / Boek Gebonden (paperback)
common.buy 11.90 €
Waking Dream Rhiannon Lassiter / Boek Gebonden (paperback)
common.buy 14.83 €
Top 100 Motivational Stories: The Best Inspirational Short Stories And Anecdotes Of All Time Meir Liraz / Boek Gebonden (paperback)
common.buy 14.83 €
Beauty and the Beast (2012) - Gesamtbox Kristin Kreuk / Video Dvd
common.buy 56.53 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?