de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Dokumenttypen
7
Einträge für
Dissertation
Zeiträume
7
Einträge für
2001-2100
Zeiträume
5
Einträge für
2011-2020
2
Einträge für
2021-2030
Autoren / Beteiligte
7
Einträge für
Wehrheim, Heike
3
Einträge für
Bodden, Eric
3
Einträge für
Engels, Gregor
2
Einträge für
Becker, Steffen
2
Einträge für
Platenius, Marie Christin
1
Einträge für
Ali, Karim
1
Einträge für
Beringer, Steffen
1
Einträge für
Besova, Galina
1
Einträge für
Beyer, Dirk
1
Einträge für
Hermann, Ben
1
Einträge für
Hüllermeier, Eyke
1
Einträge für
Inverardi, Paola
1
Einträge für
Jakobs, Marie-Christine
1
Einträge für
Murphy-Hill, Emerson
1
Einträge für
Nguyen Quang Do, Lisa
1
Einträge für
Pauck, Felix
1
Einträge für
Platzner, Marco
1
Einträge für
Ruhroth, Thomas
1
Einträge für
Schäfer, Wilhelm
1
Einträge für
Suhl, Leena
Zeige 10 weitere
Zeige erste 10
Sprachen
6
Einträge für
Englisch
4
Einträge für
Deutsch
7
Titel
Klassifikation
Schliessen
Filter
3
zu den Filteroptionen
Titel
Personen
Ort
Verlag
Jahr
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
Alle
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
Timing Verifikation von AUTOSAR Softwarearchitekturen
Beringer, Steffen
;
Wehrheim, Heike
;
Engels, Gregor
Elektronische Ressource, Paderborn, 2022
Systematic development and re-use of model transformations
Besova, Galina
;
Engels, Gregor
;
Suhl, Leena
2015
On-The-Fly safety checking - customizing program certification and program restructuring
Jakobs, Marie-Christine
;
Wehrheim, Heike
;
Beyer, Dirk
;
Bodden, Eric
;
Platzner, Marco
;
Platenius, Marie Christin
Elektronische Ressource, Paderborn, 2017
User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa
;
Bodden, Eric
;
Ali, Karim
;
Murphy-Hill, Emerson
;
Wehrheim, Heike
;
Hermann, Ben
Elektronische Ressource, Paderborn, 2019
Cooperative Android App analysis
Pauck, Felix
;
Wehrheim, Heike
;
Bodden, Eric
Elektronische Ressource, Paderborn, 2023
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
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas
2011