|
61 |
The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words
Feng, Shiguang. - Leipzig : Universitätsbibliothek Leipzig, 2016
|
|
|
|
62 |
The model-theoretic complexity of automatic linear orders
Huschenbett, Martin. - Ilmenau : Universitätsbibliothek Ilmenau, 2016
|
|
|
|
63 |
Towards Modular and Flexible Access Control on Smart Mobile Devices
Heuser, Stephan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
64 |
Angular Schematization in Graph Drawing
Kindermann, Philipp. - Würzburg : Würzburg University Press, 2015
|
|
|
|
65 |
Applications for Packetized Memory Interfaces
Watson, Myles. - Heidelberg : Universitätsbibliothek Heidelberg, 2015
|
|
|
|
66 |
BubbleStorm: Rendezvous Theory in Unstructured Peer-to-Peer Search
Terpstra, Wesley W.. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
67 |
Capacitive Sensing and Communication for Ubiquitous Interaction and Environmental Perception
Große-Puppendahl, Tobias Alexander. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
68 |
Concepts for In-memory Event Tracing
Wagner, Michael. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015
|
|
|
|
69 |
Content-Addressable Network for Distributed Simulations
Li, Zhongtao. - Duisburg : Universitätsbibliothek Duisburg-Essen, 2015
|
|
|
|
70 |
Distanzabhängige Interaktion in großen hochauflösenden Displayumgebungen
Lehmann, Anke. - Rostock : Universität Rostock, 2015
|
|
Administration
