de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Dokumenttypen
12
Einträge für
Dissertation
1
Einträge für
Bachelorarbeit
1
Einträge für
Diplomarbeit
Autoren / Beteiligte
14
Einträge für
Schäfer, Wilhelm
3
Einträge für
Becker, Steffen
3
Einträge für
Engels, Gregor
2
Einträge für
Gausemeier, Jürgen
2
Einträge für
Tichy, Matthias
2
Einträge für
Travkin, Dietrich
2
Einträge für
Wehrheim, Heike
1
Einträge für
Cheng, Betty H. C.
1
Einträge für
Christ, Fabian
1
Einträge für
Detten, Markus von
1
Einträge für
Dziwok, Stefan
1
Einträge für
Greenyer, Joel
1
Einträge für
Heinzemann, Christian
1
Einträge für
Henkler, Stefan
1
Einträge für
Hüllermeier, Eyke
1
Einträge für
Inverardi, Paola
1
Einträge für
Kaiser, Lydia
1
Einträge für
Kappel, Gerti
1
Einträge für
Kindler, Ekkart
1
Einträge für
Kleine Büning, Hans
1
Einträge für
Krüger, Ingolf
1
Einträge für
Platenius, Marie Christin
1
Einträge für
Priesterjahn, Claudia
1
Einträge für
Rammig, Franz
1
Einträge für
Rammig, Franz Josef
1
Einträge für
Reussner, Ralf
1
Einträge für
Rieke, Jan Dominik
1
Einträge für
Sauer, Stefan
1
Einträge für
Ziegert, Steffen
Zeige 19 weitere
Zeige erste 10
Sprachen
14
Einträge für
Englisch
8
Einträge für
Deutsch
14
Neuzugänge
Klassifikation
Schliessen
Filter
2
zu den Filteroptionen
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Alle Titel
Klassifikation (DDC)
Informatik, Informationswissenschaft, allgemeine Werke
Philosophie und Psychologie
Religion
Sozialwissenschaften
Naturwissenschaften und Mathematik
Sprache
Künste und Unterhaltung
Geschichte und Geografie
Technik, Medizin, angewandte Wissenschaften
Literatur
vom 3.7.2018
Bewertung automatisch erkannter Instanzen von Software-Mustern
Travkin, Dietrich
;
Schäfer, Wilhelm
;
Kindler, Ekkart
Elektronische Ressource, Paderborn, 2018
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Travkin, Dietrich
;
Schäfer, Wilhelm
;
Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2018
vom 2.10.2017
Specification and verification for real-time coordination protocols of cyber-physical systems
Dziwok, Stefan
;
Schäfer, Wilhelm
;
Tichy, Matthias
Elektronische Ressource, Paderborn, 2017
vom 15.9.2016
Fuzzy matching of comprehensive service specifications
Platenius, Marie Christin
;
Schäfer, Wilhelm
;
Engels, Gregor
;
Becker, Steffen
;
Wehrheim, Heike
;
Inverardi, Paola
;
Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2016
vom 17.3.2016
Graph transformation planning with time and concurrency
Ziegert, Steffen
;
Wehrheim, Heike
;
Schäfer, Wilhelm
Elektronische Ressource, Paderborn, 2016
vom 2.9.2015
Verification and simulation of self-adaptive mechatronic systems
Heinzemann, Christian
2015
vom 11.3.2015
Model consistency management for systems engineering
Rieke, Jan Dominik
2015
vom 13.3.2014
Rahmenwerk zur Modellierung einer plausiblen Systemstruktur mechatronischer Systeme
Kaiser, Lydia
2014
vom 29.8.2013
Analyzing self-healing operations in mechatronic systems
Priesterjahn, Claudia
2013
vom 5.4.2013
Reengineering of component-based software systems in the presence of design deficiencies
Detten, Markus von
2013
vom 17.1.2013
Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen
Christ, Fabian
2012
vom 25.6.2012
Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme
Henkler, Stefan
2012
vom 19.10.2011
Scenario-based design of mechatronic systems
Greenyer, Joel
2011
vom 18.5.2011
Systematic development of model-based software engineering methods
Sauer, Stefan
2011