|
7341 |
Structured generic programming in Eden Priebe, Steffen, 2007
|
|
|
7342 |
Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar, 2007
|
|
|
7343 |
Subtype satisfiability and entailment Priesnitz, Tim, [2007]
|
|
|
7344 |
Suffix arrays in theory and practice Schürmann, Klaus-Bernd, 2007
|
|
|
7345 |
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
|
|
|
7346 |
Synchronizing internet protocol security (SIPSec) New York, NY : Springer, 2007
|
|
|
7347 |
Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
|
|
|
7348 |
System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
|
|
|
7349 |
Tamper resistance of AES Krummel, Volker, 2007
|
|
|
7350 |
Task models and diagrams for users interface design Berlin : Springer, 2007
|
|