de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
jump to main content
Search Details
Quicksearch:
OK
Close
Authors / Collaborators
3
Entries for
Hüllermeier, Eyke
3
Entries for
Wehrheim, Heike
1
Entries for
Becker, Steffen
1
Entries for
Engels, Gregor
1
Entries for
Fischer, Matthias
1
Entries for
Giese, Holger
1
Entries for
Inverardi, Paola
1
Entries for
Lettmann, Theodor
1
Entries for
Ngonga Ngomo, Axel-Cyrille
1
Entries for
Platenius, Marie Christin
1
Entries for
Schäfer, Dirk
1
Entries for
Schäfer, Wilhelm
1
Entries for
Schäfer, Wilhelm Fr.
1
Entries for
Steenken, Dominik
1
Entries for
Waegeman, Willem
Show 5 more
Show first 10
Languages
3
Entries for
English
2
Entries for
German
3
Titles
in
Klassifikation (DDC)
Classification
Close
Filters
2
jump to filter-options
Title
Persons
Place
Publisher
Year
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
All Titles
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
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
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015