de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
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
Engels, Gregor
2
Einträge für
Becker, Steffen
2
Einträge für
Hüllermeier, Eyke
1
Einträge für
Anjorin, Anthony
1
Einträge für
Beringer, Steffen
1
Einträge für
Besova, Galina
1
Einträge für
Giese, Holger
1
Einträge für
Inverardi, Paola
1
Einträge für
König, Jürgen
1
Einträge für
Lettmann, Theodor
1
Einträge für
Meyer, Matthias
1
Einträge für
Platenius, Marie Christin
1
Einträge für
Ruhroth, Thomas
1
Einträge für
Sauer, Stefan
1
Einträge für
Schäfer, Wilhelm
1
Einträge für
Schäfer, Wilhelm Fr.
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
Zündorf, Albert
Zeige 11 weitere
Zeige erste 10
Sprachen
7
Einträge für
Deutsch
5
Einträge für
Englisch
7
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
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
Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich
;
Anjorin, Anthony
;
Zündorf, Albert
;
Wehrheim, Heike
;
Meyer, Matthias
;
Sauer, Stefan
Elektronische Ressource, Paderborn, 2018
On the membership and correctness problem for state serializability and value opacity
König, Jürgen
;
Wehrheim, Heike
Elektronische Ressource, Paderborn, 2023
Systematic development and re-use of model transformations
Besova, Galina
;
Engels, Gregor
;
Suhl, Leena
2015
Timing Verifikation von AUTOSAR Softwarearchitekturen
Beringer, Steffen
;
Wehrheim, Heike
;
Engels, Gregor
Elektronische Ressource, Paderborn, 2022
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015