Stefan+Edelkamp | Akateeminen Kirjakauppa

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

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

51,40 €

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

51,40 €

ALGORITHMIC INTELLIGENCE

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

68,10 €

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

51,40 €

HEURISTIC SEARCH - THEORY AND APPLICATIONS

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

79,90 €

ALGORITHMIC INTELLIGENCE : TOWARDS AN ALGORITHMIC FOUNDATION FOR ARTIFICIAL INTELLIGENCE

Stefan Edelkamp
Springer (2023)
Kovakantinen kirja

196,80 €

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

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

96,70 €

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

76,40 €

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

51,40 €

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

Tristan Cazenave; Mark H.M. Winands; Stefan Edelkamp; Stephan Schiffel; Michael Thielscher; Julian Togelius
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

51,40 €

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

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

198,30 €

Hae lisää...

Model Checking Software - 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Dragan Bosnacki, Stefan Edelkamp

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 285 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007 ed.
Julkaisuvuosi: 2007, 21.06.2007 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus