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.