|
1111 |
Synthesis of distributed systems from synchronous dataflow programs Romberg, Jan, 2006
|
|
|
1112 |
Temporary binding for dynamic middleware construction and web services composition Huang, Wanjun, 2006
|
|
|
1113 |
Test generation using event sequence graphs Budnik, Christof J., 2006
|
|
|
1114 |
The inter-domain key exchange protocol Soltwisch, Rene Alexander, 2006
|
|
|
1115 |
TopX Theobald, Martin, 2006
|
|
|
1116 |
Transformation based component architectures Klein, Markus, 2006
|
|
|
1117 |
Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel, 2006
|
|
|
1118 |
Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
1119 |
Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
|
|
|
1120 |
Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
|
|