|
1111 |
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Appold, Christian. - Würzburg : Universität Würzburg, 2016
|
|
|
1112 |
System support for security and privacy in pervasive computing
Apolinarski, Wolfgang. - Berlin : Logos Verlag Berlin GmbH, [2016]
|
|
|
|
1113 |
Test and diagnosis of embedded processor cores with formal methods
Riefert, Andreas. - Uelvesbüll : Der Andere Verlag, 2016
|
|
|
|
1114 |
Textarbeit in der geisteswissenschaftlichen Lehre
Centeno Garcia, Anja. - Berlin : Frank & Timme, [2016]
|
|
|
|
1115 |
The Differential Europeanisation of Public Discourse
Zschache, Ulrike. - Baden-Baden : Nomos Verlagsgesellschaft mbH & Co. KG, 2016, 1. Auflage
|
|
|
|
1116 |
The differential europeanisation of public discourse
Zschache, Ulrike. - Baden-Baden, Germany : Nomos, 2016, 1. edition
|
|
|
|
1117 |
The Expressive Power, Satisfiability and Path Checking Problems of MTL and TPTL over Non-Monotonic Data Words
Feng, Shiguang. - Leipzig : Universitätsbibliothek Leipzig, 2016
|
|
|
|
1118 |
The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words
Feng, Shiguang. - Leipzig, [2016]
|
|
|
|
1119 |
The mirror of public opinion?
Balks, Anne-Dörte. - Münster : Waxmann, 2016, [1. Auflage]
|
|
|
|
1120 |
The missing link: a general prediction model based on textural and network data features
Heinrich, Kai. - Dresden, 2016
|
|
Administration
