7 Titel in Informatik
zu den Filteroptionen7 Titel in Informatik
Das Dokument ist öffentlich im Netz zugänglich.Applying the graph minor theorem to the verification of graph transformation systems
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
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 LiteraturanalyseEssen : 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
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 designEssen : Institut für Informatik und Wirtschaftsinformatik (ICB), January 2015 - Das Dokument ist öffentlich im Netz zugänglich.
Schulische IT- und Medienbildung
Ergebnisse einer empirischen Studie an einem rheinland-pfälzischen GymnasiumEssen : 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
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012