|
281 |
Verbesserung des Requirements Engineering mit Hilfe von Videos und Informationsflüssen
Kiesling, Stephan. - Berlin : Logos Verlag, 2018
|
|
|
|
282 |
Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen
Schneider, Matthias. - Aachen : Shaker Verlag, 2018
|
|
|
283 |
Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen
Schneider, Matthias. - Aachen : Shaker, 2018, 1. Auflage
|
|
|
|
284 |
Weighted restarting automata
Wang, Qichao. - Kassel : Kassel University Press, [2018]
|
|
|
|
285 |
Weighted Restarting Automata
Wang, Qichao. - Kassel : Kassel University Press, 2018
|
|
|
|
286 |
3D trajectory extraction from 2D videos for human activity analysis
Boukhers, Zeyd. - Berlin : Logos Verlag Berlin GmbH, [2017]
|
|
|
|
287 |
A Method for Reasoning about other Agents' Beliefs from Observations
Nittka, Alexander. - Leipzig : Universitätsbibliothek Leipzig, 2017
|
|
|
|
288 |
A system-theoretic safety engineering approach for software-intensive systems
Abdulkhaleq, Asim. - Göttingen : Cuvillier Verlag, 2017, 1. Auflage
|
|
|
|
289 |
Active multispectral SWIR imaging for reliable skin detection and face verification
Steiner, Holger. - Göttingen : Cuvillier Verlag, 2017, 1. Auflage
|
|
|
|
290 |
Adaptable code generation of consistent and customizable data-centric applications with MontiDEx
Roth, Alexander. - Aachen : Shaker Verlag, 2017
|
|
Administration
