|
421 |
Making Models : vom Selbermachen stofflich-digitaler Artefakte als Modellbildung
Katterfeldt, Eva-Sophie. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
422 |
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Scheele, Stephan M.. - Bamberg : University of Bamberg Press, 2015
|
|
|
|
423 |
Model-Based Runtime Adaptation of Resource Constrained Devices
Saller, Karsten. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
|
424 |
Model-Based Scenario Testing and Model Checking with Applications in the Railway Domain
Löding, Helge. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
425 |
Model-supported Process Adoption and Assessment in the Context of Multiple Practice Repositories
Jeners, Simona C.. - Aachen : Shaker, 2015, 1. Aufl.
|
|
|
|
426 |
Neutralität und Transparenz von Netzenwerken und Anwendungen
Dähn, Andreas. - Rostock : Universität Rostock, 2015
|
|
|
|
427 |
Novel Operation Modes of Accelerated Neuromorphic Hardware
Müller, Eric. - Heidelberg : Universitätsbibliothek Heidelberg, 2015
|
|
|
|
428 |
Object Recognition and Localization : the Role of Tactile Sensors
Aggarwal, Achint. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
429 |
On Formalizing UML and OCL Features and Their Employment to Runtime Verification
Hamann, Lars. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
|
430 |
On Privacy-Preserving Protocols for Smart Metering Systems
Borges de Oliveira, Fábio. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
Administration
