zum Hauptmenü
zum Inhalt
Heinrich-Heine-Universität Düsseldorf
Schnellsuche:
OK
Erweiterte Suche
E-Pflicht-Sammlung
ULB
E-Pflichtsammlung
Pflichtabgabe
Ablieferungsverfahren
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
Suchergebnis
Verfasser / Beteiligte
3
Einträge für
König, Barbara
2
Einträge für
Ehrig, Hartmut
1
Einträge für
Baldan, Paolo
1
Einträge für
Bruggink, H. J. Sander
1
Einträge für
Rangel, Guilherme
Zeiträume
3
Einträge für
2001-2010
Orte
3
Einträge für
Duisburg
Verlage
3
Einträge für
Informatik Angewandte Kognitionswissenschaft, Fakultät Ingenieurwissenschaften, Univ Duisburg-Essen
3
Treffer
für
Ort = "[Duisburg]"
zu den Filteroptionen
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
Das Dokument ist öffentlich im Netz zugänglich.
On the recognizability of arrow and graph languages
Bruggink, H. J. Sander
;
König, Barbara
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008