Werner Damm
Werner Damm (* 13. Februar 1951 in Gießen; † 20. August 2021 in Reiskirchen) war ein deutscher Sportreporter sowie Radio- und Fernsehmoderator. Veröffentlicht in Wikipedia
Treffer 1 - 16 von 16 für Suche 'Damm, Werner', Suchdauer: 0,23s
Treffer weiter einschränken
-
1
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen von Damm, Werner 1952-
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Abschlussarbeit Buch Wird geladen … -
2
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen von Damm, Werner
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3
Die IO- und OI-Hierarchien als Interpretaion von Schemata mit Rekursion auf höheren Typen von Damm, Werner
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Abschlussarbeit Buch Wird geladen … -
4
The IO- und OI-Hierarchies von Damm, Werner
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
Probleme der Analyse des Ost-West-Kräfteverhältnisses bei den Seestreitkräften von Damm, Werner
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6
Entwurf und Implementierung eines multi-threaded RISC-Prozessors von Damm, Werner, Mikschl, Alfred
Veröffentlicht 1994Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
7
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen von Damm, Werner 1952-
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch E-Book -
8
Automatic generation of simulation tools a case study in the design of a retargetable firmware development system von Damm, Werner
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9
Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen von Damm, Werner
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Abschlussarbeit Buch Wird geladen … -
10
The IO- and OI-hierarchies von Damm, Werner
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11
Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen von Damm, Werner
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12
A Microprogramming Logic von Damm, Werner
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13
A microprogramming logic von Damm, Werner
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14
A sound and relatively complete Hoare-Logic for a language with higher type producers von Damm, Werner, Josko, Bernhard
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15
A sound and relatively complete Hoare-logic for a language with higher type procedures von Damm, Werner, Josko, Bernhard
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16
The IO- and OI-hierarchies von Damm, Werner
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Hochschulschrift
Firmware
Verifikation
Programmverifikation
Computerarchitektur
Entwurf
Mikroprogrammierung
ALGOL
Microprogramming
Programmschema
Rekursion
Computer Science
Computer architecture
Computer science
Control Structures and Microprogramming
Informatik
Software engineering
Special Purpose and Application-Based Systems