کتاب‌های Egon Börger - BookPine

Structures of Computing: A Guide to Practice-Oriented Theory

Structures of Computing: A Guide to Practice-Oriented Theory

Egon Börger

Subject-Oriented Business Process Management

Subject-Oriented Business Process Management

Albert Fleischmann

Methods in Cell Biology, Volume 24: The Cytoskeleton, Part A: Cytoskeleton Proteins, Isolation and Characterization

Methods in Cell Biology, Volume 24: The Cytoskeleton, Part A: Cytoskeleton Proteins, Isolation and Characterization

Leslie Wilson

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

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

Egon Börger

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

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

Egon Börger

Architecture Design and Validation Methods

Architecture Design and Validation Methods

Egon Börger

Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis

Egon Börger

Catastrophe Modeling

Catastrophe Modeling

Egon Börger

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Egon Börger

Vogelvrij

Vogelvrij

Olivier Adam

Fuel Cell Electronics Packaging

Fuel Cell Electronics Packaging

Egon Börger

Villa Triste

Villa Triste

Patrick Modiano

Het treurige beroep van schrijver

Het treurige beroep van schrijver

Gérard de Nerval

Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Angelo Gargantini

The Classical Decision Problem

The Classical Decision Problem

Egon Börger

Architecture Design and Validation Methods

Architecture Design and Validation Methods

Egon Börger

Specification and Validation Methods

Specification and Validation Methods

Egon Börger

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

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

Egon Börger

مشاهده بیشتر