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: Bernhard. Reus 4 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Limits of Computation electronic resource : From a Programming Perspective / by Bernhard Reus | Bernhard. author. Reus | uuuu-uuuu | Okänt |
| 2 | Limits of Computation - From a Programming Perspective | Bernhard. Reus | 2016 | Engelska |
| 3-4 | Types for proofs and programs - international workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers (flera utgåvor) | International Workshop on Types for Proofs and Programs 1998) (Irsee : | cop. 1999 | Engelska |
1
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.