|
351 |
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Appold, Christian. - Würzburg : Universität Würzburg, 2016
|
|
|
|
352 |
The Differential Europeanisation of Public Discourse
Zschache, Ulrike. - Baden-Baden : Nomos Verlagsgesellschaft mbH & Co. KG, 2016, 1. Auflage
|
|
|
|
353 |
The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words
Feng, Shiguang. - Leipzig : Universitätsbibliothek Leipzig, 2016
|
|
|
|
354 |
The model-theoretic complexity of automatic linear orders
Huschenbett, Martin. - Ilmenau : Universitätsbibliothek Ilmenau, 2016
|
|
|
|
355 |
Towards Modular and Flexible Access Control on Smart Mobile Devices
Heuser, Stephan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
356 |
Towards reproducible simulation studies with JAMES II
Rybacki, Stefan. - Rostock : Universität Rostock, 2016
|
|
|
|
357 |
Trade-off-based Decision Methodology for Adopting Cloud-based Services in an Organization
Garg, Radhika. - Aachen : Shaker, 2016, 1. Auflage
|
|
|
|
358 |
Umkämpfte Bilder
Bach, Annika. - Frankfurt am Main : Campus Verlag, 2016, 1. Auflage, neue Ausgabe
|
|
|
|
359 |
Unsupervised Methods for Learning and Using Semantics of Natural Language
Riedl, Martin. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
360 |
Variational Methods for Discrete Tomography
Deniţiu, Andreea. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
Administration
