jump to main-menu
jump to main content
Quicksearch:
Extended Search
Heinrich-Heine-Universität Düsseldorf
Universitäts- und Landesbibliothek
Digital Collections
Delivery process
Enter
ULB
Digital Collections
Lists
Title
Author / Collaborator
Place
Printer / Publisher
Year
New Additions
Clouds
Authors / Collaborators
Printing place
Printer / Publisher
Year
Weitere E-Pflichtsammlungen
Publikationen aus dem Regierungsbezirk Köln
Publikationen aus den Regierungsbezirken Münster, Detmold und Arnsberg
Your Search
4
Results
Authors / Collaborators
3
Entries for
König, Barbara
2
Entries for
Stückrath, Jan
1
Entries for
Joshi, Salil
1
Entries for
Kerstan, Henning
1
Entries for
Weyers, Benjamin
Periods
4
Entries for
2011-2020
Printer / Publisher
4
Entries for
Informatik Angewandte Kognitionswissenschaft, Fakultät Ingenieurwissenschaften, Univ Duisburg-Essen
4 Titles
jump to filter-options
Search for:
Printer / Publisher = Univ.
Sort by:
Relevance
Title
Author / Collaborator
Place
Printer / Publisher
Year
Show:
10
20
30
50
100
Order:
ascending
descending
The document is publicly available
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
The document is publicly available
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
The document is publicly available
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
The document is publicly available
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