|
19511 |
SWeMPs: a semantic web-enabled multimedia presentation system Nixon, Lyndon J. B., 2006
|
|
|
19512 |
Symbolic semantics and verification of stochastic process algebras Kuntz, Matthias, 2006
|
|
|
19513 |
Synthesis of distributed systems from synchronous dataflow programs Romberg, Jan, 2006
|
|
|
19514 |
System analysis and modeling: language profiles Berlin : Springer, 2006
|
|
|
19515 |
Tagungsband G-DAY G-Day (1 : 2006 : Kassel). - Aachen : Shaker, 2006, 1. Auflage
|
|
|
19516 |
Technologies for advanced heterogeneous networks II Berlin : Springer, 2006
|
|
|
19517 |
Technologies for interactive digital storytelling and entertainment Berlin : Springer, 2006
|
|
|
19518 |
Temporary binding for dynamic middleware construction and web services composition Huang, Wanjun, 2006
|
|
|
19519 |
Term rewriting and applications Berlin : Springer, 2006
|
|
|
19520 |
Test generation using event sequence graphs Budnik, Christof J., 2006
|
|