Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Forschungsprojekte
Ergebnisse pro Seite:  10

ab 1996

Formalisierung von Verhaltensbeschreibungen im Netzmanagement

1996 - 1997

Modellbildung und Analyse von Rechensystemen

1996 - 1999

Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (AnZenOS)

ab 1995

Diskrete Techniken zur globalen Beleuchtungsberechnung bei der digitalen Bildsynthese (Sprecher: Dipl.-Inform. Marcel Bresink)

1995 - 2000

Grundlagen, Entwicklung und Kombination von Techniken zur Semantik und Abarbeitung erweiterter disjunktiver Programme (DisLoP)

1995 - 1996

Modulare Architektur für Radiosity-Systeme (Sprecher: Dipl.-Inform. Marcel Bresink)

1995 - 1996

Virtuelles Studio

ab 1994

Diagnostik mit Petri-Netzen

ab 1994

DB-Technik in Engineering-Unternehmen (Sprecher: Dipl.-Inform. Thomas Marx)

1994 - 1999

KOSCRIPT- KOblenz SCript RecognItion ProjecT