|
15231 |
Safe and precise WCET determination by abstract interpretation of pipeline models Thesing, Stephan, [2005]
|
|
|
15232 |
Scalability of microkernel-based systems Uhlig, Volkmar, 2005
|
|
|
15233 |
Self-organizing neural networks for sequence processing Strickert, Marc, [2005]
|
|
|
15234 |
Service-Interoperabilität für naturwissenschaftliche Anwendungen Radetzki, Uwe, 2005
|
|
|
15235 |
Shape representations of digital sets based on convexity properties Dörksen, Helene, 2005
|
|
|
15236 |
Sicherheit in verteilten virtuellen Umgebungen Köhnlein, Jan, 2005
|
|
|
15237 |
Signaling and networking in unstructured peer-to-peer networks Schollmeier, Rüdiger, 2005
|
|
|
15238 |
SignatureSpace Pradhan, Kith. - Tübingen : Universitätsbibliothek Tübingen, 2005
|
|
|
15239 |
Simulation-based simplification of omega-automata Fritz, Carsten, 2005
|
|
|
15240 |
Software Engineering for Multi-Agent Systems III Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
|
|