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 40 träffar

Titel Författare År Språk
21 Logical Foundations of Computer Science - International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings Sergei. Artemov 2009 Engelska
22 Principles of Logic and Logic Programming (Studies in Computer Science and Artificial Intelligence) George Metakides 1996 Okänt
23-25 Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings (flera utgåvor) 2020 Engelska
26 Hybrid Systems 1993 Engelska
27 Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : Proceedings (Lecture notes in computer science, 0302-9743 4514) Sergei Artemov 2007 Okänt
28 Logical Foundations of Computer Science Anil Nerode uuuu-uuuu Okänt
29 Logic programming and non-monotonic reasoning - proceedings of the second international workshop cop. 1993 Engelska
30 Logical Foundations of Computer Science — Tver '92 Anil Nerode uuuu-uuuu Okänt
31-32 Logical Foundations of Computer Science (flera utgåvor) Sergei Artemov 2013 Okänt
33 Combinatorial Functors Anil Nerode 1974 Okänt
34 Logic for Applications Richard A. Shore 1997 Okänt
35-36 Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut (flera utgåvor) Anil. Nerode uuuu-uuuu Okänt
37 Recursion Theory Anil Nerode uuuu-uuuu Okänt
38 Logic for Applications Anil Nerode 1993 Okänt
39-40 Logic for applications / Anil Nerode, Richard A. Shore (flera utgåvor) Anil Nerode uuuu-uuuu Okänt

Förra sidan 1 2

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.