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: Erwin Engeler 17 träffar

Titel Författare År Språk
1 The combinatory programme 1995 Engelska
2 Algorithmic properties of structures - selected papers of Erwin Engeler Erwin Engeler cop. 1993 Engelska
3 The combinatory programme Erwin Engeler 1995 Engelska
4 Foundations of mathematics : questions of analysis, geometry & algorithmics / Erwin Engeler translated by Charles B. Thomas Erwin Engeler uuuu-uuuu Okänt
5 Introduction to the theory of computation Erwin Engeler cop. 1973 Engelska
6 ISSAC 96: International Symposium on Symbolic and Algebraic Computation Erwin Engeler uuuu-uuuu Okänt
7 ISSAC '96: Proceedings of the 1996 international symposium on Symbolic and algebraic computation Erwin Engeler uuuu-uuuu Okänt
8 Metamathematik der Elementarmathematik Erwin Engeler 1983 Tyska
9 Foundations of mathematics - questions of analysis, geometry & algorithmics Erwin Engeler cop. 1993 Engelska
10-12 The combinatory programme (flera utgåvor) Erwin Engeler uuuu-uuuu Okänt
13 Foundations of Mathematics Erwin Engeler 1993 Okänt
14 Logic of Programs Erwin Engeler uuuu-uuuu Okänt
15 Logic and algorithmic - an international symposium held in honour of Ernst Specker cop. 1982 Engelska
16 Logic of programs - proceedings : workshop, ETH Zürich, May-July 1979 1981 Engelska
17 Symposium on semantics of algorithmic languages Symposium on Semantics of Algorithmic Languages 1970) (Minneapolis : 1971 Engelska

1

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.