|
1041 |
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme Appold, Christian. - Würzburg, 2015
|
|
|
1042 |
Systemtheorien, Komplexität, Emergenz und der notwendige Beobachter Karban, Walter. - Hamburg : Verlag Dr. Kovač, 2015
|
|
|
1043 |
Testing life cycle-related properties of mobile applications Franke, Dominik. - Aachen : Shaker, 2015
|
|
|
1044 |
The delta radiance field Franke, Tobias Alexander, 2015
|
|
|
1045 |
The digital humanities, informatics and the semantic web Kuper, Heinz-Günter, 2015
|
|
|
1046 |
The feasibility, semantics, and scope of mobile wireless device-to-device networking Wirtz, Hanno. - Aachen : Shaker, 2015
|
|
|
1047 |
The Google-Sentiment Dietzel, Marian Alexander, 2015
|
|
|
1048 |
The influence of a self-avatar on space and body perception in immersive virtual reality Piryankova, Ivelina. - Berlin : Logos-Verl., 2015
|
|
|
1049 |
The war in our backyard Wunsch Gaarmann, Margit V.. - Berlin : Neofelis-Verl., 2015
|
|
|
1050 |
Time series analysis informed by dynamical systems theory Schumacher, Johannes, 2015
|
|