|
1011 |
Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models Klüppelholz, Sascha. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
1012 |
Verification of continuous-space stochastic systems Mereacre, Alexandru. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
|
1013 |
Virtual Machine Image Management for Elastic Resource Usage in Grid Computing Fallenbeck, Niels. - Marburg : Philipps-Universität Marburg, 2012
|
|
|
1014 |
Visual Interpretation of Human Body Language for Interactive Scenarios Riaz, Zahid. - München : Universitätsbibliothek der TU München, 2012
|
|
|
1015 |
Visual Support for Safety Analysis Yang, Yi. - Kaiserslautern : Technische Universität Kaiserslautern, 2012
|
|
|
1016 |
Visual Tracking of Multiple Humans with Machine Learning based Robustness Enhancement applied to Real-World Robotic Systems Nair, Suraj. - München : Universitätsbibliothek der TU München, 2012
|
|
|
1017 |
Visualization methods for sustainable planning Petsch, Sebastian. - Kaiserslautern : Universitätsbibliothek Kaiserslautern, 2012
|
|
|
1018 |
Wahrnehmungsrealistische Projektion anthropomorpher Formen Zavesky, Martin. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
1019 |
Web Services in stark ressourcenlimitierten Umgebungen Moritz, Guido. - Rostock : Universität Rostock, 2012
|
|
|
1020 |
Wie die Medienberichterstattung über die Wirtschaft das Bild der Menschen von der Wirtschaft prägt Müller-Klier, Maike. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2012
|
|