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: Barry S. Cooper 48 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 Alan Turing - his work and impact 2013 Engelska
4 Computability and models - perspectives east and west c2003 Engelska
5 Computability, enumerability, unsolvability - directions in recursion theory 1996 Engelska
6 Computability in context - computation and logic in the real world 2011 Engelska
7 Computability theory S. B. (S. Barry) Cooper cop 2004 Engelska
8 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
9 Computability and models : perspectives east and west / S. Barry Cooper, Sergey S. Goncharov S. B. (S. Barry) Cooper uuuu-uuuu Okänt
10 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
11 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
12 Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings Manindra. Agrawal 2012 Engelska
13 Applied Issues in Investigative Interviewing, Eyewitness Memory, and Credibility Assessment 2013 Okänt
14 How the World Computes Barry S. Cooper 2012 Okänt
15-16 Theory and Applications of Models of Computation (flera utgåvor) Jin-Yi. Cai 2006 Engelska
17 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
18 Theory and Applications of Models of Computation - 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings Jianer. Chen 2009 Engelska
19 Applied Issues in Investigative Interviewing, Eyewitness Memory, and Credibility Assessment Barry S. Cooper 2013 Engelska
20 New Computational Paradigms Barry S. Cooper 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.