|
201 |
Speech supported interaction with E-learning systems for online presentations
Schneider, Georg J.. - Trier : Universität Trier, 2017
|
|
|
|
202 |
Static Data Flow Analysis for Android Applications
Arzt, Steven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
203 |
Static Verification Techniques for Attributed Graph Transformations
Deckwerth, Frederik. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017
|
|
|
|
204 |
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
Rehfeld, Stephan. - Würzburg : Universität Würzburg, 2017
|
|
|
|
205 |
Vertical handover management with quality of service support
Al-Rubaye, Atheer. - Ilmenau : Universitätsbibliothek Ilmenau, 2017
|
|
|
|
206 |
A3ME – Device-Agent based Middleware for Mixed Mode Environments
Herzog, Arthur. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
207 |
Abstractions for Performance Programming on Multi-Core Architectures with Hierarchical Memory
Terboven, Christian. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
|
|
208 |
Address spreading in future Internet supporting both the unlinkability of communication relations and the filtering of non legitimate traffic
Fourcot, Florent. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016
|
|
|
|
209 |
Advanced monitoring in P2P botnets
Karuppayah, Shankar. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
210 |
Analysing prerequisites, expectations, apprehensions, and attitudes of university students studying Computer science
Al-Saffar, Loay Talib Ahmed. - Potsdam : Universität Potsdam, 2016
|
|
Administration
