Rudolf Kruse

Conrad, Stefan · Dissertation, Braunschweig 1994:
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
Veröffentlichungsort: Düsseldorf · Veröffentlichungsjahr: 1994 · ISBN: 3-18-329510-5 · Gutachter 1: Ehrich, Hans-Dieter · Gutachter 2: Kruse, Rudolf

Titelstichwörter:

Basiskalkül · Verifikation · Eigenschaften · synchron · interagierender · Objekte

normierte Schlagwörter:

Tags:

Tag hinzufügen
Gómez, Jorge Carlos Marx · Dissertation, Magdeburg 2001:
Rechnergestützte Ansätze zur Rückflussprognose von Altprodukten zum Remanufacturing
Veröffentlichungsort: Aachen · Veröffentlichungsjahr: 2001 · ISBN: 3-8265-9063-5 · Gutachter 1: Rautenstrauch, Claus · Gutachter 2: Kruse, Rudolf · Gutachter 3: Hilty, Lorenz

Titelstichwörter:

Rechnergestützte · Ansätze · Rückflussprognose · Altprodukten · Remanufacturing

normierte Schlagwörter:

Tags:

Tag hinzufügen