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	The classical decision problem	Egon Börger	cop. 1997	Tyska
2-3	Automata logics, and infinite games - a guide to current research (flera utgåvor)		cop. 2002	Engelska
4	Finite model theory and its applications		cop. 2007	Engelska
5	Finite Model Theory and Its Applications electronic resource	Erich. Grädel	2007	Engelska
6	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
7-8	Lectures in game theory for computer scientists (flera utgåvor)		2011	Engelska
9	Logic and automata - history and perspectives	Jörg. Flum	2007	Engelska
10	Computer Science Logic	Erich Grädel	2009	Okänt
11	The classical decision problem	Egon Börger	2001
12	Combinatorial Optimization for Infinite Games on Graphs	Henrik Björklund	2005	Engelska
13	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
14	Finite Model Theory and Its Applications	Erich Grädel	2007	Okänt
15	Logic and Automata: History and Perspectives	Jörg Flum	2007	Engelska

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.