|
281 |
TACLeBench: a benchmark collection to support worst-case execution time research
Falk, Heiko. - Augsburg : Universität Augsburg, 2016
|
|
|
|
282 |
The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words
Feng, Shiguang. - Leipzig : Universitätsbibliothek Leipzig, 2016
|
|
|
|
283 |
The model-theoretic complexity of automatic linear orders
Huschenbett, Martin. - Ilmenau : Universitätsbibliothek Ilmenau, 2016
|
|
|
|
284 |
Towards Modular and Flexible Access Control on Smart Mobile Devices
Heuser, Stephan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
285 |
Transmorphic
Schreiber, Robin. - Potsdam : Universität Potsdam, 2016
|
|
|
|
286 |
Unsupervised Methods for Learning and Using Semantics of Natural Language
Riedl, Martin. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
287 |
Variational Methods for Discrete Tomography
Deniţiu, Andreea. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
288 |
Visual discovery of landmarks and their details in large-scale image collections
Weyand, Tobias. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
|
|
289 |
Wissenschaftliche Vertiefungskonferenz HuC - Digital Future : Informatik-Konferenz an der Hochschule Reutlingen, 16. November 2016
Wissenschaftliche Vertiefungskonferenz HuC - Digital Future (2016 : Reutlingen). - Reutlingen : Hochschule Reutlingen, 2016
|
|
|
|
290 |
WLAN für alle
Berlin : Medienanstalt Berlin-Brandenburg, 2016, Informationsflyer
|
|
Administration
