|
2711 |
Temporary binding for dynamic middleware construction and web services composition Huang, Wanjun, 2006
|
|
|
2712 |
Test generation using event sequence graphs Budnik, Christof J., 2006
|
|
|
2713 |
The ambiguity of morphisms in free monoids and its impact on algorithmic properties of pattern languages Reidenbach, Daniel. - Berlin : Logos-Verl., 2006
|
|
|
2714 |
The inter-domain key exchange protocol Soltwisch, Rene Alexander, 2006
|
|
|
2715 |
TopX Theobald, Martin, 2006
|
|
|
2716 |
Transformation based component architectures Klein, Markus, 2006
|
|
|
2717 |
Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel, 2006
|
|
|
2718 |
Transformations of specifications and proofs to support an evolutionary formal software development Schairer, Axel. - Aachen : Shaker, 2006
|
|
|
2719 |
Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development Schairer, Axel. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
2720 |
Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
|
|