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: Davis Martin 56 träffar

Titel Författare År Språk
1 The theory and practice of tenant participation in housing - their house, your home Martin Davis 2009 Engelska
2 Computability Martin Davis cop. 1974 Okänt
3 A first course in functional analysis Martin Davis cop. 1966 Engelska
4 Introduction to modern algebra and matrix theory Otto Schreier 1951 Engelska
5 Computability & unsolvability Martin Davis 1958 Engelska
6 Computability, complexity and languages - fundamentals of theoretical computer science Martin Davis cop. 1994 Engelska
7 Applied nonstandard analysis Martin Davis cop. 1977 Engelska
8 Computatibility & unsolvability Martin Davis cop. 1982 Engelska
9 Solvability, provability, definability - the collected works of Emil L. Post Emil Leon Post 1993 Engelska
10 Practical injection molding Bernie A. Olmsted cop. 2001 Engelska
11 The undecidable - basic papers on undecidable propositions, unsolvable problems and computable functions cop. 1965 Engelska
12 Engines of logic - mathematicians and the origin of the computer Martin Davis 2001 Engelska
13 Computability, complexity, and languages - fundamentals of theoretical computer science Martin D. Davis cop. 1983 Engelska
14 The universal computer - the road from Leibniz to Turing Martin Davis cop. 2000 Engelska
15 Ben Hogan - the man behind the mystique Martin. Davis c2002 Engelska
16 A cartographic analysis of Soviet military city plans / Martin Davis Author. Martin Davis uuuu-uuuu Okänt
17 Identifying, assessing, and treating dyslexia at school electronic resource Catherine. Christo c2009 Engelska
18 Identifying, Assessing, and Treating Dyslexia at School Catherine Christo 2009 Engelska
19 Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings 2015 Okänt
20 Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings 2015 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.