Informatikberichte 2001

Klaus Weihrauch

Computational Complexity on Computable Metric Spaces

Hagen: FernUniversität, Theoretische Informatik I, 12/2001 - 29 S.

(Informatik-Bericht Nummer: 291)


Bernhard Heinemann

Hybrid Languages for Subset Spaces

Hagen: FernUniversität, Theoretische Informatik I, 10/2001 - 20 S.

(Informatik-Bericht Nummer: 290)


Jose Antonio Cotelo Lema, Luca Forlizzi, Ralf Hartmut Güting, Enrico Nardelli, Markus Schneider

Algorithms for Moving Objects Databases

Hagen: FernUniversität, Praktische Informatik IV, 10/2001 - 57 S.

(Informatik-Bericht Nummer: 289)

PDF-Version


Peter Hertling

Random Sets versus Random Sequences

Hagen: FernUniversität, Theoretische Informatik I, 9/2001 - 14 S.

(Informatik-Bericht Nummer: 288)

PDF-Version


Gabriele Kern-Isberner, Thomas Lukasiewicz, Emil Weydert (Eds.)

KI-2001 Workshop Uncertainty in Artificial Intelligence

Hagen: FernUniversität, Praktische Informatik VI, 8/2001 - 158 S.

(Informatik-Bericht Nummer: 287)


Vasco Brattka

Computability of Banach Space Principles

Hagen: FernUniversität, Theoretische Informatik I, 6/2001 - 91 S.

(Informatik-Bericht Nummer: 286)

PDF-Version


Klaus Weihrauch, Ning Zhong

Turing Computability of a Nonlinear Schrödinger Propagator

Hagen: FernUniversität, Theoretische Informatik I, 5/2001 - 11 S.

(Informatik-Bericht Nummer: 285)


Peter Müller

Modular Specification and Verification of Object-Oriented Programs

Hagen: FernUniversität, Praktische Informatik V, 4/2001 - 261 S.

(Informatik-Bericht Nummer: 284)

PDF-Version


Manuel Abellanas, Ferran Hurtado, Christian Icking, Rolf Klein, Elmar Langetepe, Lihong Ma, Belen Palop, Vera Sacristan

Smallest Color-Spanning Objects

Hagen: FernUni21.03.2007

(Informatik-Bericht Nummer: 283)

PDF-Version


Stephan Lukosch

Entwicklungs- und Laufzeitunterstützung für Datenobjekte kollaborativer Anwendungen

Hagen: FernUniversität, Praktische Informatik II, 2/2001 - 47 S.

(Informatik-Bericht Nummer: 282)

PDF-Version


Manfred Widera, Christoph Beierle

An Approach to Checking the Non-Disjointness of Types in Funcional Programming

Hagen: FernUniversität, Praktische Informatik VIII, 1/2001 - 116 S.

(Informatik-Bericht Nummer: 281)

PDF-Version


Manfred Widera, Christoph Beierle

A Term Rewriting Scheme for Function Symbols with Variable Arity

Hagen: FernUniversität, Praktische Informatik VIII, 1/2001 - 18 S.

(Informatik-Bericht Nummer: 280)

PDF-Version


Peter Müller, Arnd Poetzsch-Heffter

Universes: A Type Systems for Alias and Dependency Control

Hagen: FernUniversität, Praktische Informatik V, 1/2001 - 25 S.

(Informatik-Bericht Nummer: 279)

PDF-Version

Gabriele Becker | 10.05.2024