Hochschulschrift
Programmverifikation unter Verwendung der formalisierten Darstellung der algorithmischen Idee
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
266 Bl. in getr. Zählung
- Sprache
-
Deutsch
- Anmerkungen
-
Erscheint in 3 Bd.
Dresden, Techn. Univ., Diss. A, 1984 (Nicht f.d. Austausch)
- Schlagwort
-
Algorithmus
Programm (Elektronische Datenverarbeitung)
Computerprogramm
Algorithmus
Programm
- Urheber
-
Friedrich, Horst
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:16 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Friedrich, Horst
Ähnliche Objekte (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