|
1501 |
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Appold, Christian. - Würzburg, 2015
|
|
|
1502 |
Systementwurf eingebetteter heterogener rekonfigurierbarer Systeme mit Linux-Betriebssystem am Beispiel einer modularen Plattform zur Erfassung und Verarbeitung von Sensordaten
Kriesten, Daniel. - Chemnitz : Universitätsbibliothek Chemnitz, 2015
|
|
|
|
1503 |
Systemtheorien, Komplexität, Emergenz und der notwendige Beobachter
Karban, Walter. - Hamburg : Verlag Dr. Kovač, 2015
|
|
|
|
1504 |
Testing life cycle-related properties of mobile applications
Franke, Dominik. - Aachen : Shaker, 2015
|
|
|
|
1505 |
Testing life cycle-related properties of mobile applications
Franke, Dominik. - Aachen : Universitätsbibliothek der RWTH Aachen, 2015
|
|
|
|
1506 |
Testing Life Cycle-related Properties of Mobile Applications
Franke, Dominik. - Aachen : Shaker, 2015, 1. Aufl.
|
|
|
|
1507 |
The delta radiance field
Franke, Tobias Alexander, 2015
|
|
|
|
1508 |
The delta radiance field
Franke, Tobias Alexander. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
1509 |
The digital humanities, informatics and the semantic web
Kuper, Heinz-Günter, 2015
|
|
|
|
1510 |
The Feasibility, Semantics, and Scope of Mobile Wireless Device-to-Device Networking
Wirtz, Hanno. - Aachen : Universitätsbibliothek der RWTH Aachen, 2015
|
|
Administration
