Search

Now showing items 1-10 of 16

2005-03-01Zeitschriftenartikel

Zuverlässigkeitsprüfung eingebetteter Steuergeräte mit modellgetriebener Fehlerinjektion

Schlingloff, Bernd-Holger; Vulinovic, Sasa

Dateiformate für das elektronische Publizieren

Ziel dieser Arbeit war es allgemeine Anforderungen an Dateiformate für die elektronische Publikation von Dokumenten zu formulieren. Anhand dieser Kriterien wurden gängige Formate auf ihre Eignung überprüft. Diese Studienarbeit ...

2005-01-01Berichte und sonstige Texte

Analog/Digital - Schrift, Bilder & Zahlen als Basismedien

2005-10-01Berichte und sonstige Texte

Informatik im Kontext

2001-01-01Zeitschriftenartikel

On pseudorandomness and resource-bounded measure

Arvind, Vikraman; Köbler, Johannes

2004-02-01Berichte und sonstige Texte

Between the disciplines

1995-10-27Zeitschriftenartikel

On reductions to sets that avoid EXPSPACE

Arvind, Vikraman; Köbler, Johannes; Mundhenk, M.

2004-05-01Berichte und sonstige Texte

Was ist Informatik ... für die Gesellschaft?

1995-06-01Zeitschriftenartikel

The power of the middle bit of a #P function

Green, Frederic; Köbler, Johannes; Regan, Kenneth W.; Schwentick, Thomas; Toran, Jacobo

2005-03-01Zeitschriftenartikel

Modeling and Model Checking Web Services

Schlingloff, Bernd-Holger; Schmidt, Karsten; Martens, Axel

1
2