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)
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)
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)
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)
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)
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)
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)
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)
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)
Martin Erwig
Random Access to Abstract Data Types
Hagen: FernUniversität, Praktische Informatik IV, 2/2000 - 19 S.
(Informatik-Bericht Nummer : 266)
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)
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)
