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. Barry. Cooper 45 träffar

Titel Författare År Språk
1 Sets and Proofs: Invited Papers From Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 (London Mathematical Society Lecture Note Series) S. Barry Cooper 1999 Okänt
2 Alan Turing : his work and impact S. Barry Cooper 2013 Engelska
3 Computability, enumerability, unsolvability - directions in recursion theory 1996 Engelska
4 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
5 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
6 Computability and models - perspectives east and west c2003 Engelska
7 Computability theory S. B. (S. Barry) Cooper cop 2004 Engelska
8 Alan Turing - his work and impact 2013 Engelska
9 Computability in context - computation and logic in the real world 2011 Engelska
10 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
11 Computability and models : perspectives east and west / S. Barry Cooper, Sergey S. Goncharov S. B. (S. Barry) Cooper uuuu-uuuu Okänt
12 New Computational Paradigms - First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings S. Barry. Cooper 2005 Engelska
13 New computational paradigms - changing conceptions of what is computable 2008 Engelska
14 Theory and Applications of Models of Computation Jianer Chen 2009 Okänt
15 New Computational Paradigms Barry S. Cooper Engelska
16 Theory and Applications of Models of Computation Jin-Yi. Cai Engelska
17 Computation and Logic in the Real World S. Barry. Cooper 2007 Engelska
18 New Computational Paradigms electronic resource - Changing Conceptions of What is Computable S. Barry. Cooper 2008 Engelska
19 Theory and Applications of Models of Computation electronic resource - 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings Jin-Yi. Cai 2007 Engelska
20 Theory and Applications of Models of Computation - 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings Jianer. Chen 2009 Engelska

1 2 3 Nästa sida

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.