Hochschulschrift
Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783183295203
3183295202
- Dimensions
-
21 cm
- Extent
-
VII, 128 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Darmstadt, Techn. Univ., Diss.
- Bibliographic citation
-
Fortschritt-Berichte VDI / 20 / Verein Deutscher Ingenieure ; Nr. 295, Reihe 20, Rechnerunterstützte Verfahren
- Keyword
-
Entwurfsautomation
Hardwareverifikation
Formale Methode
Binäres Entscheidungsdiagramm
- Event
-
Veröffentlichung
- (where)
-
Düsseldorf
- (who)
-
VDI-Verl.
- (when)
-
1999
- Creator
-
Höreth, Stefan
- 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, 2:01 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.
Object type
- Hochschulschrift
Associated
- Höreth, Stefan
- VDI-Verl.
Time of origin
- 1999
Other Objects (12)
Binäre Beobachter in elektrischen Antrieben
Impedanzanalyse der Zusammensetzung binärer Flüssigkeitsgemische
Effiziente Produktion
Iterative Decodierung parallel verketteter binärer Faltungscodes
Signalverarbeitung bei Bildgeometrie-Manipulationen
Leichtbau-Konstruktionen : Vorträge d. VDI-Tagung Braunschweig 1957
Die Messung und Berechnung komplexer Phasengleichgewichte binärer Systeme
Erstarrung binärer Kupferlegierungen beim horizontalen Stranggiessen in Graphitkokille
Numerische Berechnung der Fallfilmverdampfung von weitsiedenden binären Gemischen
Effiziente Berechnungsverfahren für Hybridschrittmotoren
Effiziente Konsistenzprüfung durch Funktionenmaterialisierung
Effiziente Kommunikation in Parallelrechnerarchitekturen
Binäre Beobachter in elektrischen Antrieben
Impedanzanalyse der Zusammensetzung binärer Flüssigkeitsgemische
Effiziente Produktion
Iterative Decodierung parallel verketteter binärer Faltungscodes
Signalverarbeitung bei Bildgeometrie-Manipulationen
Leichtbau-Konstruktionen : Vorträge d. VDI-Tagung Braunschweig 1957
Die Messung und Berechnung komplexer Phasengleichgewichte binärer Systeme
Erstarrung binärer Kupferlegierungen beim horizontalen Stranggiessen in Graphitkokille
Numerische Berechnung der Fallfilmverdampfung von weitsiedenden binären Gemischen
Effiziente Berechnungsverfahren für Hybridschrittmotoren
Effiziente Konsistenzprüfung durch Funktionenmaterialisierung
Effiziente Kommunikation in Parallelrechnerarchitekturen
Binäre Beobachter in elektrischen Antrieben
Impedanzanalyse der Zusammensetzung binärer Flüssigkeitsgemische
Effiziente Produktion
Iterative Decodierung parallel verketteter binärer Faltungscodes
Signalverarbeitung bei Bildgeometrie-Manipulationen
Leichtbau-Konstruktionen : Vorträge d. VDI-Tagung Braunschweig 1957
Die Messung und Berechnung komplexer Phasengleichgewichte binärer Systeme
Erstarrung binärer Kupferlegierungen beim horizontalen Stranggiessen in Graphitkokille
Numerische Berechnung der Fallfilmverdampfung von weitsiedenden binären Gemischen
Effiziente Berechnungsverfahren für Hybridschrittmotoren
Effiziente Konsistenzprüfung durch Funktionenmaterialisierung