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)

PDF-Version


M. Erwig, M. Schneider

Visual Specification of Spatio-Temporal Developments

Hagen: FernUniversität, Praktische Informatik IV, 1999 - 18 S.

(Informatik-Bericht Nummer : 259)

PDF-Version


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)

PDF-Version


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)

PDF-Version


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)

PDF-Version


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)

PDF-Version


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)

PDF-Version


Manfred Widera, Christoph Beierle

Local normalization of functional programs

Hagen: FernUniversität, Praktische Informatik VIII, 1999 - 56 S.

(Informatik-Bericht Nummer : 248)

PDF-Version


Dirk Westhoff

AAPI : an Agent Application Programming Interface

Hagen: FernUniversität, Praktische Informatik II, 1999 - 11 S.

(Informatik-Bericht Nummer : 247)

PDF-Version

Gabriele Becker | 10.05.2024