Hoppa till sidans huvudinnehåll

Egon Börger – författare

Visar alla böcker från författaren .
25 produkter
Egon Börger, Vincenzo Gervasi - Structures of Computing, Häftad

Structures of Computing

A Guide to Practice-Oriented Theory

AvEgon Börger,Vincenzo Gervasi

Häftad, Engelska, 2024

809 kr

Skickas inom 10-15 vardagar

Egon Börger - Berechenbarkeit, Komplexität, Logik, Häftad

Berechenbarkeit, Komplexität, Logik

Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

AvEgon Börger

Häftad, Tyska, 1986

729 kr

Skickas inom 10-15 vardagar

Egon Börger - Berechenbarkeit Komplexität Logik, Häftad

Berechenbarkeit Komplexität Logik

Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

AvEgon Börger

Häftad, Tyska, 1992

669 kr

Skickas inom 10-15 vardagar

Egon Börger, Angelo Gargantini, Elvinia Riccobene - Abstract State Machines 2003: Advances in Theory and Practice, Häftad

Abstract State Machines 2003: Advances in Theory and Practice

10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

AvEgon Börger,Angelo Gargantinim. fl.

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar

Egon Börger, Robert Stärk - Abstract State Machines, Inbunden

Abstract State Machines

A Method for High-Level System Design and Analysis

AvEgon Börger,Robert Stärk

Inbunden, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar

Egon Börger - Computation Theory and Logic, Häftad

Computation Theory and Logic

AvEgon Börger

Häftad, Engelska, 1987

729 kr

Skickas inom 10-15 vardagar

Robert F. Stärk, Joachim Schmid, Egon Börger - Java and the Java Virtual Machine, Inbunden

Java and the Java Virtual Machine

Definition, Verification, Validation

AvRobert F. Stärk,Joachim Schmidm. fl.

Inbunden, Engelska, 2001

729 kr

Skickas inom 10-15 vardagar

Egon Börger, Erich Grädel, Yuri Gurevich - Classical Decision Problem, Häftad

Classical Decision Problem

AvEgon Börger,Erich Grädelm. fl.

Häftad, Engelska, 2001

2 539 kr

Skickas inom 10-15 vardagar

Egon Börger, Hans Kleine Büning, Michael M. Richter - CSL '87, Häftad

CSL '87

1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1988

729 kr

Skickas inom 10-15 vardagar

Egon Börger, Hans Kleine Büning, Michael M. Richter - CSL'88, Häftad

CSL'88

2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1989

709 kr

Skickas inom 10-15 vardagar

Egon Börger, Hans Kleine Büning, Michael M. Richter - CSL '89, Häftad

CSL '89

3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1990

729 kr

Skickas inom 10-15 vardagar

Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld - Computer Science Logic, Häftad

Computer Science Logic

4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter - Computer Science Logic, Häftad

Computer Science Logic

5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings

AvEgon Börger,Gerhard Jägerm. fl.

Häftad, Engelska, 1992

709 kr

Skickas inom 10-15 vardagar

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter - Computer Science Logic, Häftad

Computer Science Logic

6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

AvEgon Börger,Gerhard Jägerm. fl.

Häftad, Engelska, 1993

709 kr

Skickas inom 10-15 vardagar

Egon Börger, Yuri Gurevich, Karl Meinke - Computer Science Logic, Häftad

Computer Science Logic

7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

AvEgon Börger,Yuri Gurevichm. fl.

Häftad, Engelska, 1994

729 kr

Skickas inom 10-15 vardagar

Jean-Raymond Abrial, Egon Börger, Hans Langmaack - Formal Methods for Industrial Applications, Häftad

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

AvJean-Raymond Abrial,Egon Börgerm. fl.

Häftad, Engelska, 1996

1 409 kr

Skickas inom 10-15 vardagar

Egon Börger - Architecture Design and Validation Methods, Inbunden

Architecture Design and Validation Methods

AvEgon Börger

Inbunden, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar

Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca - Abstract State Machines, B and Z, Häftad

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

AvEgon Börger,Michael Butlerm. fl.

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Egon Börger, Antonio Cisternino - Advances in Software Engineering, Häftad

Advances in Software Engineering

Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

AvEgon Börger,Antonio Cisternino

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger - Subject-Oriented Business Process Management, Inbunden

Subject-Oriented Business Process Management

AvAlbert Fleischmann,Werner Schmidtm. fl.

Inbunden, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger - Subject-Oriented Business Process Management, Häftad

Subject-Oriented Business Process Management

AvAlbert Fleischmann,Werner Schmidtm. fl.

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Egon Börger, Robert Stärk - Abstract State Machines, Häftad

Abstract State Machines

A Method for High-Level System Design and Analysis

AvEgon Börger,Robert Stärk

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Egon Börger - Architecture Design and Validation Methods, Häftad

Architecture Design and Validation Methods

AvEgon Börger

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Robert F. Stärk, Joachim Schmid, Egon Börger - Java and the Java Virtual Machine, Häftad

Java and the Java Virtual Machine

Definition, Verification, Validation

AvRobert F. Stärk,Joachim Schmidm. fl.

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Egon Börger, Alexander Raschke - Modeling Companion for Software Practitioners, Häftad

Modeling Companion for Software Practitioners

AvEgon Börger,Alexander Raschke

Häftad, Engelska, 2018

949 kr

Skickas inom 10-15 vardagar