Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Stefan. Edelkamp 14 träffar

Titel Författare År Språk
1-2 Model Checking and Artificial Intelligence (flera utgåvor) Stefan. Edelkamp 2007 Engelska
3 Model Checking Software electronic resource - 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings Dragan. Bošnački 2007 Engelska
4-5 Heuristic search - theory and applications (flera utgåvor) Stefan Edelkamp cop. 2012 Engelska
6 Model Checking Software Dragan Bošnacki 2007 Okänt
7 KI 2011: Advances in Artificial Intelligence - 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings Joscha. Bach 2011 Engelska
8 Model Checking and Artificial Intelligence Stefan Edelkamp 2007 Okänt
9 Heuristic Search Stefan.-Schro?dl Edelkamp uuuu-uuuu Okänt
10-11 Computer Games - 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers (flera utgåvor) 2017 Engelska
12 KI 2021: Advances in Artificial Intelligence: 44th German Conference on AI, Virtual Event, September 27 – October 1, 2021, Proceedings Stefan Edelkamp uuuu-uuuu Okänt
13 Algorithmic Intelligence: Towards an Algorithmic Foundation for Artificial Intelligence Stefan Edelkamp 2023 Okänt
14 Algorithmic Intelligence electronic resource : Towards an Algorithmic Foundation for Artificial Intelligence / by Stefan Edelkamp Stefan. Edelkamp uuuu-uuuu Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.