|
971 |
The SMPI model Braungarten, René, 2007
|
|
|
972 |
Tool supported refactoring of aspect oriented programs Wloka, Jan, 2007
|
|
|
973 |
Typed open programming Rossberg, Andreas, 2007
|
|
|
974 |
UML profile for communicating systems Werner, Constantin, [2007]
|
|
|
975 |
Untersuchung der kapazitiven Eigenschaften von 3D-Clusterstrukturen in einer 0,35 μm [my m] CMOS-Technologie und deren mögliche kryptografische Anwendungen Harter, Matthias, 2007
|
|
|
976 |
Verarbeitung ortsbezogener Anfragen in lose gekoppelten, föderierten Systemen Schwarz, Thomas, 2007
|
|
|
977 |
Vereinheitlichte Spezifikation von Komponenten Overhage, Sven, [2007]
|
|
|
978 |
Vergleich von TOPCASED und GMF mit der Atos Origin Methode QSOS im Rahmen von modellgetriebener Softwareentwicklung Zimmermann, Frank. - Elmshorn : Nordakademie, Hochschule der Wirtschaft, 2007
|
|
|
979 |
Verification of the C0 compiler implementation on the source code level Petrova, Elena, 2007
|
|
|
980 |
Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion Helke, Steffen, 2007
|
|