|
15041 |
Standard and non-standard reasoning in description logics Brandt, Sebastian-Philipp, 2006
|
|
|
15042 |
Steerable texture synthesis for vector field visualization Taponecco, Francesca, 2006
|
|
|
15043 |
String processing and information retrieval Berlin : Springer, 2006
|
|
|
15044 |
Structural summaries as a core technology for efficient XML retrieval Weigel, Felix, 2006
|
|
|
15045 |
Structural, syntactic, and statistical pattern recognition Berlin : Springer, 2006
|
|
|
15046 |
Structured peer-to-peer services for mobile ad hoc networks Zahn, Thomas, 2006
|
|
|
15047 |
SWeMPs: a semantic web-enabled multimedia presentation system Nixon, Lyndon J. B., 2006
|
|
|
15048 |
Symbolic semantics and verification of stochastic process algebras Kuntz, Matthias, 2006
|
|
|
15049 |
Synthesis of distributed systems from synchronous dataflow programs Romberg, Jan, 2006
|
|
|
15050 |
System analysis and modeling: language profiles Berlin : Springer, 2006
|
|