|
11 |
Probabilistic fusion of multiple distributed sensors
Köping, Lukas. - Berlin : Logos, [2018]
|
|
|
12 |
Konzept und Umsetzung einer modularen, portierbaren Middleware für den automatisierten Test eingebetteter Systeme
Trenkel, Kristian. - Chemnitz : Universitätsbibliothek Chemnitz, 2016
|
|
|
|
13 |
Konzept und Umsetzung einer modularen, portierbaren Middleware für den automatisierten Test eingebetteter Systeme
Trenkel, Kristian. - Chemnitz : Universitätsverlag Chemnitz, 2016, [1. Aufl.]
|
|
|
|
14 |
Link mining and localisation in the context of face-to-face contact networks
Scholz, Christoph. - Kassel : Kassel University Press, [2016]
|
|
|
|
15 |
Link Mining and Localisation in the Context of Face-to-Face Contact Networks
Scholz, Christoph. - Kassel : Kassel University Press, 2016
|
|
|
|
16 |
Automated techniques for functional verification at the electronic system level
Le, Hoang M., 2015
|
|
|
|
17 |
Clock Refinement in Imperative Synchronous Languages
Gemünde, Mike. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
|
|
18 |
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen
Patzina, Sven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
19 |
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (eingebetteten) Systemen
Patzina, Sven, 2014
|
|
|
|
20 |
Fast and accurate performance simulation of out-of-order processing cores in embedded systems
Plyaskin, Roman. - München : Universitätsbibliothek der TU München, 2014
|
|
Administration
