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: John Harrison 263 träffar

Titel Författare År Språk
1 The reactionaries John R. (John Raymond) Harrison 1966 Engelska
2 Environmental systems - an introductory text I. D. White 1998 Engelska
3-4 Light (flera utgåvor) M. John (Michael John) Harrison 2019 Engelska
5 The first three sections of Newton's Principia, with an appendix; and the ninth and eleventh sections Isaac Newton, Sir 1871 Engelska
6 Things that never happen M. John (Michael John) Harrison 2004 Engelska
7 The potential combat officer - a medicopsychological study of officer candidates for the United States Marine Corps John H. (John Harrison) Rohrer 1951 Engelska
8 The sunken land begins to rise again M. John (Michael John) Harrison 2020 Engelska
9 Viriconium / M. John Harrison M. John 1945- (Michael John) Harrison uuuu-uuuu Okänt
10-11 New concepts in flowering-plant taxonomy (flera utgåvor) John Heslop-Harrison 1960 Engelska
12 Theorem proving in higher order logics International Conference on Theorem Proving in Higher Order Logics 1996) Åbo : cop. 1996 Engelska
13 Theorem proving in higher order logics - 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings International Conference on Theorem Proving in Higher Order Logics 2000) Portland : cop. 2000 Engelska
14 Theorem proving with the real numbers J. (John) Harrison c1998 Engelska
15 Cellular recognition systems in plants John Heslop-Harrison 1978 Engelska
16 Optimizing proof search in model elimination J. (John) Harrison 1996 Engelska
17 Supplementary proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics - TPHOLs'96 International Conference on Theorem Proving in Higher Order Logics 1996 : Turku) 1996 Engelska
18 Formalized mathematics J. (John) Harrison 1996 Engelska
19 Cellular interactions 1984 Engelska
20 Handbook of practical logic and automated reasoning J. (John) Harrison 2009 Engelska

1 2 3 4 5 6 7 8 9 10 11 12 13 14 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.