Müller, Arnd Ein Billardroboter. Praktische Realisierung von ausgewählten Konzepten der Robotik | 1998 |
Müller, Jean-Alexander ATM versus Gigabit Ethernet im TCP/IP-LAN. Design und Implementierung eines Hochgeschwindigkeitsnetzwerkes für TCP/IP | 1998 |
Steffen, M.; Herrmann, P.; Möhrke, U.; Spruth, W.G. Zwischenbericht zum Projekt ''FPGA-Entwurfssystem'' | 1998 |
Do, Hong-Hai Analyse des SINAUT Spectrum Graphikdatenmodells und Neuimplementierung unter dem Gesichtspunkt der Granularität und Performanz | 1998 |
Zakharyaschev, Michael; Wolter, Frank; Chagrov, A. Advanced Modal logic | 1998 |
Wolter, Frank; Zakharyaschev, Michael Dynamic description logics | 1998 |
Wolter, Frank; Zakharyaschev, Michael Temporalizing description logics | 1998 |
Wolter, Frank; Zakharyaschev, Michael Intuitionistic Modal Logics | 1998 |
Wolter, Frank; Zakharyaschev, Michael Multi-dimensional description logics | 1998 |
Wolter, Frank; Zakharyaschev, Michael Intuitionistic Modal Logics as fragments of Classical Bimodal Logics | 1998 |
Wolter, Frank; Zakharyaschev, Michael On the decidability of description logics with modal operators | 1998 |
Weber, S. Investigations in Belnap's Logic of Inconsistent and Unknown Information | 1998 |
Wolter, Frank Fragments of Common knowledge Logics | 1998 |
Wolter, Frank The algebraic face of minimality | 1998 |
Wolter, Frank On Logics with Coimplication | 1998 |
Wolter, Frank The product of converse PDL and polymodal K | 1998 |
Türpe, Sven Entwicklung eines Systems zur dezentralen Online-Ticketerstellung und -kontrolle | 1998 |
Rektor der Universität Leipzig Habilitationsordnung der Fakultät für Mathematik und Informatik | 1998 |
Seharsch, Andre' Klassifikation von Dokumenten mit statistischen und regelbasierten Verfahren | 1998 |
Siedschlag, Thomas Iterative Modellpartitionierungsverfahren für die parallele Logiksimulation | 1998 |
Schlieder,Torsten Dynamische Datenbankorganisation für multimediale Informationssysteme | 1998 |
Schulze, Hendrik Entwicklung, Untersuchung und Implementierung von Parallelen Evolutionären Algorithmen für die Modellpartitionierungskomponente | 1998 |
Rahm, Erhard; Schwipper, Katja; Sosna, Dieter Dienst für Online-Dokumente gestartet | 1998 |
Rahm, Erhard Evaluation of object-relational database systems for fulltext retrieval | 1998 |
Pauli, Dirk Spezifikation und Implementierung einer Übungssoftware deutsch-arabisch | 1998 |