|
621 |
Model composition in model-checking
Felscher, Ingo. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
622 |
Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements
Daw Pérez, Zamira Angélica. - Kassel : Kassel University Press, 2014
|
|
|
|
623 |
Model-driven engineering methodology for design space exploration of embedded systems
Oliveira, Marcio Ferreira da Silva. - Paderborn : Universitätsbibliothek, 2014
|
|
|
|
624 |
Modellgetriebene Validierung von System-Architekturen gegen architekturrelevante Anforderungen. Ein Ansatz zur Validierung mit Hilfe von Simulationen
Pflüger, André. - Bamberg : Otto-Friedrich-Universität Bamberg, 2014
|
|
|
|
625 |
Multi-Algorithmen-Rendering
Petring, Ralf. - Paderborn : Universitätsbibliothek, 2014
|
|
|
|
626 |
Multi-Modal Activity Recognition Systems with Minimal Training Data and Unobtrusive Environmental Instrumentations
Bauer, Gerald. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
|
|
627 |
Multi-Scale Surface Reconstruction from Images
Klowsky, Ronny. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
628 |
Multiple Instance Learning with Random Forests and Applications in Industrial Optical Inspection
Wieler, Matthias. - Heidelberg : Universitätsbibliothek Heidelberg, 2014
|
|
|
|
629 |
Neural network based feature extraction for speech and image recognition
Plahl, Christian. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
630 |
Novel Techniques for Efficient and Effective Subgroup Discovery
Lemmerich, Florian. - Würzburg : Universität Würzburg, 2014
|
|
Administration
