 |
|
|
|
| 1. |
|
Structures of Computing
Egon Brger, Vincenzo Gervasi
Häftad. Springer International Publishing AG, Schweiz, 2024.
|
 |
| 2. |
|
Berechenbarkeit, Komplexitt, Logik
Egon Brger
Häftad. Vieweg+Teubner Verlag, Tyskland, 1986.
|
|
| 3. |
|
Berechenbarkeit Komplexitt Logik
Egon Brger
Häftad. Vieweg+Teubner Verlag, Tyskland, 1992.
|
|
| 4. |
|
Abstract State Machines 2003: Advances in Theory and Practice
Egon Brger, Angelo Gargantini, Elvinia Riccobene
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2003.
|
|
| 5. |
|
Abstract State Machines
Egon Brger, Robert Strk
Inbunden. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2003.
|
|
| 6. |
|
Computation Theory and Logic
Egon Brger
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1987.
|
|
| 7. |
|
Java and the Java Virtual Machine
Robert F Strk, Joachim Schmid, Egon Brger
Inbunden. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2001.
|
|
| 8. |
|
The Classical Decision Problem
Egon Brger, Erich Grdel, Yuri Gurevich
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2001.
|
|
| 9. |
|
CSL '87
Egon Brger, Hans Kleine Bning, Michael M Richter
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1988.
|
|
| 10. |
|
CSL '89
Egon Brger, Hans Kleine Bning, Michael M Richter
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1990.
|
|
| 11. |
|
Computer Science Logic
Egon Brger, Hans Kleine Bning, Michael M Richter, Wolfgang Schnfeld
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1991.
|
|
| 12. |
|
Computer Science Logic
Egon Brger, Gerhard Jger, Hans Kleine Bning, Simone Martini, Michael M Richter
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1993.
|
|
| 13. |
|
Computer Science Logic
Egon Brger, Yuri Gurevich, Karl Meinke
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1994.
|
|
| 14. |
|
Formal Methods for Industrial Applications
Jean-Raymond Abrial, Egon Brger, Hans Langmaack
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1996.
|
|
| 15. |
|
Architecture Design and Validation Methods
Egon Brger
Inbunden. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2000.
|
|
| 16. |
|
Abstract State Machines, B and Z
Egon Brger, Michael Butler, Jonathan P Bowen, Paul Boca
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
| 17. |
|
Advances in Software Engineering
Egon Brger, Antonio Cisternino
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2008.
|
|
| 18. |
|
Subject-Oriented Business Process Management
Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Brger
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2014.
|
|
| 19. |
|
Abstract State Machines
Egon Brger, Robert Strk
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2013.
|
|
| 20. |
|
Architecture Design and Validation Methods
Egon Brger
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2012.
|
|
|
|
|
