Einführung in die abstrakte Software-Spezifikation : Ausarbeitung e. Vorlesung vom WS 1981/82, RWTH Aachen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
138 Sp.
- Sprache
-
Deutsch
- Anmerkungen
-
Literaturverz. Sp. 135 - 138
- Erschienen in
-
Schriften zur Informatik und angewandten Mathematik ; Bericht Nr. 75
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:46 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Klaeren, Herbert
- RWTH
Entstanden
- 1982
Ähnliche Objekte (12)
Vorlesungsverzeichnis / RWTH Aachen Campus
RWTH-Themen : Forschungsmagazin
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.].
Eine abstrakte Maschine zur optimalen Auswertung funktionaler Programme
RWTH Alumni keep in touch : Magazin für Ehemalige der Rheinisch-Westfälischen Technischen Hochschule Aachen
Mathematische Logik, 1.. Ausarbeitung einer Vorlesung gehalten im SS 1976 an der RWTH Aachen
Lineare Optimierung : Ausarbeitung e. Vorlesung vom WS 1979/80
Einführung in die mathematische Komplexitätstheorie : Ausarbeitung e. Vorlesung gehalten im WS 1975/76 an d. RWTH Aachen
Berechenbarkeit und Algorithmen : Ausarbeitung e. Vorlesung vom WS 76/77
Informatik, 1.. Ausarbeitung einer Vorlesung vom WS 74/75 / von Joachim Biskup u. Walter Oberschelp
Die RWTH Aachen aus anderer Perspektive : Informationen zum Studium an der RWTH Aachen für Studierende mit Behinderung oder chronischer Krankheit
Vorlesungsverzeichnis / RWTH Aachen Campus
RWTH-Themen : Forschungsmagazin
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.].
Eine abstrakte Maschine zur optimalen Auswertung funktionaler Programme
RWTH Alumni keep in touch : Magazin für Ehemalige der Rheinisch-Westfälischen Technischen Hochschule Aachen
Mathematische Logik, 1.. Ausarbeitung einer Vorlesung gehalten im SS 1976 an der RWTH Aachen
Lineare Optimierung : Ausarbeitung e. Vorlesung vom WS 1979/80
Einführung in die mathematische Komplexitätstheorie : Ausarbeitung e. Vorlesung gehalten im WS 1975/76 an d. RWTH Aachen
Berechenbarkeit und Algorithmen : Ausarbeitung e. Vorlesung vom WS 76/77
Informatik, 1.. Ausarbeitung einer Vorlesung vom WS 74/75 / von Joachim Biskup u. Walter Oberschelp
Die RWTH Aachen aus anderer Perspektive : Informationen zum Studium an der RWTH Aachen für Studierende mit Behinderung oder chronischer Krankheit
Vorlesungsverzeichnis / RWTH Aachen Campus
RWTH-Themen : Forschungsmagazin
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.].
Eine abstrakte Maschine zur optimalen Auswertung funktionaler Programme
RWTH Alumni keep in touch : Magazin für Ehemalige der Rheinisch-Westfälischen Technischen Hochschule Aachen
Mathematische Logik, 1.. Ausarbeitung einer Vorlesung gehalten im SS 1976 an der RWTH Aachen
Lineare Optimierung : Ausarbeitung e. Vorlesung vom WS 1979/80
Einführung in die mathematische Komplexitätstheorie : Ausarbeitung e. Vorlesung gehalten im WS 1975/76 an d. RWTH Aachen
Berechenbarkeit und Algorithmen : Ausarbeitung e. Vorlesung vom WS 76/77
Informatik, 1.. Ausarbeitung einer Vorlesung vom WS 74/75 / von Joachim Biskup u. Walter Oberschelp