18 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.

    IT an allgemeinbildenden Schulen

    Bildungsgegenstand und -infrastruktur : Auswertung internationaler empirischer Studien und Literaturanalyse
    Schauer, Carola ; Schauer, Hanno
    Essen : Institut für Informatik und Wirtschaftsinformatik (ICB), January 2015
  •  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.

    Model-based engineering of an automotive adaptive exterior lighting system

    realistic example specifications of behavioral requirements and functional design
    Föcker, Felix ; Houdek, Frank ; Daun, Marian ; Weyer, Thorsten
    Essen : Institut für Informatik und Wirtschaftsinformatik (ICB), January 2015
  •  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.

    Playful interaction concepts

    Gamification in Unternehmenssoftware : Abschlussbericht
    Schmidt, Ralf (Hrsg.) ; Brüsch, Elke (Hrsg.) ; Hoos, Sebastian (Hrsg.)
    Duisburg ; Essen : Universität Duisburg-Essen, [2016]
  •  Das Dokument ist öffentlich im Netz zugänglich.

    Schulische IT- und Medienbildung

    Ergebnisse einer empirischen Studie an einem rheinland-pfälzischen Gymnasium
    Schauer, Carola ; Schauer, Hanno
    Essen : Institut für Informatik und Wirtschaftsinformatik (ICB), Universität Duisburg-Essen, August 2015
  •  Das Dokument ist öffentlich im Netz zugänglich.

    Spare parts dispatch fraud detection analysis

    Verma, Shivangi ; Rajendran, C.
    Duisburg ; Essen : Universität Duisburg-Essen, [2025]
  •  Das Dokument ist nur im Sonderlesesaal der ULB zugänglich.

    Tokenisierung und DAO auf Blockchains

    Informationen, Werte, Unternehmen im Internet of Value
    Welker, Carl B.
    1. Auflage, Düsseldorf : IADT Publish, September 2024, 2024
  •  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
  •  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