de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
jump to main content
Search Details
Quicksearch:
OK
Close
Authors / Collaborators
1
Entries for
Giese, Holger
1
Entries for
Hüllermeier, Eyke
1
Entries for
Lettmann, Theodor
1
Entries for
Schäfer, Wilhelm Fr.
1
Entries for
Steenken, Dominik
1
Entries for
Wehrheim, Heike
Languages
1
Entries for
English
1
Entries for
German
1
Hit
for
Persons = "Wehrheim, Heike" and Collection = Sammlungen der UB Paderborn
Classification
Close
Filters
1
jump to filter-options
Relevance
Title
Persons
Place
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
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015