|
1171 |
Verification of Java card programs Stenzel, Kurt, 2005
|
|
|
1172 |
Viable network intrusion detection in high-performance environments Sommer, Robin, 2005
|
|
|
1173 |
Visuelle Datenflusssprache mit Kombinatoren höherer Ordnung Bayer, Arne, [2005]
|
|
|
1174 |
Vom Vorgehensmodell zum Projektplan Gnatz, Michael Andreas Josef, 2005
|
|
|
1175 |
Zur kategoriellen Beschreibung von Schichtenarchitekturen Lajios, Georgios, 2005
|
|
|
1176 |
Advanced slicing of sequential and concurrent programs Krinke, Jens, [2004]
|
|
|
1177 |
Arithmetic architectures for finite fields GF (pm) with cryptographic applications Guajardo Merchan, Jorge, 2004
|
|
|
1178 |
Benutzeradaptive Web-Informationssysteme Schneider, Roman, [2004]
|
|
|
1179 |
Brain-computer interfaces Krepki, Roman, 2004
|
|
|
1180 |
Consistent document engineering Scheffczyk, Jan, 2004
|
|