Stefan Edelkamp (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?

MODEL CHECKING AND ARTIFICIAL INTELLIGENCE : 4TH WORKSHOP, MOCHART IV, RIVA DEL GARDA, ITALY, AUGUST 29, 2006, REVISED SELECTED

Stefan Edelkamp (ed.); Alessio Lomuscio (ed.)
Springer (2007)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

MODEL CHECKING SOFTWARE : 14TH INTERNATIONAL SPIN WORKSHOP, BERLIN, GERMANY, JULY 1-3, 2007, PROCEEDINGS

Dragan Bosnacki (ed.); Stefan Edelkamp (ed.)
Springer (2007)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

COMPUTER GAMES : FOURTH WORKSHOP ON COMPUTER GAMES, CGW 2015, AND THE FOURTH WORKSHOP ON GENERAL INTELLIGENCE IN GAME-PLAYING AG

Tristan Cazenave (ed.); Mark H.M. Winands (ed.); Stefan Edelkamp (ed.); Stephan Schiffel (ed.); Michael Thielscher (ed.)
Springer (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

COMPUTER GAMES : 5TH WORKSHOP ON COMPUTER GAMES, CGW 2016, AND 5TH WORKSHOP ON GENERAL INTELLIGENCE IN GAME-PLAYING AGENTS, GIGA

Tristan Cazenave (ed.); Mark H.M. Winands (ed.); Stefan Edelkamp (ed.); Stephan Schiffel (ed.); Michael Thielscher (ed.)
Springer (2017)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected

Stefan Edelkamp (ed.), Alessio Lomuscio (ed.)

49,60 €

Springer
Sivumäärä: 185 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007
Julkaisuvuosi: 2007, 09.08.2007 (lisätietoa)
Kieli: Englanti

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 16-19 arkipäivässä

Myymäläsaatavuus