Fakultät für Informatik

Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture

Fakultät für Informatik, F. W. von Henke, F. Informatik, 2003 .

Genetische Programmierung einer algorithmischen Chemie

Fakultät für Informatik, F. Informatik, 2007 .

Educating Surfers or Craftsmen: Introducing an ICT Curriculum for the 21

Manfred Broy, Peter Hubwieser, Fakultät für Informatik, 1999 .

Correctness of Model-based Software Composition (CMC)

Elke Pulvermüller, Ragnhild Van Der Straeten, Interner Bericht, 2003 .

Coordination of Multimedia Services and Applications in Mobile, Heterogeneous Network Environment

Fakultät für Informatik, Oberer Eselsberg, Abteilung Verteilte Systeme, 2006 .

On Visualization and Reconstruction from Non-uniform Point Sets

Fakultät für Informatik, F. Informatik, 2009 .