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
3
Einträge für
König, Barbara
2
Einträge für
Stückrath, Jan
1
Einträge für
Joshi, Salil
1
Einträge für
Kerstan, Henning
1
Einträge für
Weyers, Benjamin
Zeiträume
4
Einträge für
2011-2020
4 Titel
zu den Filteroptionen
Suche nach:
Serie (Nummer) = HT017379630 oder Serie = Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft
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.
Lattice-extended coloured Petri net rewriting for adaptable user interface models
Stückrath, Jan
;
Weyers, Benjamin
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2014
Das Dokument ist öffentlich im Netz zugänglich.
Well-structured graph transformation systems with negative application conditions
König, Barbara
;
Stückrath, Jan
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012
Das Dokument ist öffentlich im Netz zugänglich.
Applying the graph minor theorem to the verification of graph transformation systems
Joshi, Salil
;
König, Barbara
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012
Das Dokument ist öffentlich im Netz zugänglich.
Coalgebraic trace semantics for probabilistic transition systems based on measure theory
Kerstan, Henning
;
König, Barbara
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012