Operationale Semantik paralleler logischer Sprachen unter Einschluss zeitlicher Aspekte
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
46 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Schriften zur Informatik und angewandten Mathematik ; Bericht Nr. 132
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
RWTH
- (when)
-
1988
- Creator
-
Penner, Volker
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:55 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Penner, Volker
- RWTH
Time of origin
- 1988
Other Objects (12)
Simulation von SIMD-Feldrechnerstrukturen für die Ausführung, Analyse und Verifikation paralleler Algorithmen
Formalisierung der Semantik von Programmiersprachen und Anwendungen
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, Anh.. Implementierung der Programmiersprache BROTAL, Programmliste eines BROTAL → MIXAL-Compilers und ein Übersetzungsbeispiel
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, [Hauptbd.].
Vorlesungsverzeichnis / RWTH Aachen Campus
Über Datenbankrelationen mit Nullwerten und Maybe-Tupeln
Beitrag zur Klärung des Interferenzgalloping-Phänomens bei engstehenden, querangeströmten Kreiszylindern
Beitrag zur Bemessung von Stahlkonstruktionen unter Erdbebenbelastungen bei Berücksichtigung der Duktilität
Selbstkomplementäre Graphen und Relationen
Geometrie und Logik : e. Vorlesung zur Einf. in d. Theorie d. Topoi
Zum Rotationsnachweis von Stahlkonstruktionen, die nach dem Traglastverfahren berechnet werden
Zu den theoretischen Grundlagen und der Implementierung eines Scannergenerators
Simulation von SIMD-Feldrechnerstrukturen für die Ausführung, Analyse und Verifikation paralleler Algorithmen
Formalisierung der Semantik von Programmiersprachen und Anwendungen
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, Anh.. Implementierung der Programmiersprache BROTAL, Programmliste eines BROTAL → MIXAL-Compilers und ein Übersetzungsbeispiel
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, [Hauptbd.].
Vorlesungsverzeichnis / RWTH Aachen Campus
Über Datenbankrelationen mit Nullwerten und Maybe-Tupeln
Beitrag zur Klärung des Interferenzgalloping-Phänomens bei engstehenden, querangeströmten Kreiszylindern
Beitrag zur Bemessung von Stahlkonstruktionen unter Erdbebenbelastungen bei Berücksichtigung der Duktilität
Selbstkomplementäre Graphen und Relationen
Geometrie und Logik : e. Vorlesung zur Einf. in d. Theorie d. Topoi
Zum Rotationsnachweis von Stahlkonstruktionen, die nach dem Traglastverfahren berechnet werden
Zu den theoretischen Grundlagen und der Implementierung eines Scannergenerators
Simulation von SIMD-Feldrechnerstrukturen für die Ausführung, Analyse und Verifikation paralleler Algorithmen
Formalisierung der Semantik von Programmiersprachen und Anwendungen
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, Anh.. Implementierung der Programmiersprache BROTAL, Programmliste eines BROTAL → MIXAL-Compilers und ein Übersetzungsbeispiel
Vollständige Beschreibung der Programmiersprache BROTAL und eine theoretisch begründete Implementierung eines BROTAL → MIXAL-Compilers, [Hauptbd.].
Vorlesungsverzeichnis / RWTH Aachen Campus
Über Datenbankrelationen mit Nullwerten und Maybe-Tupeln
Beitrag zur Klärung des Interferenzgalloping-Phänomens bei engstehenden, querangeströmten Kreiszylindern
Beitrag zur Bemessung von Stahlkonstruktionen unter Erdbebenbelastungen bei Berücksichtigung der Duktilität
Selbstkomplementäre Graphen und Relationen
Geometrie und Logik : e. Vorlesung zur Einf. in d. Theorie d. Topoi
Zum Rotationsnachweis von Stahlkonstruktionen, die nach dem Traglastverfahren berechnet werden