|
1101 |
On the formalization of model driven software engineering Garcia Gutierrez, Miguel Alfredo. - Berlin : Logos-Verl., 2009
|
|
|
1102 |
On the role of nondeterminism and refinement in model-driven top-down development of software systems Schmidt, Heiko, 2009
|
|
|
1103 |
Online-Unterschriftenverifikation basierend auf Methoden des Maschinellen Lernens Gruber, Christian. - Duisburg : WiKu, 2009
|
|
|
1104 |
Operational profiling of OS drivers Sârbu, Constantin, 2009
|
|
|
1105 |
Optimierung der Schnittstelle zwischen Hypervisor und Betriebssystemkern bei virtuellen Maschinen Höxer, Hans-Jörg, 2009
|
|
|
1106 |
Optimierung des Wirkungsgrades virtueller Infrastrukturen Lindinger, Tobias, 2009
|
|
|
1107 |
Performance-Messung eines Portalsystems in virtualisierter Umgebung am Fallbeispiel SAP Jehle, Holger, 2009
|
|
|
1108 |
Platform-independent modeling of synthesizable software systems using UML 2 Schattkowsky, Tim. - Tönning : Der Andere Verl., 2009
|
|
|
1109 |
Polynomial system solving for decoding linear codes and algebraic cryptanalysis Bulygin, Stanislav, 2009
|
|
|
1110 |
POSAAM Bettencourt da Cruz, David, 2009
|
|