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
57 träffar
|
Titel |
Författare |
År |
Språk |
| 21 |
CSL '89
|
Workshop on Computer Science Logic
|
1990 |
Engelska |
| 22-25 |
Computer Science Logic
(flera utgåvor)
|
Workshop on Computer Science Logic
|
1994 |
Engelska |
| 26 |
Formal Methods for Industrial Applications
|
|
1996 |
Engelska |
| 27 |
Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
| 28 |
Advances in Software Engineering - Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
|
Egon. Börger
|
2008 |
Engelska |
| 29 |
Abstract state machines - a method for high-level system design and analysis
|
Egon Börger
|
2003 |
Engelska |
| 30 |
Computation and Proof Theory
|
Egon Börger
|
1984 |
Engelska |
| 31-32 |
Computer Science Logic
(flera utgåvor)
|
Egon Börger
|
uuuu-uuuu |
Okänt |
| 33 |
CSL '88
|
Egon Börger
|
uuuu-uuuu |
Okänt |
| 34 |
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3-7, 2003 Proceedings
|
Egon Börger
|
uuuu-uuuu |
Okänt |
| 35 |
Subject-Oriented Business Process Management
|
Albert. Fleischmann
|
2012 |
Engelska |
| 36 |
CSL '87
|
Egon Börger
|
uuuu-uuuu |
Okänt |
| 37 |
CSL '89
|
Egon Börger
|
uuuu-uuuu |
Okänt |
| 38 |
Modeling Companion for Software Practitioners
|
Egon. Börger
|
2018 |
Engelska |
| 39 |
Computation Theory and Logic
|
Egon Börger
|
uuuu-uuuu |
Okänt |
| 40 |
Architecture design and validation methods
|
|
2000 |
Engelska |
Förra sidan
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.