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 |
1-2 |
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 |
3 |
Architecture design and validation methods
|
|
2000 |
Engelska |
4 |
Architecture Design and Validation Methods
|
|
2000 |
Okänt |
5 |
Abstract state machines : a method for high-level system design and analysis / Egon Börger, Robert Stärk
|
E. 1946- author. (Egon) Börger
|
uuuu-uuuu |
Okänt |
6 |
Computability, complexity, logic electronic resource / E. Börger
|
E. 1946- (Egon) Börger
|
uuuu-uuuu |
Okänt |
7 |
Berechenbarkeit, Komplexität, Logik : Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität / von Egon Börger
|
Egon. author. Börger
|
uuuu-uuuu |
Okänt |
8 |
Berechenbarkeit, Komplexität, Logik electronic resource : Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität / von Egon Börger
|
Egon. author. Börger
|
uuuu-uuuu |
Okänt |
9 |
Abstract state machines - a method for high-level system design and analysis
|
Egon Börger
|
2003 |
Engelska |
10 |
Advances in Software Engineering - Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
|
Egon. Börger
|
2008 |
Engelska |
11-12 |
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 |
13-14 |
Computability, complexity, logic
(flera utgåvor)
|
Egon Börger
|
1989 |
Engelska |
15 |
The classical decision problem
|
Egon Börger
|
cop. 1997 |
Tyska |
16 |
The classical decision problem
|
Egon Börger
|
2001 |
|
17 |
Computer Science Logic: Workshop Proceedings. 5th Workshop
|
Egon Börger
|
1992 |
Okänt |
18 |
Modeling Companion for Software Practitioners
|
Egon. Börger
|
2018 |
Engelska |
19 |
Modeling Companion for Software Practitioners
|
Egon Börger
|
2018 |
Okänt |
20 |
Structures of Computing : A Guide to Practice-Oriented Theory
|
Egon. Börger
|
uuuu-uuuu |
Okänt |
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.