|
631 |
Free theorems in languages with real-world programming features
Seidel, Daniel, 2013
|
|
|
632 |
Full Virtual Machine State Reconstruction for Security Applications
Schneider, Christian A.. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
633 |
Full virtual machine state reconstruction for security applications
Schneider, Christian A., 2013
|
|
|
|
634 |
Gridification and workflow scheduling for the german D-grid
Sommerfeld, Dietmar. - Clausthal-Zellerfeld : Universitätsbibliothek Clausthal, 2013
|
|
|
|
635 |
Gridification and workflow scheduling for the German D-grid
Sommerfeld, Dietmar. - [Clausthal-Zellerfeld] : [Univ.-Bibliothek], [2013]
|
|
|
|
636 |
Identifikation und Analyse von sicherheitsbezogenen Komponenten in semi-formalen Modellen
Siebold, Uli. - Stuttgart : Fraunhofer-Verl., 2013
|
|
|
|
637 |
Impact of Localized Electromagnetic Field Measurements on Implementations of Asymmetric Cryptography
Heyszl, Johann. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
638 |
Impact of localized electromagnetic field measurements on implementations of asymmetric cryptography
Heyszl, Johann, 2013
|
|
|
|
639 |
Improving the internal quality of software through reputation-based gamification
Prause, Christian Reinhard. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
640 |
Improving the internal quality of software through reputation-based gamification
Prause, Christian Reinhard, 2013
|
|
Administration
