|
3191 |
Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte Finke, Matthias, [2006]
|
|
|
3192 |
Usability challenges of PKI Straub, Tobias, 2006
|
|
|
3193 |
Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
|
|
|
3194 |
Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
|
|
|
3195 |
Verified proof carrying code Wildmoser, Martin, 2006
|
|
|
3196 |
Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
|
|
|
3197 |
Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
3198 |
Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
3199 |
Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
|
|
|
3200 |
Verteilte kooperative Wissensräume Bopp, Thomas, 2006
|
|