|
231 |
Snapshots in large-scale distributed file systems
Stender, Jan. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2013
|
|
|
|
232 |
Social Malcode
Engelberth, Markus. - Mannheim : Universitätsbibliothek Mannheim, 2013
|
|
|
|
233 |
Software Transactional Memory Building Blocks
Riegel, Torvald. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
|
234 |
Test-driven fault navigation for debugging reproducible failures
Perscheid, Michael. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2013
|
|
|
|
235 |
The quantitative µ-calculus
Fischer, Diana. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
236 |
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils. - Paderborn : Universitätsbibliothek, 2013
|
|
|
|
237 |
Timing Analysable Synchronisation Techniques for Parallel Programs on Embedded Multi-Cores
Gerdes, Mike. - Augsburg : Universität Augsburg, 2013
|
|
|
|
238 |
Towards practical and fundamental limits of anonymity protection
Pham, Dang Vinh. - Regensburg : Universitätsbibliothek Regensburg, 2013
|
|
|
|
239 |
Tracing Requirements and Source Code During Software Development
Delater, Alexander. - Heidelberg : Universitätsbibliothek Heidelberg, 2013
|
|
|
|
240 |
Transparente und hochperformante VHDL-Cosimulation im Kontext der virtuellen Maschine FAUmachine
Potyra, Stefan. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2013
|
|
Administration
