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)
Peter Hertling
Random Sets versus Random Sequences
Hagen: FernUniversität, Theoretische Informatik I, 9/2001 - 14 S.
(Informatik-Bericht Nummer: 288)
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)
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)
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)
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)
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)
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)
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)
