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 | |
|---|---|---|---|---|
| 41 | Logic for Applications | Richard A. Shore | 1997 | Okänt |
| 42-43 | Logical Foundations of Computer Science (flera utgåvor) | Sergei Artemov | 2013 | Okänt |
| 44 | 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 |
Förra sidan 1 2 3
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.