|
961 |
The quantitative µ-calculus
Fischer, Diana. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
962 |
The tutor-in-the-loop model for formative assessment
Herding, Daniel Chu. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
963 |
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils. - Paderborn : Universitätsbibliothek, 2013
|
|
|
|
964 |
Timing Analysable Synchronisation Techniques for Parallel Programs on Embedded Multi-Cores
Gerdes, Mike. - Augsburg : Universität Augsburg, 2013
|
|
|
|
965 |
Towards practical and fundamental limits of anonymity protection
Pham, Dang Vinh. - Regensburg : Universitätsbibliothek Regensburg, 2013
|
|
|
|
966 |
Trace-based Performance Analysis for Hardware Accelerators
Juckeland, Guido. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
|
967 |
Tracing Requirements and Source Code During Software Development
Delater, Alexander. - Heidelberg : Universitätsbibliothek Heidelberg, 2013
|
|
|
|
968 |
Transparency- and Performance-Oriented Control of Haptic Teleoperation Systems
Passenberg, Carolina. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
969 |
Transparente und hochperformante VHDL-Cosimulation im Kontext der virtuellen Maschine FAUmachine
Potyra, Stefan. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2013
|
|
|
|
970 |
Treiber, Auswirkungen und Erfolgsfaktoren der Integration von Informationssystemen
Chowanetz, Maximilian. - Würzburg : Universität Würzburg, 2013
|
|
Administration
