|
341 |
Search Interaction Optimization
Speicher, Maximilian. - Chemnitz : Universitätsverlag Chemnitz, 2016
|
|
|
|
342 |
Secure Web Services für ambiente eingebettete Systeme
Unger, Sebastian. - Rostock : Universität Rostock, 2016
|
|
|
|
343 |
Securely Instantiating Cryptographic Schemes Based on the Learning with Errors Assumption
Göpfert, Florian. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
344 |
Software-based and regionally-oriented traffic management in Networks-on-Chip
Gorski, Philipp. - Rostock : Universität Rostock, 2016
|
|
|
|
345 |
Speech signal enhancement by information combining
Heese, Florian. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
|
|
346 |
Supporting graph editing in visual representations
Gladisch, Stefan. - Rostock : Universität Rostock, 2016
|
|
|
|
347 |
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Appold, Christian. - Würzburg : Universität Würzburg, 2016
|
|
|
|
348 |
The Differential Europeanisation of Public Discourse
Zschache, Ulrike. - Baden-Baden : Nomos Verlagsgesellschaft mbH & Co. KG, 2016, 1. Auflage
|
|
|
|
349 |
The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words
Feng, Shiguang. - Leipzig : Universitätsbibliothek Leipzig, 2016
|
|
|
|
350 |
The model-theoretic complexity of automatic linear orders
Huschenbett, Martin. - Ilmenau : Universitätsbibliothek Ilmenau, 2016
|
|
Administration
