search result

Cover von Dagstuhl-Workshop MBEES

Dagstuhl-Workshop MBEES
modellbasierte Entwicklung eingebetteter Systeme IV : Tagungsband : 7. - 9.4.2008
Search for this author
Year: 2008
Publisher: Braunschweig, Universität
Series: Informatik-Bericht / TU Braunschweig / Institut für Software Systems Engineering; 2008-02
Media group: TECHNICAL REPORT
Cover von Organisatorische Maßnahmen zur effizienten Unterstützung höherer Sprachkonstrukte in einem interaktiven Reduktionssystem

Organisatorische Maßnahmen zur effizienten Unterstützung höherer Sprachkonstrukte in einem interaktiven Reduktionssystem
Author: Blödorn, Harald Search for this author
Year: 1992
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9213
Media group: DISSERTATION
Cover von Graphentheoretische und algebraische Verfahren für die Analyse von Kristallstrukturen

Graphentheoretische und algebraische Verfahren für die Analyse von Kristallstrukturen
Author: Goetzke, Kai Search for this author
Year: 1992
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9210
Media group: DISSERTATION
Cover von Fast

Fast
eine Prozessor-Architektur mit einem neuartigen Stacksystem
Author: Aßmann, Claus Search for this author
Year: 1992
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9209
Media group: DISSERTATION
Cover von Pi-red plus

Pi-red plus
ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten Lambda-Kalküls
Author: Gärtner, Dietmar Search for this author
Year: 1992
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9201
Media group: DISSERTATION
Cover von Graphenalgorithmen auf gitterverbundenen Prozessfeldern

Graphenalgorithmen auf gitterverbundenen Prozessfeldern
Author: Schimmler, Manfred Search for this author
Year: 1991
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9112
Media group: DISSERTATION
Cover von Über Komplexitätsfragen Hoarescher Beweissystme

Über Komplexitätsfragen Hoarescher Beweissystme
effiziente Beweiserstellung und komplexitätsbedingte Grenzen bestimmter Systeme
Author: Hungar, Hardi Search for this author
Year: 1990
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9007
Media group: DISSERTATION
Cover von Analyse polymorpher Typen bei logischen Programmiersprachen mittels Substitutionsgrammatiken

Analyse polymorpher Typen bei logischen Programmiersprachen mittels Substitutionsgrammatiken
Author: Ackermann, Dieter Search for this author
Year: 1991
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9101
Media group: DISSERTATION
Cover von GRAPH

GRAPH
eine auf Petri-Netzen basierende Entwicklungsumgebung für verteilte Systeme
Author: Schepers, Jörg Search for this author
Year: 1990
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9010
Media group: DISSERTATION
Cover von Theorie formaler Sprachen in endlich erzeugten Monoiden mit besonderer Berücksichtigung kommutativer Monoide und Gruppen

Theorie formaler Sprachen in endlich erzeugten Monoiden mit besonderer Berücksichtigung kommutativer Monoide und Gruppen
Author: Herbst, Thomas Search for this author
Year: 1990
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9009
Media group: DISSERTATION
OPEN V 11.1.0.0