|
591 |
Process model management using description logics Gröner, Gerd. - Heidelberg : AKA, 2012
|
|
|
592 |
Prototyping tools for hybrid interactions Wiethoff, Alexander. - München : Verl. Dr. Hut, 2012, 1. Aufl.
|
|
|
593 |
Prozessorientiertes Produktqualitätsmonitoring für die Entwicklung elektronischer Systeme Häusler, Stefan, 2012
|
|
|
594 |
Qualitative spatial configuration queries Fogliaroni, Paolo, 2012
|
|
|
595 |
Rechnen mit verschlüsselten Programmen und Daten Brenner, Michael, 2012
|
|
|
596 |
Reconstruction of software component architectures and behaviour models using static and dynamic analysis Krogmann, Klaus. - Karlsruhe : KIT Scientific Publ., 2012
|
|
|
597 |
Remembering in the metaverse Müller, Florian. - Konstanz : Hartung-Gorre, 2012, 1. ed.
|
|
|
598 |
Runtime integrity framework based on trusted computing Suen, Chun Hui, 2012
|
|
|
599 |
Scheduling algorithms for saving energy and balancing load Antoniadis, Antonios, 2012
|
|
|
600 |
SCRIPT Stangl, Harald Florian, 2012
|
|