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
21 Logical foundations of computer science International Symposium on Logical Foundations of Computer Science 1997 : Jaroslavl') cop. 1997 Engelska
22-25 Logical Foundations of Computer Science (flera utgåvor) 2020 Engelska
26 Logical Foundations of Computer Science LFCS ʾ97 1997 Engelska
27 Logical Foundations of Computer Science 2016 Okänt
28 Logical methods - in honor of Anil Nerode's sixtieth birthday 1993 Engelska
29-30 Principles of logic and logic programming (flera utgåvor) George Metakides 1996 Engelska
31 Principles of Logic and Logic Programming (Studies in Computer Science and Artificial Intelligence) George Metakides 1996 Okänt
32 Algebraic curves and Riemann surfaces for undergraduates - the theory of the donut Anil Nerode 2022 Engelska
33-34 Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut (flera utgåvor) Anil. Nerode uuuu-uuuu Okänt
35-36 Logic for applications (flera utgåvor) Anil Nerode cop. 1993 Engelska
37-38 Logic for applications / Anil Nerode, Richard A. Shore (flera utgåvor) Anil Nerode uuuu-uuuu Okänt
39 "Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings" Anil Nerode 1994 Okänt
40 Recursion theory 1985 Engelska

Förra sidan 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.