|
861 |
The SMPI model Braungarten, René, 2007
|
|
|
862 |
Tool supported refactoring of aspect oriented programs Wloka, Jan, 2007
|
|
|
863 |
Typed open programming Rossberg, Andreas, 2007
|
|
|
864 |
UML profile for communicating systems Werner, Constantin, [2007]
|
|
|
865 |
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
|
|
|
866 |
Verarbeitung ortsbezogener Anfragen in lose gekoppelten, föderierten Systemen Schwarz, Thomas, 2007
|
|
|
867 |
Vereinheitlichte Spezifikation von Komponenten Overhage, Sven, [2007]
|
|
|
868 |
Verification of the C0 compiler implementation on the source code level Petrova, Elena, 2007
|
|
|
869 |
Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion Helke, Steffen, 2007
|
|
|
870 |
Verteilte Zugangskontrolle in offenen Ad-hoc-Netzen Kraft, Daniel. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
|
|