Zum Inhalt springen

Börger, Egon [VerfasserIn]

Computability, complexity, logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Studies in logic and the foundations of mathematics ; 12800
Börger, Egon [HerausgeberIn] ; ASM 10 2003 Taormina

Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2589
Börger, Egon [HerausgeberIn]

Architecture design and validation methods

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2000
Börger, Egon [HerausgeberIn]

Specification and validation methods

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford [u.a.]: Oxford Univ. Press, 1995

Erschienen in: International schools for computer scientists- Oxford science publications
Börger, Egon [HerausgeberIn] ; CSL 4 1990 Heidelberg

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1 - 5, 1990 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1991

Erschienen in: Lecture notes in computer science ; 533
Börger, Egon [HerausgeberIn] ; CSL 5 1991 Bern

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1992

Erschienen in: Lecture notes in computer science ; 626
Börger, Egon [HerausgeberIn] ; CSL 6 1992 San Miniato

Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992; selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1993

Erschienen in: Lecture notes in computer science ; 702
Börger, Egon [HerausgeberIn] ; CSL 7 1993 Swansea

Computer science logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993; selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1994

Erschienen in: Lecture notes in computer science ; 832
Börger, Egon [HerausgeberIn] ; CSL 3 1989 Kaiserslautern

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1990

Erschienen in: Lecture notes in computer science ; 440
Börger, Egon [VerfasserIn] ; Grädel, Erich [Sonstige Person, Familie und Körperschaft]; Gurevič, Jurij [Sonstige Person, Familie und Körperschaft]; Gurevich, Yuri [Sonstige Person, Familie und Körperschaft]

The classical decision problem

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997

Erschienen in: Perspectives in mathematical logic
Börger, Egon [VerfasserIn]

Berechenbarkeit, Komplexität, Logik : Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität - [3., verb. und erw. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Braunschweig; Wiesbaden: Vieweg, 1992
Börger, Egon [HerausgeberIn]; Cisternino, Antonio [Sonstige Person, Familie und Körperschaft] ; Lipari Summer School 1 2007 Lipari

Advances in software engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 ; revised tutorial lectures

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5316
Börger, Egon [HerausgeberIn]; Rödding, Dieter [GefeierteR]

Computation theory and logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1987

Erschienen in: Lecture notes in computer science ; 270
Börger, Egon [VerfasserIn]; Stärk, Robert F. [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003
Abrial, Jean-Raymond [HerausgeberIn]; Börger, Egon [GefeierteR]; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]

Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5115
Börger, Egon [HerausgeberIn]; Hasenjaeger, Gisbert [HerausgeberIn]; Rödding, Dieter [HerausgeberIn] ; Symposium Rekursive Kombinatorik 1983 Münster (Westf)

Logic and machines: decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23 - 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1984

Erschienen in: Lecture notes in computer science ; 171
Börger, Egon [HerausgeberIn]; Barnocchi, Donatella [Sonstige Person, Familie und Körperschaft]; Kaulbach, Friedrich [Sonstige Person, Familie und Körperschaft]

Zur Philosophie der mathematischen Erkenntnis

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Würzburg: Königshausen u. Neumann, 1981
Börger, Egon [HerausgeberIn]; Butler, Michael [Sonstige Person, Familie und Körperschaft]; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Boca, Paul [Sonstige Person, Familie und Körperschaft] ; ABZ 1 2008 London

Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5238
Börger, Egon [VerfasserIn]; Grädel, Erich [VerfasserIn]; Gurevič, Jurij [VerfasserIn] ; Gurevich, Yuri [Sonstige Person, Familie und Körperschaft]

The classical decision problem - [2. printing of the 1. ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 2001

Erschienen in: Universitext
Stärk, Robert F. [VerfasserIn]; Schmid, Joachim [VerfasserIn]; Börger, Egon [VerfasserIn]

Java and the Java Virtual Machine : definition, verification, validation ; with ... 18 tables, and CD-ROM

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2001

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr