Verfasser Suchresultate

zum Haupt-Inhalt

zur Seitenleiste (falls vorhanden)

zum Footer mit externen Links

Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen

Normdaten (Quelle GND / Entity Facts )

Egon Börger

geboren 1946
Mathematiker, Informatiker

Biografische Angaben
Münster (Westf.), Univ., Diss., 1971

Affiliation
Technische Universität Dortmund; Technische Universität Dortmund. Fakultät Statistik

Namensvarianten
E. Börger

Weiterführende Links

Gemeinsame Normdatei (GND) im Katalog der Deutschen Nationalbibliothek

Open Researcher and Contributor ID (ORCID)

Wikipedia (Deutsch)

Wikipedia (English)

Deutsche Digitale Bibliothek

NACO Authority File

Virtual International Authority File (VIAF)

International Standard Name Identifier (ISNI)

1
2
weiter
[2]

1

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

Börger, Egon (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003

E-Book

2

Architecture design and validation methods

Börger, Egon (Herausgeber)

Berlin : Springer, 2000

Buch

3

Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Börger, Egon (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1994

E-Book

4

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

Börger, Egon

3., verb. und erw. Aufl.

Braunschweig [u.a.] : Vieweg, 1992

Buch

5

Computability, complexity, logic

Börger, Egon

2. ed.

Amsterdam [u.a.] : North-Holland, 1989

Buch

6

Computability, complexity, logic

Börger, Egon (Verfasser)

Amsterdam : North-Holland, 1989

E-Book

7

Trends in theoretical computer science

Börger, Egon (Hrsg.)

1. printing

Rockville, Md. : Computer Science Press, 1988

Buch

8

Computation Theory and Logic

Börger, Egon (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1987

E-Book

9

Berechenbarkeit, Komplexität, Logik : eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Börger, Egon

2., berichtigte Aufl.

Braunschweig [u.a.] : Vieweg, 1986

Buch

10

Abstract state machines : a method for high level system design and analysis ; with 19 tables

Börger, Egon (Verfasser)

Berlin : Springer, 2003

Buch

11

Berechenbarkeit, Komplexität, Logik : eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Börger, Egon

Braunschweig [u.a.] : Vieweg, 1985

Buch

12

Java and the Java virtual machine : definition, verification, validation ; with 18 tables

Stärk, Robert F.

Berlin [u.a.] : Springer, 2001

Buch

13

Subject-Oriented Business Process Management

Fleischmann, Albert (Verfasser)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

14

Subject-Oriented Business Process Management

Fleischmann, Albert (Verfasser)

Cham : Springer Nature, 2012

E-Book

15

Subject-Oriented Business Process Management

Schmidt, Werner (Verfasser)

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2012

E-Book

16

Subject-Oriented Business Process Management

Fleischmann, Albert (Verfasser)

Cham : Springer Nature, 2012

E-Book

17

Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

Abrial, Jean-Raymond (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1996

E-Book

18

Zur Philosophie der mathematischen Erkenntnis

Börger, Egon (Hrsg.)

Würzburg : Königshausen + Neumann, 1981

Buch

19

The classical decision problem

Börger, Egon

2. print. of the 1. ed.

Berlin [u.a.] : Springer, 2001

Buch

20

Computer science logic : 5th workshop, CSL '91, Berne, Switzerland, October 7 - 11, 1991 ; proceedings

Börger, Egon (Herausgeber)

Berlin : Springer, 1992

Buch

1
2
weiter
[2]