|
381 |
Ensemble-based programming for scientific applications Huang, Haowei, 2013
|
|
|
382 |
Entwicklung eines Modelica Compiler BackEnds für große Modelle Frenkel, Jens, 2013
|
|
|
383 |
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und generalisierten Netzen Koycheva, Evelina. - München : Oldenbourg, 2013
|
|
|
384 |
Extensible languages for flexible and principled domain abstraction Erdweg, Sebastian Thore, 2013
|
|
|
385 |
Failure-dependent timing analysis - a new methodology for probabilistic worst-case execution time analysis Höfig, Kai Bodo. - Stuttgart : Fraunhofer-Verl., 2013
|
|
|
386 |
Forensic acquisition and analysis of volatile data in memory=Forensische Sicherung und Auswertung flüchtiger Daten im Hauptspeicher Vömel, Stefan, 2013
|
|
|
387 |
Formal specification level Soeken, Mathias, 2013
|
|
|
388 |
Free theorems in languages with real-world programming features Seidel, Daniel, 2013
|
|
|
389 |
Full virtual machine state reconstruction for security applications Schneider, Christian A., 2013
|
|
|
390 |
Gridification and workflow scheduling for the German D-grid Sommerfeld, Dietmar. - [Clausthal-Zellerfeld] : [Univ.-Bibliothek], [2013]
|
|