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; Alessio Lomuscio
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

HEURISTIC SEARCH - THEORY AND APPLICATIONS

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

77,20 €

ALGORITHMIC INTELLIGENCE - TOWARDS AN ALGORITHMIC FOUNDATION FOR ARTIFICIAL INTELLIGENCE

Stefan Edelkamp
Springer International Publishing AG (2023)
Kovakantinen kirja

190,00 €

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

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

96,80 €

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)
Pehmeäkantinen kirja

73,70 €

ALGORITHMIC INTELLIGENCE

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

68,20 €

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

Dragan Bosnacki; Stefan Edelkamp
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
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)
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)
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; Mark H.M. Winands; Stefan Edelkamp; Stephan Schiffel; Michael Thielscher; Julian Togelius
Springer International Publishing AG (2017)
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)
Pehmeäkantinen kirja

198,50 €

Hae lisää...

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

Stefan Edelkamp, Alessio Lomuscio

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus