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
3
Results
Authors / Collaborators
3
Entries for
König, Barbara
1
Entries for
Joshi, Salil
1
Entries for
Kerstan, Henning
1
Entries for
Stückrath, Jan
Periods
3
Entries for
2011-2020
Printing place
3
Entries for
Duisburg
Printer / Publisher
3
Entries for
Informatik Angewandte Kognitionswissenschaft, Fakultät Ingenieurwissenschaften, Univ Duisburg-Essen
3 Titles
jump to filter-options
Search for:
Year = 2001 - 2015
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
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