search result

Cover von Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Author: Stoyan, Herbert Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 91
Media group: MONOGRAPHIE
Cover von Fachgespräche auf der 14. GI-Jahrestagung

Fachgespräche auf der 14. GI-Jahrestagung
Braunschweig, 1. - 2. Oktober 1984
Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 89
Media group: MONOGRAPHIE
Cover von GI

GI
14. Jahrestagung : Braunschweig, 2. - 4. Oktober 1984 : proceedings
Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 88
Media group: MONOGRAPHIE
Cover von Mustererkennung 1984

Mustererkennung 1984
DAGM / ÖAGM Symposium : Graz, 2. - 4. Oktober 1984 : proceedings
Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 87
Media group: MONOGRAPHIE
Cover von Simulationstechnik

Simulationstechnik
2. Symposium Simulationstechnik : Wien, 25. - 27. September 1984 : proceedings
Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 85
Media group: MONOGRAPHIE
Cover von Fehlertolerierende Rechensysteme

Fehlertolerierende Rechensysteme
2. GI / NTG / GMR-Fachtagung : fault-tolerant computing systems : 2nd GI / NTG / GMR conference : Bonn, 19. - 21. September 1984
Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 84
Media group: MONOGRAPHIE
Cover von Software-Fehlertoleranz und -Zuverlässigkeit

Software-Fehlertoleranz und -Zuverlässigkeit
Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 83
Media group: MONOGRAPHIE
Cover von Mikroarchitekturen und Mikroprogrammierung

Mikroarchitekturen und Mikroprogrammierung
formale Beschreibung und Optimierung
Author: Bode, Arndt Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 82
Media group: MONOGRAPHIE
Cover von Koordination von Informationen

Koordination von Informationen
die Bedeutung von Informations- und Kommunikationstechnologien in privaten und öffentlichen Verwaltungen : IX. Verwaltungsseminar : Konstanz, 5. - 7. Mai 1983
Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 81
Media group: MONOGRAPHIE
Cover von Neue Informationstechnologien und Verwaltung

Neue Informationstechnologien und Verwaltung
Fachtagung 14. - 16. September 1983
Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: Informatik-Fachberichte; 80
Media group: MONOGRAPHIE
OPEN V 11.1.0.0