Auflistung D04 (2003) - Ausgezeichnete Informatikdissertationen nach Erscheinungsdatum - Digitale Bibliothek

Anzeige der Dokumente 1-20 von 22

Verified Java Bytecode Verification

Klein, Gerwin
91-100
Advanced slicing of sequential and concurrent programs

Krinke, Jens
101-110
Frontmatter

Wagner, Dorothea
1-8
Aufzählbarkeitsklassen von Turingmaschinen und endlichen Automaten

Tantau, Till
189-198
Multiplikation in eingeschränkten Branchingprogrammmodellen

Wölfel, Philipp
199-208
Technologische Unterstützung didaktik-geleiteten Wissenstransfers

Auinger, Andreas
29-38
Strukturbasierte Pharmakophore: Neue Wirkstoffmodelle für die Arzneimittelforschung

Wolber, Gerhard
209-218
Exakte Algorithmen für NP-harte Probleme auf Netzwerken

Alber, Jochen
19-28
Visualisierung diskreter und kontinuierlicher Tensorfelder

Hotz, Ingrid
69-78
Supportive presentation for computer games

Halper, Nicolas
49-58
Plenoptic scene modelling from uncalibrated images sequences

Heigl, Benno
59-68
Ein System zur Verarbeitung und Visualisierung von Voxeldaten

Beck, Andreas
39-48
On non-standard fault models for logic digital circuits

Polian, Ilia
169-178
Bessere Software durch Querschneidende Module

Ostermann, Klaus
159-168
Nicht-intrusive Erkennung von Gesten und Gebärden

Akyol, Suat
9-18
Kapazität und Planung von Wideband CDMA Systemen

Leibnitz, Kenji
121-130
Verteilte Geschäftsprozesse mit Hilfe von Web Services

Martens, Axel
139-148
Optimierung der Verarbeitung von Dokumenten

Noga, Markus
149-158
Data management and routing in general networks

Räcke, Harald
179-188
Bi-decomposition of function sets using multi-valued logic

Lang, Christian
111-120

Anzeige der Dokumente 1-20 von 22

Gesamter Bestand

Diese Sammlung

Auflistung D04 (2003) - Ausgezeichnete Informatikdissertationen nach Erscheinungsdatum