Informatikberichte 1984

Schneeweiss, Winfrid G.

Tutorial on advanced concepts in fault tree analysis

Hagen : Fernuniv., 1984. - 39 Bl.

(Informatik-Bericht Nummer: Nr. 52)


Deil, Thomas

Darstellungen und Berechenbarkeit reeller Zahlen

Hagen : Fernuniv., 1984. - 131 S.

(Informatik-Bericht Nummer: Nr. 51)


Kreitz, Christoph

Theorie der Darstellungen und ihre Anwendungen in der konstruktiven Analysis

Hagen : Fernuniv., 1984. - 124 S.

(Informatik-Bericht Nummer: Nr. 50)


Kreitz, Christoph ; Weihrauch, Klaus

COMPACTNESS IN CONSTRUCTIVE ANALYSIS REVISITED

HAGEN : FERNUNIV., 1984. - GETR. ZAEHLUNG

(Informatik Bericht Nummer: 49)


Bertsch, Eberhard ; Laemmerzahl, J.

EXPERIMENTELLE ERGEBNISSE ZUR EFFIZIENZ DER SUCHE NACH TEILZEICHENKETTEN IN DEUTSCHEN TEXTEN

HAGEN : FERNUNIV., 1984. - 29 S. : graph. Darst., TAB.

(Informatik Bericht Nummer: 47)


Bertsch, Eberhard

LANGUAGE DESCRIPTION AND IMPLEMENTATION CONCEPTS OF LITFAS : (LANGUAGE FOR IMPLICATIONS FROM TEXTUAL FILES AND ATOMIC SENTENCES)

HAGEN : FERNUNIV., 1984. - 20, 2 S. :graph. Darst.

(Informatik Bericht Nummer: 46)


Stetter, Franz

DOKUMENTE ZUR GESCHICHTE DER INFORMATIK AN DER FERNUNIVERSITAET

HAGEN : FERNUNIV., 1984. - 92 S. IN GETR. ZAEHLUNG

(Informatik Bericht Nummer: 45)


Kreitz, Christoph ; Weihrauch, Klaus

A UNIFIED APPROACH TO CONSTRUCTIVE AND RECURSIVE ANALYSIS

HAGEN : FERNUNIV., 1984. - 14 :BL.

(Informatik Bericht Nummer: 44)


Weihrauch, Klaus ; Kreitz, Christoph

REPRESENTATIONS OF THE REAL NUMBERS AND OF THE OPEN SUBSETS OF THE SET OF REAL NUMBERS

HAGEN : FERNUNIV., 1984. - 26 :BL.

(Informatik Bericht Nummer: 43)


Augustin, Reinhard ; Praedel, Ulrich ; Scholten, Heinrich A.

MODELLING DATABASE CONCURRENCY CONTROL ALGORITHMS USING A GENERAL PURPOSE PERFORMANCE EVALUATION TOOL

HAGEN : FERNUNIV., 1984. - 25 :BL.

(Informatik Bericht Nummer: 42)

Gabriele Becker | 10.05.2024