de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Autoren / Beteiligte
1
Einträge für
Giese, Holger
1
Einträge für
Hüllermeier, Eyke
1
Einträge für
Lettmann, Theodor
1
Einträge für
Schäfer, Wilhelm Fr.
1
Einträge für
Steenken, Dominik
1
Einträge für
Wehrheim, Heike
Sprachen
1
Einträge für
Englisch
1
Einträge für
Deutsch
Bibliotheken
1
Einträge für
Sammlungen der UB Paderborn
1
Titel
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
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015