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