Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Model Checking and Artificial Intelligence

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

Limba englezăengleză
Carte Carte broșată
Carte Model Checking and Artificial Intelligence Doron A. Peled
Codul Libristo: 01649377
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februarie 2009
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model... Descrierea completă
? points 142 b
307.30 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Kolloidchemie Des Protoplasmas Vladimir Vasil evich Lepeshkin / Carte Carte broșată
common.buy 293.85 lei
Economia dos Emirados Árabes Unidos IV? Kushnir / Carte Carte broșată
common.buy 47.75 lei
Patologias concomitantes en el embarazo Helen Baston / E-book Adobe ePub DRM
common.buy 74.23 lei
Obras selectas Platón Platón / Carte Copertă tare
common.buy 55.99 lei
Wo bist du, kleiner Osterhase? Sylvia Tress / Carte Cărți pliante
common.buy 41.07 lei
Top Leftin
Брiджертони. Книга 5. Серовi Фiллiпу з любов'ю Julia Quinn / Carte Copertă tare
common.buy 51.71 lei
Ladungssicherung im intermodalen Verkehr Rüdiger Rohland / Carte Carte broșată
common.buy 157.66 lei
Quantenmechanik IV Tennert / Carte Carte broșată
common.buy 173.51 lei
Innan juldagsmorgon glimmar Hanna Christenson / E-book Adobe ePub DRM
common.buy 24.29 lei
LESEZUG/Klassiker: Robinson Crusoe Lisa Gallauner / E-book Adobe ePub DRM
common.buy 46.29 lei
C'est ça les vacances ? fremder / Carte binding.
common.buy 126.58 lei
Regardez-moi Anita Brookner / Carte Carte broșată
common.buy 126.58 lei
J'écris en grec ancien Guillaume Diana / Carte Carte broșată
common.buy 66.00 lei
LP-NVI BIBLIA ESTUDIO 2022 CAFE LEATHERS NUEVA VERSION INTERNACIONAL / Carte Copertă tare
common.buy 343.06 lei
Der Herr der Ringe: Das Kartenspiel Die zwei Türme Nate French / Joc / Jucărie Joc
common.buy 429.09 lei
Top
Kwatro Gene Mackles / Joc / Jucărie Joc
common.buy 44.93 lei
Slovensko 1:500 000 / Materiale tipărite Hartă
common.buy 24.50 lei
Top
Homo faber Max Frisch / Carte Carte broșată
common.buy 50.77 lei
Bibelgriechisch leicht gemacht, Lösungsbuch Werner Stoy / Carte Foaie
common.buy 49.11 lei
Napoleon I. - Tagebuch Von St. Helena Emmanuel A. D. de Las Casas / Carte Carte broșată
common.buy 198.43 lei
Now That We're Human Michael Badal / Audio Audio CD
common.buy 82.06 lei
Persona normal BENITO TAIBO / Carte Carte broșată
common.buy 110.52 lei
Oeuvres Completes Du Chancelier Tome 7 D Aguesseau-H-F / Carte Carte broșată
common.buy 209.59 lei
Jumping Fitness 2: cardio & circuit Antonia Westphal / Videoclip DVD
common.buy 116.78 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Model Checking and Artificial Intelligence
Autor Doron A. Peled, Michael Wooldridge
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 189
EAN 9783642004308
ISBN 364200430X
Codul Libristo 01649377
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 309
Dimensiuni 155 x 235 x 15

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Molecular Wires Luisa de Cola / Carte Carte broșată
common.buy 1 139.23 lei
Artificial General Intelligence Kai-Uwe Kühnberger / Carte Carte broșată
common.buy 263.19 lei
Physics of Lakes Kolumban Hutter / Carte Copertă tare
common.buy 1 423.70 lei
Artificial Neural Networks in Pattern Recognition Friedhelm Schwenker / Carte Carte broșată
common.buy 286.02 lei
Data Science and Classification Vladimir Batagelj / Carte Carte broșată
common.buy 907.73 lei
Elissa's Pocket Posh Journal, Polka Dot Andrews McMeel Publishing / Carte Carte broșată
common.buy 42.95 lei
The Vampire Next Door: Paranormal Romance Cherie Marks / Carte Carte broșată
common.buy 72.05 lei
English and their History Robert Tombs / Carte Carte broșată
common.buy 124.81 lei
Evie's Magic Bracelet: The Enchanted Puppy Jessica Ennis-Hill / Carte Carte broșată
common.buy 48.90 lei
Essentials of Financial Technology – An Interdisciplinary Handbook of Tech–Driven Innovation in Business and Finance Gavin Brown / Carte Copertă tare
common.buy 1 095.74 lei
Strategy and Politics Colin S. Gray / Carte Copertă tare
common.buy 1 403.47 lei
50 Greatest Crime Stories Terry O'Brien / Carte Carte broșată
common.buy 193.42 lei
America P. a. McLean / Carte Carte broșată
common.buy 152.65 lei
Linger Lauren Jameson / Carte Carte broșată
common.buy 113.34 lei
Jerusalem Maiden Talia Carner / Carte Carte broșată
common.buy 87.90 lei
Reckless Perceptions Earthling / Carte Copertă tare
common.buy 108.54 lei
Save Generations Y and Z Michael Hopkins / Carte Carte broșată
common.buy 116.99 lei
Robert's Theories and Ideas Robert William Pearce / Carte Carte broșată
common.buy 59.53 lei
Teaching and Learning Vocabulary Elfrieda H. Hiebert / Carte Carte broșată
common.buy 405.63 lei
Requiem for Ahab G J Lau / Carte Carte broșată
common.buy 42.33 lei
Finger-Point from Plymouth Rock. Remarks at the Plymouth Festival ... in Commemoration of the Pilgrims. Lord Charles Sumner / Carte Carte broșată
common.buy 66.62 lei
Waking Dream Rhiannon Lassiter / Carte Carte broșată
common.buy 81.85 lei
Top 100 Motivational Stories: The Best Inspirational Short Stories And Anecdotes Of All Time Meir Liraz / Carte Carte broșată
common.buy 81.85 lei
Beauty and the Beast (2012) - Gesamtbox Kristin Kreuk / Videoclip DVD
common.buy 311.78 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo