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.03.2025, 11:44 AM 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
- Höreth, Stefan
- VDI-Verl.
Time of origin
- 1999
Other Objects (12)
Impedanzanalyse der Zusammensetzung binärer Flüssigkeitsgemische
Binäre Beobachter in elektrischen Antrieben
Effiziente Produktion
Signalverarbeitung bei Bildgeometrie-Manipulationen
Iterative Decodierung parallel verketteter binärer Faltungscodes
Leichtbau-Konstruktionen : Vorträge d. VDI-Tagung Braunschweig 1957
Optimale Prozeßdynamik bei Manipulation mit Robotern
Effiziente Berechnungsverfahren für Hybridschrittmotoren
Effiziente Konsistenzprüfung durch Funktionenmaterialisierung
Effiziente Kommunikation in Parallelrechnerarchitekturen
Numerische Berechnung der Fallfilmverdampfung von weitsiedenden binären Gemischen
Erstarrung binärer Kupferlegierungen beim horizontalen Stranggiessen in Graphitkokille
Impedanzanalyse der Zusammensetzung binärer Flüssigkeitsgemische
Binäre Beobachter in elektrischen Antrieben
Effiziente Produktion
Signalverarbeitung bei Bildgeometrie-Manipulationen
Iterative Decodierung parallel verketteter binärer Faltungscodes
Leichtbau-Konstruktionen : Vorträge d. VDI-Tagung Braunschweig 1957
Optimale Prozeßdynamik bei Manipulation mit Robotern
Effiziente Berechnungsverfahren für Hybridschrittmotoren
Effiziente Konsistenzprüfung durch Funktionenmaterialisierung
Effiziente Kommunikation in Parallelrechnerarchitekturen
Numerische Berechnung der Fallfilmverdampfung von weitsiedenden binären Gemischen
Erstarrung binärer Kupferlegierungen beim horizontalen Stranggiessen in Graphitkokille
Impedanzanalyse der Zusammensetzung binärer Flüssigkeitsgemische
Binäre Beobachter in elektrischen Antrieben
Effiziente Produktion
Signalverarbeitung bei Bildgeometrie-Manipulationen
Iterative Decodierung parallel verketteter binärer Faltungscodes
Leichtbau-Konstruktionen : Vorträge d. VDI-Tagung Braunschweig 1957
Optimale Prozeßdynamik bei Manipulation mit Robotern
Effiziente Berechnungsverfahren für Hybridschrittmotoren
Effiziente Konsistenzprüfung durch Funktionenmaterialisierung
Effiziente Kommunikation in Parallelrechnerarchitekturen
Numerische Berechnung der Fallfilmverdampfung von weitsiedenden binären Gemischen