|
19301 |
Verarbeitung ortsbezogener Anfragen in lose gekoppelten, föderierten Systemen Schwarz, Thomas, 2007
|
|
|
19302 |
Verbesserung der Kontexterkennung in ubiquitären Informationsumgebungen Zimmer, Tobias H., 2007
|
|
|
19303 |
Vereinheitlichte Spezifikation von Komponenten Overhage, Sven, [2007]
|
|
|
19304 |
Verfahren der automatischen Indexierung in bibliotheksbezogenen Anwendungen Siegmüller, Renate. - Berlin : Humboldt-Universität zu Berlin, 2007
|
|
|
19305 |
Verfahren der Software-Dokumentation Krauß, Stefan. - Aachen : Shaker, 2007, 1. Auflage
|
|
|
19306 |
Verfahren zur Analyse von Ähnlichkeit im Ortsbereich Ilmenau : Univ.-Verl., 2007
|
|
|
19307 |
Vergleich von TOPCASED und GMF mit der Atos Origin Methode QSOS im Rahmen von modellgetriebener Softwareentwicklung Zimmermann, Frank. - Elmshorn : Nordakademie, Hochschule der Wirtschaft, 2007
|
|
|
19308 |
Verification of object oriented software Berlin : Springer, 2007
|
|
|
19309 |
Verification of the C0 compiler implementation on the source code level Petrova, Elena, 2007
|
|
|
19310 |
Verification, Model Checking, and Abstract Interpretation Cham : Springer International Publishing, 2007
|
|