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: Dag Normann 11 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Models of Computation in Context | Benedikt Löwe | 2011 | Okänt |
| 2 | Logic Colloquium 2005 | 2007 | Engelska | |
| 3-4 | Higher-order computability (flera utgåvor) | John Longley | 2015 | Engelska |
| 5 | Higher-Order Computability | John Longley | 2015 | Okänt |
| 6 | Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings | Benedikt. Löwe | 2011 | Engelska |
| 7 | Characterization problems in higher type recursion theory | Dag Normann | 1976 | Engelska |
| 8 | Datasimulering av endimensjonell opptining, porevannstrømning og kompresjon i en finkornet jord | Dag Normann | 1985 | Norska |
| 9 | Hyperfinite type structures | Dag Normann | 1997 | Engelska |
| 10-11 | Recursion on the countable functionals / D. Normann (flera utgåvor) | Dag Normann | uuuu-uuuu | Okänt |
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.