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: Anil Nerode 44 träffar

Titel Författare År Språk
1 Combinatorial Functors Anil Nerode 1974 Okänt
2 Logic for Applications Anil Nerode 1993 Okänt
3 Logical Foundations of Computer Science Anil Nerode uuuu-uuuu Okänt
4 Logical Foundations of Computer Science — Tver '92 Anil Nerode uuuu-uuuu Okänt
5 Recursion Theory Anil Nerode uuuu-uuuu Okänt
6-7 Logical Foundations of Computer Science - International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (flera utgåvor) Sergei. Artemov 2013 Engelska
8 Logical Foundations of Computer Science electronic resource - International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings Sergei N. Artemov 2007 Engelska
9 Automata Theory and its Applications Bakhadyr Khoussainov 2001 Okänt
10 Combinatorial functors J. N. Crossley 1974 Engelska
11-12 Hybrid Systems (flera utgåvor) 1993 Engelska
13 Hybrid Systems II 1995 Engelska
14 Automata theory and its applications Bakhadyr Khoussainov cop. 2001 Engelska
15-16 Logic programming and non-monotonic reasoning - proceedings of the first international workshop (flera utgåvor) cop. 1993 Engelska
17 Logic Programming and Nonmonotonic Reasoning LPNMR '95 1995 Engelska
18 Logic Programming And Nonmonotonic Reasoning LPNMR '97 1997 Engelska
19 Logical foundations of computer science - Tver '92 : proceedings : second international symposium, Tver, Russia, July 20-24, 1992 cop. 1992 Engelska
20 Logical foundations of computer science International Symposium on Logical Foundations of Computer Science 1994) St. Petersburg : cop. 1994 Engelska

1 2 3 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.