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: S. B Cooper 13 träffar

Titel Författare År Språk
1 Alan Turing - his work and impact 2013 Engelska
2 Computability and models - perspectives east and west c2003 Engelska
3 Computability, enumerability, unsolvability - directions in recursion theory 1996 Engelska
4 Computability in context - computation and logic in the real world 2011 Engelska
5 Computability theory S. B. (S. Barry) Cooper cop 2004 Engelska
6 Alan Turing electronic resource : his work and impact / edited by S. Barry Cooper and J. van Leeuwen S. B. (S. Barry) Cooper uuuu-uuuu Okänt
7 Computability and models : perspectives east and west / S. Barry Cooper, Sergey S. Goncharov S. B. (S. Barry) Cooper uuuu-uuuu Okänt
8 Models and computability - invited papers from Logic Colloquium '97 European Meeting of the Association for Symbolic Logic, Leeds, July 1997 Logic Colloquium '97 1997) (Leeds : 1999 Engelska
9 Sets and proofs - invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 Logic Colloquium '97 1997) (Leeds : 1999 Engelska
10 Computability, Enumerability, Unsolvability - Directions in Recursion Theory 1996 Okänt
11 Computability, Enumerability, Unsolvability: Directions in Recursion Theory 1996 Okänt
12 selected works of A.M. Turing : his work and impact S. B Cooper 2012 Okänt
13 New Computational Paradigms: Changing Conceptions of What Is Computable 2008 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.