|
471 |
Performance modeling and analysis in high-performance reconfigurable computing
Schumacher, Tobias. - Paderborn : Universitätsbibliothek, 2011
|
|
|
|
472 |
Prädiktive Middleware-basierte Mobilitätsunterstützung für multikriterielle Handover
Evers, Florian. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
|
|
|
|
473 |
Provable Protection of Confidential Data in Microkernel-Based Systems
Völp, Marcus. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
|
474 |
Quality Goal Oriented Architectural Design and Traceability for Evolvable Software Systems
Bode, Stephan. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
|
|
|
|
475 |
Quantenoptisches Verfahren zur Erzeugung zufälliger Bitfolgen
Fürst, Martin. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2011
|
|
|
|
476 |
Quantitative modeling and analysis with FMC-QE
Kluth, Stephan. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2011
|
|
|
|
477 |
Realisierung einer Schedulingumgebung für gemischt-parallele Anwendungen und Optimierung von layer-basierten Schedulingalgorithmen
Kunis, Raphael, 2011
|
|
|
|
478 |
Refinement of Classical Proofs for Program Extraction
Ratiu, Diana. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2011
|
|
|
|
479 |
Reflective Embedding of Domain-Specific Languages
Dinkelaker, Tom. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
|
|
|
|
480 |
Robust distributed software transactions for Haskell
Kupke, Frank Klaus, 2011
|
|
Administration
