|
241 |
On Formalizing UML and OCL Features and Their Employment to Runtime Verification
Hamann, Lars. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
242 |
On Privacy-Preserving Protocols for Smart Metering Systems
Borges de Oliveira, Fábio. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
243 |
On the analysis of stochastic timed systems
Hartmanns, Arnd. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2015
|
|
|
|
244 |
On the control through leadership of multi-agent systems
Wongkaew, Suttida. - Würzburg : Universität Würzburg, 2015
|
|
|
|
245 |
On the Utility of Higher Order Fault Models for Fault Injections
Winter, Stefan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
246 |
Ontologiebasiertes Cloud Computing
Fehrmann, Sven. - Würzburg : Universität Würzburg, 2015
|
|
|
|
247 |
Optimierung von Algorithmen zur Videoanalyse
Ritter, Marc. - Chemnitz : Universitätsverlag Chemnitz, 2015
|
|
|
|
248 |
Optimization and Design of Network Architectures for Future Internet Routing
Hartmann, Matthias. - Würzburg : Universität Würzburg, 2015
|
|
|
|
249 |
Performance Assessment of Resource Management Strategies for Cellular and Wireless Mesh Networks
Wamser, Florian. - Würzburg : Universität Würzburg, 2015
|
|
|
|
250 |
Predictive analytics and protection of massive data
Assam, Roland Amba. - Aachen : Universitätsbibliothek der RWTH Aachen, 2015
|
|
Administration
