|
301 |
Static data flow analysis for android applications Arzt, Steven. - Darmstadt, Januar 2017
|
|
|
302 |
Static verification techniques for attributed graph transformations Deckwerth, Frederik. - Darmstadt, 2017
|
|
|
303 |
Statistical pattern recognition for biometric person identification and event detection Condurache, Alexandru Paul. - Waabs : GCA-Verlag, 2017, 1. Auflage
|
|
|
304 |
Systematic metric systems engineering Vianden, Matthias. - Aachen : Shaker, 2017, [1. Auflage]
|
|
|
305 |
[Die Form des Werdens] The form of becoming Wellmann, Janina. - New York : Zone Books, 2017
|
|
|
306 |
Time of arrival based infrastructureless human posture capturing system Mekonnen, Zemene Walle. - Berlin : Logos Verlag Berlin GmbH, [2017]
|
|
|
307 |
Unsupervised learning of correspondence relations in image streams Conrad, Christian. - Frankfurt (Main), 2017
|
|
|
308 |
Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking Rehfeld, Stephan. - Würzburg, [2017]
|
|
|
309 |
Verbesserung des Entwurfs von SOA Serviceschnittstellen mit Hilfe von Erfahrungen und Heuristiken Niklas, Kai. - Berlin : Logos, [2017]
|
|
|
310 |
Vertical handover management with quality of service support Al-Rubaye, Atheer. - Ilmenau : Universitätsverlag Ilmenau, 2017
|
|