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)
