Informatikberichte 2000

Carsten Gnörlich

MultiNet/WR: A Knowlege Engineering Toolkit for Natural Language Information

Hagen: FernUniversität, Praktische Informatik VII,11/2000 - 26 S.

(Informatik-Bericht Nummer: 278)

PDF-Version


Christian Icking, Lihong Ma

A Tight Bound for the Complexity of Voronoi Diagrams

under Polyhedral Convex Distance Functions in 3D

Hagen: FernUniversität, Praktische Informatik VI, 11/2000 - 10 S.

(Informatik-Bericht Nummer: 277)

PDF-Version


Ingrid Biehl, Andreas Grävinghoff, Jörg Keller

Customizing Programmable Hardware for Encryption Keys

Hagen: FernUniversität, Technische Informatik II, 9/2000 - 8 S.

(Informatik-Bericht Nummer: 274)

PDF-Version


Jörg Keller

A Heuristic to Accelerate In-situ Permutation Algorithms

Hagen: FernUniversität, Technische Informatik II, 9/2000 - 7 S.

(Informatik-Bericht Nummer: 273)

PDF-Version


Jens Blanck, Vasco Brattka, Peter Hertling, Klaus Weihrauch

Computability and Complexity in Analysis

Hagen: FernUniversität, Theoretische Informatik I, 9/2000 - 479 S.

(Informatik-Bericht Nummer: 272)


Jörg Keller, Leiming Zhu

Fisheye Views of 2D Graphs and 3D Objects

Hagen: FernUniversität, Technische Informatik II, 6/2000 - 11 S.

(Informatik-Bericht Nummer : 271)

PDF-Version


Marcel Labeth, Jörg Meyer, Peter Müller, Arnd Poetzsch-Heffter

Formal Verification of a Doubly Linked List Implementation

Hagen: FernUniversität, Praktische Informatik V, 6/2000 - 104 S.

(Informatik-Bericht Nummer : 270)

PDF-Version


Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter

Formal Techniques for Java Programs 2000

Hagen, FernUniversität, 21.03.2007 - 159 S.

(Informatik-Bericht Nummer : 269)

PDF-Version


Jose Antonio Cotelo Lema, Ralf Hartmut Güting

Dual Grid: A New Approach for Robust Spatial Algebra Implementation

Hagen: FernUniversität, Praktische Informatik IV, 5/2000 - 16 S.

(Informatik-Bericht Nummer : 268)

PDF-Version


Lihong Ma

Bisectors and Voronoi Diagrams for Convex Distance Functions
(Dissertation)
Hagen: FernUniversität, Praktische Informatik VI, 5/2000 - 126 S.

(Informatik-Bericht Nummer : 267)

PDF-Version


Martin Erwig

Random Access to Abstract Data Types

Hagen: FernUniversität, Praktische Informatik IV, 2/2000 - 19 S.

(Informatik-Bericht Nummer : 266)

PDF-Version


Stefan Dieker, Ralf Hartmut Güting, Miguel Rodríguez Luaces

A Tool for Nesting and Clustering Large Objects

Hagen: FernUniversität, Praktische Informatik IV, 1/2000 - 22 S.

(Informatik-Bericht Nummer : 265)

PDF-Version


Robert Rettinger

Orakelabhängige Zeithierarchiesätze
(Dissertation)
Hagen: FernUniversität, Theoretische Informatik II, 1/2000 - 161 S.

(Informatik-Bericht Nummer : 264)


Arnd Poetzsch-Heffter, Jörg Meyer (Hrsg.)

Programmiersprachen und Grundlagen der Programmierung

Hagen: FernUniversität, Praktische Informatik V, 1/2000 - 172 S.

(Informatik-Bericht Nummer : 263)

Gabriele Becker | 10.05.2024