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: Egon Börger 56 träffar

Titel Författare År Språk
1 Computability, complexity, logic Egon Börger 1989 Engelska
2-3 Berechenbarkeit, Komplexität, Logik - eine Einführung in Algo- rithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität (flera utgåvor) Egon Börger 1986 Tyska
4 Logic and machines - decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen Symposium "Rekursive Kombinatorik" 1983) (Münster : 1984 Engelska
5 Computation theory and logic 1987 Engelska
6 CSL '87 Workshop on Computer Science Logic 1987) Karlsruhe : cop. 1988 Engelska
7 CSL '88 Workshop on Computer Science Logic 1988) Duisburg : cop. 1989 Engelska
8 CSL '89 - proceedings Workshop on Computer Science Logic 1989) Kaiserslautern : cop. 1990 Engelska
9-11 Computer science logic - proceedings (flera utgåvor) cop. 1993 Engelska
12 The classical decision problem Egon Börger cop. 1997 Tyska
13 Computer science logic - selected papers Workshop on Computer Science Logic 1993) Swansea : cop. 1994 Engelska
14 Formal methods for industrial applications - specifying and programming the steam boiler control cop. 1996 Engelska
15 Trends in theoretical computer science cop. 1988 Engelska
16 Zur Philosophie der mathematischen Erkenntnis 1981 Tyska
17 Java and the Java virtual machine - definition, verification, validation Robert F. Stärk cop. 2001 Engelska
18-19 Abstract state machines 2003 - advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings (flera utgåvor) Italy) ASM 2003 2003 : Taormina cop. 2003 Engelska
20 Computer Science Logic Egon Börger uuuu-uuuu Okänt

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.