Hochschulschrift
Programmverifikation unter Verwendung der formalisierten Darstellung der algorithmischen Idee
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
266 Bl. in getr. Zählung
- Language
-
Deutsch
- Notes
-
Erscheint in 3 Bd.
Dresden, Techn. Univ., Diss. A, 1984 (Nicht f.d. Austausch)
- Keyword
-
Algorithmus
Programm (Elektronische Datenverarbeitung)
Computerprogramm
Algorithmus
Programm
- Creator
-
Friedrich, Horst
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:16 PM CET
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.
Object type
- Hochschulschrift
Associated
- Friedrich, Horst
Other Objects (12)
Zur Effektivität der Absolventen der Ingenieurschule für Holztechnik im Reproduktionskreis Holz : Eine philos.-soziol. Studie
Der Begriff des Gesetzes im Sinne des Revisionsrechts
Versuche über die Wirkung von Cardiazol, Coffein und Theophyllin auf die Blut-Hirn-Schranke und die Permeabilität des Zentralnervensystems
Die Berechnung drehsymmetrisch belasteter Rotationsschalen mit viskoelastischem Materialverhalten unter Berücksichtigung endlicher Verformungen
Die Erziehung zum sozialistischen Patriotismus im Chemieunterricht : Dargest. am Lehrgang d. 12-klassigen allgemeinbildenden polytechn. Oberschule. [1. 2]
Kinderbuch der Reihe Göttinger Jugend-Bände
Prozesspolitik : makroökonomische Ablaufspolitik
Hiob, Teilbd. 1.. Hiob 1 - 19 / Horst Friedrich
Wirtschaft, 3.. Konjunktur, Wachstum, Strukturwandel / [Ms.: Horst Friedrich]
Fernstudienlehrgang Sozialkunde, [...]. Block Volkswirtschaft
Weltanschauliche Probleme der Technologie
Strafverfahren wegen Widerstands und Beleidigung (§§ 74, 113, 123, 185) gegen Horst Friedrich (*02.06.1911) und Martha Amelang, geb. Prann (*14.08.1871):
Zur Effektivität der Absolventen der Ingenieurschule für Holztechnik im Reproduktionskreis Holz : Eine philos.-soziol. Studie
Der Begriff des Gesetzes im Sinne des Revisionsrechts
Versuche über die Wirkung von Cardiazol, Coffein und Theophyllin auf die Blut-Hirn-Schranke und die Permeabilität des Zentralnervensystems
Die Berechnung drehsymmetrisch belasteter Rotationsschalen mit viskoelastischem Materialverhalten unter Berücksichtigung endlicher Verformungen
Die Erziehung zum sozialistischen Patriotismus im Chemieunterricht : Dargest. am Lehrgang d. 12-klassigen allgemeinbildenden polytechn. Oberschule. [1. 2]
Kinderbuch der Reihe Göttinger Jugend-Bände
Prozesspolitik : makroökonomische Ablaufspolitik
Hiob, Teilbd. 1.. Hiob 1 - 19 / Horst Friedrich
Wirtschaft, 3.. Konjunktur, Wachstum, Strukturwandel / [Ms.: Horst Friedrich]
Fernstudienlehrgang Sozialkunde, [...]. Block Volkswirtschaft
Weltanschauliche Probleme der Technologie
Strafverfahren wegen Widerstands und Beleidigung (§§ 74, 113, 123, 185) gegen Horst Friedrich (*02.06.1911) und Martha Amelang, geb. Prann (*14.08.1871):
Zur Effektivität der Absolventen der Ingenieurschule für Holztechnik im Reproduktionskreis Holz : Eine philos.-soziol. Studie
Der Begriff des Gesetzes im Sinne des Revisionsrechts
Versuche über die Wirkung von Cardiazol, Coffein und Theophyllin auf die Blut-Hirn-Schranke und die Permeabilität des Zentralnervensystems
Die Berechnung drehsymmetrisch belasteter Rotationsschalen mit viskoelastischem Materialverhalten unter Berücksichtigung endlicher Verformungen
Die Erziehung zum sozialistischen Patriotismus im Chemieunterricht : Dargest. am Lehrgang d. 12-klassigen allgemeinbildenden polytechn. Oberschule. [1. 2]
Kinderbuch der Reihe Göttinger Jugend-Bände
Prozesspolitik : makroökonomische Ablaufspolitik
Hiob, Teilbd. 1.. Hiob 1 - 19 / Horst Friedrich
Wirtschaft, 3.. Konjunktur, Wachstum, Strukturwandel / [Ms.: Horst Friedrich]
Fernstudienlehrgang Sozialkunde, [...]. Block Volkswirtschaft
Weltanschauliche Probleme der Technologie