Starten Sie Ihre Suche...


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

Informatikwissenschaften

FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier

54286 Trier
  • 0651/
  • 0651/
Forschungsprojekte
Ergebnisse pro Seite:  10

1996 - 2001

BDD-basierte Datenstrukturen für sequentielle Schaltkreise

1996 - 1997

OBDD-basierte Datenstrukturen im industriellen Einsatz

ab 1996

Caching und Replikation von WWW-Dokumenten

1995 - 1996

WiMo: Modelling and Acquisition of Knowledge for Case-based Reasoning

1995 - 1999

Entwicklung und Anwendung der Fusionsmethode für die Ableitung unterer Schranken und der Berechnungskomplexität

1995 - 2000

Entwurf und Implementierung paralleler Programmiersprachen

1994 - 1996

PARIS: Plan Abstraction and Refinement in an Integrated System

1994

OOReuse: Reuse of Object-Oriented Software

ab 1993

Trierer Informatik-Bibliographie / DBLP

1992 - 1996

Branching Programme als Datenstruktur für den Schaltkreisentwurf