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
Suchergebnis
4
Treffer
Verfasser / Beteiligte
2
Einträge für
König, Barbara
1
Einträge für
Baldan, Paolo
1
Einträge für
Bruggink, H. J. Sander
1
Einträge für
Ehrig, Hartmut
1
Einträge für
Rangel, Guilherme
1
Einträge für
Universität Duisburg-Essen
Orte
4
Einträge für
Duisburg
4 Titel
zu den Filteroptionen
Suche nach:
Jahr = 2008
Sortieren nach:
Relevanz
Titel
Verfasser / Beteiligte
Ort
Verlag
Jahr
Treffer pro Seite:
10
20
30
50
100
Reihenfolge:
aufsteigend
absteigend
Das Dokument ist öffentlich im Netz zugänglich.
Christiane Nüsslein-Volhard
Entwicklungsbiologin
Universität Duisburg-Essen
Duisburg, 2008
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
Das Dokument ist öffentlich im Netz zugänglich.
Unfolding-based diagnosis of systems with an evolving topology
Baldan, Paolo
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008