SULJE VALIKKO
KIRJAUDU
| Model Checking and Artificial Intelligence - 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected 49,60 € Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Sivumäärä: 185 sivua Asu: Pehmeäkantinen kirja Painos: 2007 Julkaisuvuosi: 2007, 09.08.2007 (lisätietoa) Kieli: Englanti Tuotesarja: Lecture Notes in Artificial Intelligence The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence. Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Näytä kaikki tuotetiedotISBN: 9783540741275 Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |