zum Hauptmenü
zum Inhalt
Schnellsuche:
Erweiterte Suche
Heinrich-Heine-Universität Düsseldorf
Universitäts- und Landesbibliothek
E-Pflichtsammlung
Pflichtabgabe
Ablieferungsverfahren
ULB
E-Pflichtsammlung
Titellisten
Titel
Verfasser / Beteiligte
Ort
Verlag
Jahr
Neuzugänge
Clouds
Verfasser / Beteiligte
Orte
Verlage
Jahr
Weitere E-Pflichtsammlungen
Publikationen aus dem Regierungsbezirk Köln
Publikationen aus den Regierungsbezirken Münster, Detmold und Arnsberg
Verfasser / Beteiligte
2
Titel
2
Verfasser / Beteiligte
zu den Filteroptionen
Alle
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
Das Dokument ist öffentlich im Netz zugänglich.
Composition and decomposition of DPO transformations with borrowed context
Baldan, Paolo
;
Ehrig, Hartmut
;
König, Barbara
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2006
Das Dokument ist öffentlich im Netz zugänglich.
Deriving bisimulation congruences in the presence of negative application conditions
Rangel, Guilherme
;
König, Barbara
;
Ehrig, Hartmut
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008