|
3071 |
Stabilität und Robustheit von programmierbaren Vermittlungssystemen Schöller, Marcus. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
3072 |
Standard and non-standard reasoning in description logics Brandt, Sebastian-Philipp, 2006
|
|
|
3073 |
Steerable texture synthesis for vector field visualization Taponecco, Francesca, 2006
|
|
|
3074 |
Structural summaries as a core technology for efficient XML retrieval Weigel, Felix, 2006
|
|
|
3075 |
Structured peer-to-peer services for mobile ad hoc networks Zahn, Thomas, 2006
|
|
|
3076 |
SWeMPs: a semantic web-enabled multimedia presentation system Nixon, Lyndon J. B., 2006
|
|
|
3077 |
Symbolic semantics and verification of stochastic process algebras Kuntz, Matthias, 2006
|
|
|
3078 |
Synthesis of distributed systems from synchronous dataflow programs Romberg, Jan, 2006
|
|
|
3079 |
Temporary binding for dynamic middleware construction and web services composition Huang, Wanjun, 2006
|
|
|
3080 |
Test generation using event sequence graphs Budnik, Christof J., 2006
|
|