|
3111 |
To and fro between tableaus and automata for description logics Hladik, Jan, 2007
|
|
|
3112 |
Tool supported refactoring of aspect oriented programs Wloka, Jan, 2007
|
|
|
3113 |
Top-k aggregation queries in large-scale distributed systems Michel, Sebastian, 2007
|
|
|
3114 |
Topologieoptimierung phonetischer Hidden-Markov-Modelle mittels Erkennungssimulation Knoblauch, Dirk, [2007]
|
|
|
3115 |
Tracking errors in augmented reality Bauer, Martin, 2007
|
|
|
3116 |
Training in virtual environments via a hybrid dynamic trainer model Esen, Hasan, 2007
|
|
|
3117 |
Type checking XML transformations Perst, Thomas, 2007
|
|
|
3118 |
Typed open programming Rossberg, Andreas, 2007
|
|
|
3119 |
Typografiegewichtete Information-Retrieval-Verfahren in Dokumentenmanagementsystemen Werner, Lars. - Aachen : Shaker, 2007, 1. Auflage
|
|
|
3120 |
Über die algorithmische Komplexität regulärer Sprachen Gramlich, Gregor, 2007
|
|