de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
jump to main content
Search Details
Quicksearch:
OK
Close
Places
2
Entries for
Paderborn
Authors / Collaborators
2
Entries for
Wehrheim, Heike
1
Entries for
Becker, Steffen
1
Entries for
Engels, Gregor
1
Entries for
Hüllermeier, Eyke
1
Entries for
Inverardi, Paola
1
Entries for
Isenberg, Tobias
1
Entries for
Niggemann, Oliver
1
Entries for
Platenius, Marie Christin
1
Entries for
Schäfer, Wilhelm
Languages
2
Entries for
English
1
Entries for
German
2
Titles
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
All
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
Induction-based Verification of Timed Systems
Isenberg, Tobias
;
Wehrheim, Heike
;
Niggemann, Oliver
Elektronische Ressource, Paderborn, 2016
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