Edelkamp Stefan Edelkamp | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 11 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 €

HEURISTIC SEARCH - THEORY AND APPLICATIONS

Stefan Edelkamp; Stefan Schroedl
Elsevier Science & Technology (2011)
Saatavuus: Tilaustuote
Kovakantinen kirja

77,20 €

ALGORITHMIC INTELLIGENCE : TOWARDS AN ALGORITHMIC FOUNDATION FOR ARTIFICIAL INTELLIGENCE

Stefan Edelkamp
Springer (2023)
Saatavuus: Tilaustuote
Kovakantinen kirja

190,00 €

PROCEEDINGS OF THE SEVENTH INTERNATIONAL SYMPOSIUM ON COMBINATORIAL SEARCH (SOCS-2014)

Stefan Edelkamp; Roman Bartak
AAAI (2014)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja

95,50 €

KI 2021: ADVANCES IN ARTIFICIAL INTELLIGENCE - 44TH GERMAN CONFERENCE ON AI, VIRTUAL EVENT, SEPTEMBER 27 – OCTOBER 1, 2021, PROC

Stefan Edelkamp; Ralf Möller; Elmar Rueckert
Springer Nature Switzerland AG (2021)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

73,70 €

ALGORITHMIC INTELLIGENCE

Edelkamp Stefan Edelkamp
Springer Nature B.V. (2023)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

67,10 €

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 €

KI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE - 34TH ANNUAL GERMAN CONFERENCE ON AI, BERLIN, GERMANY, OCTOBER 4-7,2011, PROCEEDIN

Joscha Bach; Stefan Edelkamp
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
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 €

PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING

Amanda Coles; Stefan Edelkamp; Daniele Magazzeni
AAAI (2016)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja

195,50 €

Hae lisää...

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