-
1
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Veröffentlicht 1987Abschlussarbeit Buch -
2
-
3
Die IO- und OI-Hierarchien als Interpretaion von Schemata mit Rekursion auf höheren Typen
Veröffentlicht 1981Abschlussarbeit Buch -
4
-
5
Probleme der Analyse des Ost-West-Kräfteverhältnisses bei den Seestreitkräften
Veröffentlicht 1980Buch -
6
Entwurf und Implementierung eines multi-threaded RISC-Prozessors
Veröffentlicht 1994Inhaltsverzeichnis
Buch -
7
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Veröffentlicht 1987
VolltextElektronisch E-Book -
8
-
9
Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen
Veröffentlicht 1980Abschlussarbeit Buch -
10
-
11
Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen
Veröffentlicht 1980Buch -
12
-
13
-
14
A sound and relatively complete Hoare-Logic for a language with higher type producers
Veröffentlicht 1982Buch -
15
A sound and relatively complete Hoare-logic for a language with higher type procedures
Veröffentlicht 1982Buch -
16
-
17
-
18
Petrologie und Geochronologie der Magmatite im Küstenkordilleren-Segment Taltal-Chanaral, Nordchile
Veröffentlicht 1980Mikrofilm Buch -
19
Petrologie und Geochronologie der Magmatite im Küstenkordilleren-Segment Taltal-Chanaral, Nordchile
Veröffentlicht 1980Abschlussarbeit Buch -
20