|
71 |
Runtime MPI Correctness Checking with a Scalable Tools Infrastructure
Hilbrich, Tobias. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016
|
|
|
|
72 |
Runtime Support for Quality of Information Requirements in Event-based Systems
Frischbier, Sebastian. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
73 |
Scrum and Self-Control : How a team-based software development methodology can support team members' self-control
Heß, Philipp. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
74 |
Secure Web Services für ambiente eingebettete Systeme
Unger, Sebastian. - Rostock : Universität Rostock, 2016
|
|
|
|
75 |
Securely Instantiating Cryptographic Schemes Based on the Learning with Errors Assumption
Göpfert, Florian. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
76 |
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Appold, Christian. - Würzburg : Universität Würzburg, 2016
|
|
|
|
77 |
Approaches to Automatic Text Structuring
Erbs, Nicolai. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
78 |
Assessing and Enhancing Functional Safety Mechanisms for Safety-Critical Software Systems
Piper, Thorsten. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
79 |
Code-Reuse Attacks and Defenses
Davi, Lucas Vincenzo. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
80 |
Concepts for In-memory Event Tracing
Wagner, Michael. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015
|
|
Administration
