|
261 |
The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words
Feng, Shiguang. - Leipzig : Universitätsbibliothek Leipzig, 2016
|
|
|
|
262 |
The model-theoretic complexity of automatic linear orders
Huschenbett, Martin. - Ilmenau : Universitätsbibliothek Ilmenau, 2016
|
|
|
|
263 |
Towards Modular and Flexible Access Control on Smart Mobile Devices
Heuser, Stephan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
264 |
Trade-off-based Decision Methodology for Adopting Cloud-based Services in an Organization
Garg, Radhika. - Aachen : Shaker, 2016, 1. Auflage
|
|
|
|
265 |
Unsupervised Methods for Learning and Using Semantics of Natural Language
Riedl, Martin. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
266 |
Variational Methods for Discrete Tomography
Deniţiu, Andreea. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
267 |
Visual discovery of landmarks and their details in large-scale image collections
Weyand, Tobias. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
|
|
268 |
A computational model of motor cognition for iconic gesture processing
Sadeghipour, Amir. - Aachen : Shaker, 2015, 1. Aufl.
|
|
|
|
269 |
A Model for Adaptive Applications on the Semantic Web
Memari, Ammar. - Aachen : Shaker, 2015, 1. Aufl.
|
|
|
|
270 |
A user-oriented, comprehensive system for the 6 DoF recognition of arbitrary rigid household objects
Fischer, Jan. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2015
|
|
Administration
