14 Titel in Informatik

zu den Filteroptionen

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
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.
Context modelling for adaptive collaboration
Haake, Jörg M.
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2009
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 nur im Sonderlesesaal der ULB zugänglich.
Digitale Transformation
Welker, Carl B.
1. Auflage, Düsseldorf : IADT Publish, Februar 2025
Das Dokument ist nur im Sonderlesesaal der ULB zugänglich.
Digitalisierung und Tokenisierung
das neue Web3 Business auf den Blockchains
Welker, Carl B.
1. Auflage, Düsseldorf : IADT Publish, September 2024, 2024
Das Dokument ist öffentlich im Netz zugänglich.
GSCL-Symposium Sprachtechnologie und eHumanities
26.02.2009 - 27.02.2009 ; Universität Duisburg-Essen, Campus Duisburg
Höppner, Wolfgang (Hrsg.) ; Symposium Sprachtechnologie und Ehumanities <2009, Duisburg> ; Gesellschaft für Sprachtechnologie und Computerlinguistik
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2009
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.
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