search result

Cover von Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
Author: Heinz, Birgit Search for this author
Year: 1996
Publisher: München, Oldenbourg
Series: GMD-Bericht; 261
Media group: DISSERTATION
Cover von Dynamisch veränderbare Betriebssystemstrukturen
Author: Schmidt, Henning Search for this author
Year: 1996
Publisher: München, Oldenbourg
Series: GMD-Bericht; 259
Media group: DISSERTATION
Cover von To assist the user
on the embedding of adaptive and agent-based mechanisms
Author: Thomas, Christoph G. Search for this author
Year: 1996
Publisher: München, Oldenbourg
Series: GMD-Bericht; 258
Media group: DISSERTATION
Cover von Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme
Author: Trescher, Joachim Search for this author
Year: 1996
Publisher: München, Oldenbourg
Series: GMD-Bericht; 257
Media group: DISSERTATION
Cover von Eine Methode zur Spezifikation von Geometrie und Struktur zweidimensionaler Darstellungen
Author: Gabriel, Robert Search for this author
Year: 1995
Publisher: München, Oldenbourg
Series: GMD-Bericht; 256
Media group: DISSERTATION
Cover von Parallel execution enabled by refined source analysis
cost and benefits in a supercompiler
Author: Mayer, Herbert Georg Search for this author
Year: 1996
Publisher: München, Oldenbourg
Series: GMD-Bericht; 272
Media group: DISSERTATION
Cover von Generierung von Programmoptimierungen mit Graphenersetzungssystemen
Author: Aßmann, Uwe Search for this author
Year: 1996
Publisher: München, Oldenbourg
Series: GMD-Bericht; 262
Media group: DISSERTATION
Cover von Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme
Author: Smith, Einar Search for this author
Year: 1989
Publisher: München, Oldenbourg
Series: GMD-Bericht; 180
Media group: DISSERTATION
Cover von Das Verhalten verteilter Systeme
Author: Reisig, Wolfgang Search for this author
Year: 1987
Publisher: München, Oldenbourg
Series: GMD-Bericht; 170
Media group: MONOGRAPHIE
Cover von Kausale Semantik nichtsequentieller Programme
Author: Best, Eike Search for this author
Year: 1989
Publisher: München, Oldenbourg
Series: GMD-Bericht; 174
Media group: DISSERTATION
OPEN V 11.1.0.0