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: Jörg. Flum
24 träffar
|
Titel |
Författare |
År |
Språk |
| 1-2 |
Computer science logic - 13th international workshop CSL'99 8th Annual Conference on the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
(flera utgåvor)
|
International Workshop on Computer Science Logic 1999 : Madrid)
|
cop. 1999 |
Engelska |
| 3 |
Einführung in die matematische Logik
|
Heinz-Dieter Ebbinghaus
|
1978 |
Tyska |
| 4 |
Einführung in die mathematische Logik
|
Heinz-Dieter Ebbinghaus
|
cop. 1992 |
Tyska |
| 5-6 |
Mathematical logic
(flera utgåvor)
|
Heinz-Dieter Ebbinghaus
|
cop. 1984 |
Engelska |
| 7-10 |
Finite model theory
(flera utgåvor)
|
Heinz-Dieter Ebbinghaus
|
c2006 |
Engelska |
| 11 |
Mathematical logic
|
Wolfgang Thomas Jörg Flum Heinz-Dieter Ebbinghaus
|
2021 |
Engelska |
| 12 |
"Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings"
|
Jörg Flum
|
1999 |
Okänt |
| 13 |
Logic and automata - history and perspectives
|
Jörg. Flum
|
2007 |
Engelska |
| 14 |
Logic and Automata: History and Perspectives
|
Jörg. Flum
|
uuuu-uuuu |
Okänt |
| 15 |
Logic and Automata: History and Perspectives
|
Jörg Flum
|
2007 |
Engelska |
| 16 |
Parameterized complexity theory
|
Jörg Flum
|
2006 |
Engelska |
| 17 |
Parameterized Complexity Theory electronic resource
|
Jörg. Flum
|
2006 |
Engelska |
| 18 |
Topological model theory
|
Jörg. Flum
|
1980 |
Engelska |
| 19-20 |
Topological model theory / Jörg Flum, Martin Ziegler
(flera utgåvor)
|
Jörg Flum
|
uuuu-uuuu |
Okänt |
1
2
Nästa sida
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.