- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540513407
354051340X
9780387513409
038751340X
- Dimensions
-
25 cm
- Extent
-
VI, 132 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 127 - 130
- Bibliographic citation
-
Lecture notes in computer science ; 370
- Keyword
-
Entscheidungsgraph
Berechnungskomplexität
Programmverzweigung
Verzweigung (Datenverarbeitung)
Programmverifikation
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong
- (who)
-
Springer
- (when)
-
1989
- Creator
- 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:22 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.
Associated
- Meinel, Christoph
- Springer
Time of origin
- 1989
Other Objects (12)
Modified branching programs and their computational power
Protonen- und Deuteronen-NMR in Einkristallen : Phasenübergänge und Dynamik der Phenylringe in Para-Terphenyl, Bi-(Chlor-Phenyl)-Sulfon und Biphenyl
Über die durch Kodierungen induzierte Hierarchie von Umwelten und Labyrinthen
Proceedings 2012 / HPI Future SOC Lab. [Universität Potsdam ; HPI, Hasso-Plattner-Institut, IT Systems Engineering, Universität Potsdam]. Christoph Meinel ... (Hrsg.)
Technical report : fall retreat 2018
Karl Friedrich Zöllner und die Wissenschaftskultur der Gründerzeit : eine Fallstudie zur Genese konservativer Zivilisationskritik
Anbieter von Cloud Speicherdiensten im Überblick
Geschlechterverhältnisse in Medizin, Naturwissenschaft und Technik
Proceedings 2013 / HPI Future SOC Lab. [Universität Potsdam ; HPI, Hasso-Plattner-Institut, IT Systems Engineering, Universität Potsdam]. Christoph Meinel ... (Hrsg.)
Instrument - Experiment : historische Studien
HPI Future SOC Lab - Proceedings 2018
Grenzgänger zwischen Himmel und Erde : Kometen in der frühen Neuzeit
Modified branching programs and their computational power
Protonen- und Deuteronen-NMR in Einkristallen : Phasenübergänge und Dynamik der Phenylringe in Para-Terphenyl, Bi-(Chlor-Phenyl)-Sulfon und Biphenyl
Über die durch Kodierungen induzierte Hierarchie von Umwelten und Labyrinthen
Proceedings 2012 / HPI Future SOC Lab. [Universität Potsdam ; HPI, Hasso-Plattner-Institut, IT Systems Engineering, Universität Potsdam]. Christoph Meinel ... (Hrsg.)
Technical report : fall retreat 2018
Karl Friedrich Zöllner und die Wissenschaftskultur der Gründerzeit : eine Fallstudie zur Genese konservativer Zivilisationskritik
Anbieter von Cloud Speicherdiensten im Überblick
Geschlechterverhältnisse in Medizin, Naturwissenschaft und Technik
Proceedings 2013 / HPI Future SOC Lab. [Universität Potsdam ; HPI, Hasso-Plattner-Institut, IT Systems Engineering, Universität Potsdam]. Christoph Meinel ... (Hrsg.)
Instrument - Experiment : historische Studien
HPI Future SOC Lab - Proceedings 2018
Grenzgänger zwischen Himmel und Erde : Kometen in der frühen Neuzeit
Modified branching programs and their computational power
Protonen- und Deuteronen-NMR in Einkristallen : Phasenübergänge und Dynamik der Phenylringe in Para-Terphenyl, Bi-(Chlor-Phenyl)-Sulfon und Biphenyl
Über die durch Kodierungen induzierte Hierarchie von Umwelten und Labyrinthen
Proceedings 2012 / HPI Future SOC Lab. [Universität Potsdam ; HPI, Hasso-Plattner-Institut, IT Systems Engineering, Universität Potsdam]. Christoph Meinel ... (Hrsg.)
Technical report : fall retreat 2018
Karl Friedrich Zöllner und die Wissenschaftskultur der Gründerzeit : eine Fallstudie zur Genese konservativer Zivilisationskritik
Anbieter von Cloud Speicherdiensten im Überblick
Geschlechterverhältnisse in Medizin, Naturwissenschaft und Technik
Proceedings 2013 / HPI Future SOC Lab. [Universität Potsdam ; HPI, Hasso-Plattner-Institut, IT Systems Engineering, Universität Potsdam]. Christoph Meinel ... (Hrsg.)
Instrument - Experiment : historische Studien
HPI Future SOC Lab - Proceedings 2018