de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Zeiträume
14
Einträge für
2001-2100
Zeiträume
14
Einträge für
2011-2020
Autoren / Beteiligte
14
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
Bodden, Eric
2
Einträge für
Kleine Büning, Hans
2
Einträge für
Ngonga Ngomo, Axel-Cyrille
2
Einträge für
Platenius, Marie Christin
2
Einträge für
Platzner, Marco
2
Einträge für
Schäfer, Wilhelm
1
Einträge für
Ali, Karim
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
Beyer, Dirk
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
Hermann, Ben
1
Einträge für
Inverardi, Paola
1
Einträge für
Isenberg, Tobias
1
Einträge für
Jakobs, Marie-Christine
1
Einträge für
Karl, Holger
1
Einträge für
Lettmann, Theodor
1
Einträge für
Meyer, Matthias
1
Einträge für
Murphy-Hill, Emerson
1
Einträge für
Nguyen Quang Do, Lisa
1
Einträge für
Niggemann, Oliver
1
Einträge für
Peuster, Manuel
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
Steenken, Dominik
1
Einträge für
Suhl, Leena
1
Einträge für
Timm, Nils
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
Walther, Sven
1
Einträge für
Ziegert, Steffen
1
Einträge für
Zündorf, Albert
Zeige 34 weitere
Zeige erste 10
Sprachen
14
Einträge für
Englisch
4
Einträge für
Deutsch
14
Titel
in
Klassifikation (DDC)
Klassifikation
Schliessen
Filter
4
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
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
Enhancing development and deployment of softwarised network services
Peuster, Manuel
;
Karl, Holger
;
Capone, Antonio
;
Plessl, Chrsitian
;
Sommer, Christoph
;
Wehrheim, Heike
Elektronische Ressource, Paderborn, 2020
Full semantics preservation in model transformation
Semenyak, Maria
2011
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
Graph transformation planning with time and concurrency
Ziegert, Steffen
;
Wehrheim, Heike
;
Schäfer, Wilhelm
Elektronische Ressource, Paderborn, 2016
Induction-based Verification of Timed Systems
Isenberg, Tobias
;
Wehrheim, Heike
;
Niggemann, Oliver
Elektronische Ressource, Paderborn, 2016
Knowledge-based verification of service compositions
Walther, Sven
;
Wehrheim, Heike
Elektronische Ressource, Paderborn, 2018
Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich
;
Anjorin, Anthony
;
Zündorf, Albert
;
Wehrheim, Heike
;
Meyer, Matthias
;
Sauer, Stefan
Elektronische Ressource, Paderborn, 2018
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
Systematic development and re-use of model transformations
Besova, Galina
;
Engels, Gregor
;
Suhl, Leena
2015
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils
2013
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
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015
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