|
1471 |
SAT-basierte Verifikation von Graphtransformationseinheiten Ermler, Marcus, 2015
|
|
|
1472 |
Scene Reconstruction from Multi-Scale Input Data Fuhrmann, Simon. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
1473 |
Scene reconstruction from multi-scale input data Fuhrmann, Simon, 2015
|
|
|
1474 |
School shootings Verhovnik-Heinze, Melanie. - Baden-Baden : Nomos, 2015, 1. Aufl.
|
|
|
1475 |
Scrum and self-control Heß, Philipp, 2015
|
|
|
1476 |
Seamless concurrent programming of objects, aspects and events Van Ham, Jurgen Michael, 2015
|
|
|
1477 |
Seamless Concurrent Programming of Objects, Aspects and Events Van Ham, Jurgen Michael. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
1478 |
Search engines for children Gossen, Tatiana. - Wiesbaden : Springer Vieweg, [2016]
|
|
|
1479 |
Secure and robust image hashing algorithm for content based image authentication Shin, Jinse. - Aachen : Shaker Verlag, 2015
|
|
|
1480 |
Secure Web Services für ambiente eingebettete Systeme Unger, Sebastian. - Rostock, 2015
|
|