Starten Sie Ihre Suche...


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

Informatik (RPTU in Kaiserslautern)

Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau

Gottlieb Daimler-Str., 67663 Kaiserslautern
  • 0631/205-2561
  • 0631/205-2645
Forschungsprojekte
Ergebnisse pro Seite:  10

1996 - 1998

Temporallogische Programmierung

1996 - 1998

Lernen von Suchheuristiken beim Theorembeweisen

1996 - 1998

Protokollimplementierung mit Estelle - Vom Prototypen zu effizientem Kode

1996 - 1997

Simulation eines Brammenlagers

1995 - 1998

Erfassung, Analyse und Synthese euthopometrischer Körperbaudaten zur Automatisierung von Design- und Fertigungsprozessen bei Individualprodukten

1995 - 1998

CAD-gerechte Oberflächen- und Volumen-Rekonstruktion komplexer Objekte aus einer Menge von unstrukturierten Oberflächenpunkten

1995 - 2000

Flexible Planung und Steuerung von Software-Entwicklungsprozessen

ab 1992

PARIS: Plan Abstraction and Refinement in an Integrated System

1989 - 2004

Bibliography of Mathematical Logic and Related Fields

Entwicklung des hierarchischen parallelen Termersetzungssystems Teamwork-PaReDux