|
621 |
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen Koycheva, Evelina. - München : Oldenbourg, 2013
|
|
|
622 |
Event-driven Middleware for Body and Ambient Sensor Applications Seeger, Christian. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013
|
|
|
623 |
Extensible Languages for Flexible and Principled Domain Abstraction Erdweg, Sebastian Thore. - Marburg : Philipps-Universität Marburg, 2013
|
|
|
624 |
Extensible languages for flexible and principled domain abstraction Erdweg, Sebastian Thore, 2013
|
|
|
625 |
Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis Höfig, Kai Bodo. - Stuttgart : Fraunhofer-Verl., 2013
|
|
|
626 |
Feingranulare Korrektheitsprüfung des Kontrollflusses von Echtzeitsystemen Wolf, Julian. - Augsburg : Universität Augsburg, 2013
|
|
|
627 |
Forensic acquisition and analysis of volatile data in memory=Forensische Sicherung und Auswertung flüchtiger Daten im Hauptspeicher Vömel, Stefan, 2013
|
|
|
628 |
Formal specification level Soeken, Mathias, 2013
|
|
|
629 |
"Free Software, Free Society"? Meyer, Silke. - Berlin : Freie Universität Berlin, 2013
|
|
|
630 |
Free Theorems in Languages with Real-World Programming Features Seidel, Daniel. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
|
|