|
391 |
Free theorems in languages with real-world programming features Seidel, Daniel, 2013
|
|
|
392 |
Full virtual machine state reconstruction for security applications Schneider, Christian A., 2013
|
|
|
393 |
Gridification and workflow scheduling for the German D-grid Sommerfeld, Dietmar. - [Clausthal-Zellerfeld] : [Univ.-Bibliothek], [2013]
|
|
|
394 |
Identifikation und Analyse von sicherheitsbezogenen Komponenten in semi-formalen Modellen Siebold, Uli. - Stuttgart : Fraunhofer-Verl., 2013
|
|
|
395 |
Impact of localized electromagnetic field measurements on implementations of asymmetric cryptography Heyszl, Johann, 2013
|
|
|
396 |
Improving the internal quality of software through reputation-based gamification Prause, Christian Reinhard, 2013
|
|
|
397 |
Incorporating software product line knowledge into requirements processes Adam, Sebastian. - Stuttgart : Fraunhofer-Verl., 2013
|
|
|
398 |
Incremental model synchronization with precedence-driven triple graph grammars Lauder, Marius Paul, 2013
|
|
|
399 |
Incremental ontology-based integration for translational medical research Praßer, Fabian, 2013
|
|
|
400 |
Incremental recomputations in materialized data integration Jörg, Thomas, 2013
|
|