|
411 |
Integrating symbolic execution, debugging and verification Hentschel, Martin. - Darmstadt, 2016
|
|
|
412 |
Invasive tightly coupled processor arrays Lari, Vahid, [2016]
|
|
|
413 |
Komplexitätsanalyse verschiedener Wahlprobleme zur Beeinflussung des Wahlausgangs Krüger, Dominikus Johannes. - Ulm, 2016
|
|
|
414 |
Komponentenorientiertes Cloud Computing Weiss, Steffen. - Ulm, 2016
|
|
|
415 |
Kontextbezug und Authentizität in Sozialen Netzen Schönfeld, Mirco. - Berlin : Logos Verlag Berlin GmbH, 2016
|
|
|
416 |
Konzept und Umsetzung einer modularen, portierbaren Middleware für den automatisierten Test eingebetteter Systeme Trenkel, Kristian. - Chemnitz : Universitätsverlag Chemnitz, 2016, [1. Aufl.]
|
|
|
417 |
Light-field imaging and heterogeneous light fields Diebold, Maximilian, 2016
|
|
|
418 |
Link layer network coding in wireless networks Günther, Stephan Matthias. - München : Lehrstuhl für Netzarchitekturen und Netzdienste, Fakultät für Informatik, Technische Universität München, [2016]
|
|
|
419 |
Link mining and localisation in the context of face-to-face contact networks Scholz, Christoph. - Kassel : Kassel University Press, [2016]
|
|
|
420 |
Load modelling and generation in IP-based networks Kolesnikov, Andrey. - Hamburg, 2016
|
|