Informatikberichte 1999
Peter Hertling
Nonlinear Lebesgue and Itô Integration Problems of High Complexity
Hagen: FernUniversität, Theoretische Informatik I, 1999 - 21 S.
(Informatik-Bericht Nummer : 261)
Luca Forlizzi, Ralf Hartmut Güting, Enrico Nardelli, Markus Schneider
A Data Model and Data Structures for Moving Objects Databases
Hagen: FernUniversität, Praktische Informatik IV, 1999 - 25 S.
(Informatik-Bericht Nummer : 260)
M. Erwig, M. Schneider
Visual Specification of Spatio-Temporal Developments
Hagen: FernUniversität, Praktische Informatik IV, 1999 - 18 S.
(Informatik-Bericht Nummer : 259)
A. Poetzsch-Heffter, W. Goerigk
ARBEITSTAGUNG PROGRAMMIERSPRACHEN '99
mit Schwerpunkt sichere Programmausführung
Hagen: FernUniversität, Praktische Informatik V, 1999 - 102 S.
(Informatik-Bericht Nummer : 258)
B. Heinemann
Extending Topological Nexttime Logic
Hagen: FernUniversität, Theoretische Informatik I, 1999 - 22 S.
(Informatik-Bericht Nummer : 257)
W. Schneeweiss
Life Time Distributions Via Petri Nets & State Graphs
Hagen: FernUniversität, Technische Informatik I, 1999 - 20 S.
(Informatik-Bericht Nummer : 256)
Vasco Brattka
Recursive and Computable Operations over Topological Structures
Hagen: FernUniversität, Theoretische Informatik I, 1999 - 162 S.
(Informatik-Bericht Nummer : 255)
M. Kulas
Port Annotations for Prolog
Hagen: FernUniversität, Praktische Informatik VIII, 1999 - 30 S.
(Informatik-Bericht Nummer : 254)
Biedebach, Laskowski, Neuhaus, Schlageter
Funktionsbeschreibung der "Virtuellen Universität"
Hagen: FernUniversität, Praktische Informatik I, 6/1999 - 16S.
(Informatik-Bericht Nummer : 253)
Anne Brüggemann-Klein, Rolf Klein, Britta Landgraf
BibRelEx : Erschließung bibliographischer Datenbasen durch Visualisierung von annotierten inhaltsbasierten Beziehungen
Hagen: FernUniversität, Praktische Informatik VI, 1999 - 12 S.
(Informatik-Bericht Nummer : 252)
Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
Formal Techniques for Java Programs
Hagen: FernUniversität, Praktische Informatik V, 1999 - 72 S.
(Informatik-Bericht Nummer : 251)
Christian Icking, Rolf Klein, Ngoc-Minh Lê, Lihong Ma, Francisco Santos
On Bisectors for Convex Distance Functions in 3-Space
Hagen : FernUniversität, Praktische Informatik VI, 1999 - 12 S.
(Informatik-Bericht Nummer : 250)
Stefan Dieker, Ralf Hartmut Güting
Plug and Play with Query Algebras: SECONDO
A Generic DBMS Development Environment
Hagen: FernUniversität, Praktische Informatik IV, 1999 - 21 S.
(Informatik-Bericht Nummer : 249)
Manfred Widera, Christoph Beierle
Local normalization of functional programs
Hagen: FernUniversität, Praktische Informatik VIII, 1999 - 56 S.
(Informatik-Bericht Nummer : 248)
Dirk Westhoff
AAPI : an Agent Application Programming Interface
Hagen: FernUniversität, Praktische Informatik II, 1999 - 11 S.
(Informatik-Bericht Nummer : 247)
