|
251 |
Static Data Flow Analysis for Android Applications
Arzt, Steven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
252 |
Static Verification Techniques for Attributed Graph Transformations
Deckwerth, Frederik. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
253 |
Systematic Metric Systems Engineering
Vianden, Matthias. - Aachen : Shaker, 2017, 1. Auflage
|
|
|
|
254 |
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
Rehfeld, Stephan. - Würzburg : Universität Würzburg, 2017
|
|
|
|
255 |
"Vademekum" der Protestbewegung?
Niese, Kristof. - Baden-Baden : Nomos Verlagsgesellschaft mbH & Co. KG, 2017, 1. Auflage
|
|
|
|
256 |
Vertical handover management with quality of service support
Al-Rubaye, Atheer. - Ilmenau : Universitätsbibliothek Ilmenau, 2017
|
|
|
|
257 |
Vertrauen in service-orientierten Online-Communitys
Hauck, Julia. - Baden-Baden : Nomos Verlagsgesellschaft mbH & Co. KG, 2017, 1. Auflage
|
|
|
|
258 |
A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach
Horn, Tassilo. - Berlin : Logos Verlag Berlin GmbH Comeniushof, 2016
|
|
|
|
259 |
A3ME – Device-Agent based Middleware for Mixed Mode Environments
Herzog, Arthur. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
260 |
Abstractions for Performance Programming on Multi-Core Architectures with Hierarchical Memory
Terboven, Christian. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
Administration
