|
19991 |
Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
19992 |
Ubiquitous computing Berlin : Springer, 2006
|
|
|
19993 |
Ubiquitous computing systems Berlin : Springer, 2006
|
|
|
19994 |
Ubiquitous intelligence and computing Berlin : Springer, 2006
|
|
|
19995 |
Ubiquitous user modeling Heckmann, Dominikus, [2006]
|
|
|
19996 |
Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
|
|
|
19997 |
Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2006
|
|
|
19998 |
UML basierte Zeitmodellierung für eingebettete Echtzeitsysteme Dimitrow, Wassil. - Chemnitz : Universitätsbibliothek Chemnitz, 2006
|
|
|
19999 |
Unconventional computation Berlin : Springer, 2006
|
|
|
20000 |
Ungarische Literatur in deutscher Sprache Göttingen : Universitätsverlag Göttingen, 2006
|
|