de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Zeiträume
9
Einträge für
2011-2020
1
Einträge für
2021-2030
Autoren / Beteiligte
10
Einträge für
Wehrheim, Heike
3
Einträge für
Engels, Gregor
3
Einträge für
Hüllermeier, Eyke
2
Einträge für
Ngonga Ngomo, Axel-Cyrille
2
Einträge für
Platzner, Marco
2
Einträge für
Schäfer, Wilhelm
1
Einträge für
Andrews, David
1
Einträge für
Anjorin, Anthony
1
Einträge für
Becker, Steffen
1
Einträge für
Besova, Galina
1
Einträge für
Capone, Antonio
1
Einträge für
Fischer, Matthias
1
Einträge für
Giese, Holger
1
Einträge für
Inverardi, Paola
1
Einträge für
Karl, Holger
1
Einträge für
Kleine Büning, Hans
1
Einträge für
Lettmann, Theodor
1
Einträge für
Meyer auf der Heide, Friedhelm
1
Einträge für
Meyer, Matthias
1
Einträge für
Peuster, Manuel
1
Einträge für
Platenius, Marie Christin
1
Einträge für
Plessl, Chrsitian
1
Einträge für
Sauer, Stefan
1
Einträge für
Schäfer, Dirk
1
Einträge für
Schäfer, Wilhelm Fr.
1
Einträge für
Semenyak, Maria
1
Einträge für
Simon, Jens
1
Einträge für
Sommer, Christoph
1
Einträge für
Somorovsky, Juraj
1
Einträge für
Steenken, Dominik
1
Einträge für
Suhl, Leena
1
Einträge für
Travkin, Dietrich
1
Einträge für
Travkin, Oleg
1
Einträge für
Waegeman, Willem
1
Einträge für
Wiersema, Tobias
1
Einträge für
Ziegert, Steffen
1
Einträge für
Zündorf, Albert
Zeige 27 weitere
Zeige erste 10
Sprachen
10
Einträge für
Englisch
4
Einträge für
Deutsch
Bibliotheken
10
Einträge für
Sammlungen der UB Paderborn
10
Titel
Klassifikation
Schliessen
Filter
2
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
Systematic development and re-use of model transformations
Besova, Galina
;
Engels, Gregor
;
Suhl, Leena
2015
Enhancing development and deployment of softwarised network services
Peuster, Manuel
;
Karl, Holger
;
Capone, Antonio
;
Plessl, Chrsitian
;
Sommer, Christoph
;
Wehrheim, Heike
Elektronische Ressource, Paderborn, 2020
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
Dyad ranking with generalized Plackett-Luce models
Schäfer, Dirk
;
Hüllermeier, Eyke
;
Waegeman, Willem
;
Ngonga Ngomo, Axel-Cyrille
;
Wehrheim, Heike
;
Fischer, Matthias
Elektronische Ressource, Paderborn, 2018
Full semantics preservation in model transformation
Semenyak, Maria
2011
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015
Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich
;
Anjorin, Anthony
;
Zündorf, Albert
;
Wehrheim, Heike
;
Meyer, Matthias
;
Sauer, Stefan
Elektronische Ressource, Paderborn, 2018
Verifying concurrent programs under weak memory models
Travkin, Oleg
;
Wehrheim, Heike
;
Kleine Büning, Hans
;
Ngonga Ngomo, Axel-Cyrille
;
Platzner, Marco
;
Simon, Jens
Elektronische Ressource, Paderborn, 2017
Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Wiersema, Tobias
;
Platzner, Marco
;
Wehrheim, Heike
;
Andrews, David
;
Meyer auf der Heide, Friedhelm
;
Somorovsky, Juraj
Elektronische Ressource, Paderborn, 2021
Graph transformation planning with time and concurrency
Ziegert, Steffen
;
Wehrheim, Heike
;
Schäfer, Wilhelm
Elektronische Ressource, Paderborn, 2016