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: Dale Miller 29 träffar

Titel Författare År Språk
1 Programming with higher-order logic / Dale Miller, INRIA-Saclay, Île de France & LIX, École Polytechnique, Gopalan Nadathur, University of Minnesota. electronic resource Dale author. (Dale A.) Miller uuuu-uuuu Okänt
2 Programming with higher-order logic / Dale Miller, Gopalan Nadathur Dale (Dale A.) Miller uuuu-uuuu Okänt
3 Automated Reasoning Bernhard Gramlich 2012 Okänt
4 The Cambridge companion to utilitarianism 2014 Engelska
5 Certified Programs and Proofs Chris Hawblitzel 2012 Okänt
6 Cultural divides - understanding and overcoming group conflict 1999 Engelska
7 Moral Theory and Climate Change Dale E. Miller uuuu-uuuu Okänt
8 Cambridge Companion to Utilitarianism Ben Eggleston 2013 Engelska
9 Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings Bernhard. Gramlich 2012 Engelska
10 Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings Chris. Hawblitzel 2012 Engelska
11 John Stuart Mill and the art of life 2010 Engelska
12-13 The justice motive in everyday life - essays in honor of Melvin J. Lerner (flera utgåvor) 2002 Engelska
14 Effortless Mindfulness: Genuine Mental Health Through Awakened Presence Lisa Dale Miller uuuu-uuuu Okänt
15 Logic programming - proceedings of the 1993 international symposium c1993 Engelska
16 John Stuart Mill : moral, social, and political thought / Dale E. Miller Dale E. Miller uuuu-uuuu Okänt
17 J.S. Mill - moral, social and political thought Dale E. Miller 2010 Engelska
18 Moral Theory and Climate Change : Ethical Perspectives on a Warming Planet Dale E. Miller Engelska
19 The gospel of Mark as midrash on earlier Jewish and New Testament literature Dale Miller cop. 1990 Engelska
20 Programming with Higher-order Logic Dale Miller uuuu-uuuu Okänt

1 2 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.