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: Erich. Grädel 15 träffar

Titel Författare År Språk
1-2 Automata logics, and infinite games - a guide to current research (flera utgåvor) cop. 2002 Engelska
3 Combinatorial Optimization for Infinite Games on Graphs Henrik Björklund 2005 Engelska
4 The classical decision problem Egon Börger cop. 1997 Tyska
5 The classical decision problem Egon Börger 2001
6 Computer Science Logic Erich Grädel 2009 Okänt
7 Finite model theory and its applications cop. 2007 Engelska
8 Logic and automata - history and perspectives Jörg. Flum 2007 Engelska
9 Logic and Automata: History and Perspectives Jörg Flum 2007 Engelska
10 Finite Model Theory and Its Applications electronic resource / by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein Erich. author. Grädel uuuu-uuuu Okänt
11 Computer Science Logic - 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings Erich. Grädel 2009 Engelska
12 Finite Model Theory and Its Applications electronic resource Erich. Grädel 2007 Engelska
13 Finite Model Theory and Its Applications Erich Grädel 2007 Okänt
14-15 Lectures in game theory for computer scientists (flera utgåvor) 2011 Engelska

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.