|
1201 |
UML-basierter Klassen- und Integrationstest objektorientierter Programme Sokenou, Dehla, 2005
|
|
|
1202 |
Unterstützung der Adoption kommerzieller Standardsoftware durch Diagramme Loser, Kai-Uwe, 2005
|
|
|
1203 |
Verification of Java card programs Stenzel, Kurt, 2005
|
|
|
1204 |
Viable network intrusion detection in high-performance environments Sommer, Robin, 2005
|
|
|
1205 |
Visuelle Datenflusssprache mit Kombinatoren höherer Ordnung Bayer, Arne, [2005]
|
|
|
1206 |
Vom Vorgehensmodell zum Projektplan Gnatz, Michael Andreas Josef, 2005
|
|
|
1207 |
Zur kategoriellen Beschreibung von Schichtenarchitekturen Lajios, Georgios, 2005
|
|
|
1208 |
Advanced slicing of sequential and concurrent programs Krinke, Jens, [2004]
|
|
|
1209 |
Arithmetic architectures for finite fields GF (pm) with cryptographic applications Guajardo Merchan, Jorge, 2004
|
|
|
1210 |
Benutzeradaptive Web-Informationssysteme Schneider, Roman, [2004]
|
|