|
801 |
Database transaction management in mobile ad-hoc networks Obermeier, Sebastian, 2008
|
|
|
802 |
Datalog on infinite structures Schwandtner, Goetz, 2008
|
|
|
803 |
Decidability for non-standard conversions in typed lambda-calculi Barral, Freiric, 2008
|
|
|
804 |
Deklarative Modellierung von verteilten Systemen mit Graphersetzungssprachen Ranger, Ulrike I.. - Aachen : Shaker, 2008, 1. Auflage
|
|
|
805 |
Describing differences between overlapping databases Müller, Heiko, 2008, [Online-Ausg.]
|
|
|
806 |
Digital watermarking for image content authentication Liu, Huajian, 2008
|
|
|
807 |
Digitale Wasserzeichen für geographische 2D-Vektordaten Voigt, Michael. - Aachen : Shaker, 2008, 1. Auflage
|
|
|
808 |
Diplomarbeit über die Modellierung einer Systeminstallation [Ilmenau] : [Univ.-Bibliothek], 2008
|
|
|
809 |
Document verification with temporal description logics Weitl, Franz, [2008]
|
|
|
810 |
Dynamische Adaption in heterogenen und verteilten eingebetteten Systemen Felser, Meik, 2008
|
|