|
81 |
Optimized scheduling in real-time environments with column generation
Hoffmann, Sebastian. - Mainz : Universitätsbibliothek Mainz, 2014
|
|
|
82 |
Reconfiguration of legacy software artifacts in resource constraint embedded systems
Baldin, Daniel, 2014
|
|
|
|
83 |
Reconfiguration of legacy software artifacts in resource constraint embedded systems
Baldin, Daniel. - Paderborn : Universitätsbibliothek, 2014
|
|
|
|
84 |
Trusted and Privacy-preserving Embedded Systems: Advances in Design, Analysis and Application of Lightweight Privacy-preserving Authentication and Physical Security Primitives
Wachsmann, Christian. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
85 |
Virtual integration
Schorer, Michael, 2014
|
|
|
|
86 |
Virtual integration: A game-theoretic approach
Schorer, Michael. - Regensburg : Universitätsbibliothek Regensburg, 2014
|
|
|
|
87 |
23. SIT-SmartCard-Workshop
SmartCard Workshop (23 : 2013 : Darmstadt). - Stuttgart : Fraunhofer-Verl., 2013
|
|
|
|
88 |
An automated semantic-based approach for creating task structures
Büker, Matthias, 2013
|
|
|
|
89 |
An automated semantic-based approach for creating task structures
Büker, Matthias. - Oldenburg : BIS der Universität Oldenburg, 2013
|
|
|
|
90 |
Clock refinement in imperative synchronous languages
Gemünde, Mike, 2013
|
|
Administration
