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 61 träffar

Titel Författare År Språk
41 Computation and Proof Theory Egon Börger 1984 Engelska
42 Computation Theory and Logic Egon Börger uuuu-uuuu Okänt
43-45 Computer Science Logic (flera utgåvor) Egon Börger uuuu-uuuu Okänt
46 CSL '87 Egon Börger uuuu-uuuu Okänt
47 CSL '88 Egon Börger uuuu-uuuu Okänt
48 CSL '89 Egon Börger uuuu-uuuu Okänt
49 Java and the Java Virtual Machine Egon Börger 2001 Okänt
50 Structures of Computing: A Guide to Practice-Oriented Theory Egon Börger 2024 Engelska
51-53 Subject-Oriented Business Process Management (flera utgåvor) Albert. Fleischmann 2012 Engelska
54 Subject-Oriented Business Process Management Albert Fleischmann 2012 Okänt
55-56 Formal methods for industrial applications - specifying and programming the steam boiler control (flera utgåvor) cop. 1996 Engelska
57 Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings David. Hutchison 2008 Engelska
58 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
59 Java and the Java virtual machine - definition, verification, validation Robert F. Stärk cop. 2001 Engelska
60 Trends in theoretical computer science cop. 1988 Engelska

Förra sidan 1 2 3 4 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.