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

    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.

    Moodle in der Praxis

    Szenarien für die Hochschullehre : 12 Jahre Moodle an der Universität Duisburg-Essen
    Gollan, Holger (Hrsg.) ; Heinrich, Sandrina (Hrsg.) ; Hendriks, Sonja (Hrsg.) ; Monschan, Hanno (Hrsg.) ; Petschenka, Anke (Hrsg.)
    Duisburg ; Essen : Moodle-Kompetenzzentrum (ZIM/UB), Universität Duisburg-Essen, Dezember 2017
  •  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.

    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