Hochschulschrift
Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783183295203
3183295202
- Maße
-
21 cm
- Umfang
-
VII, 128 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Darmstadt, Techn. Univ., Diss.
- Erschienen in
-
Fortschritt-Berichte VDI / 20 / Verein Deutscher Ingenieure ; Nr. 295, Reihe 20, Rechnerunterstützte Verfahren
- Schlagwort
-
Entwurfsautomation
Hardwareverifikation
Formale Methode
Binäres Entscheidungsdiagramm
- Ereignis
-
Veröffentlichung
- (wo)
-
Düsseldorf
- (wer)
-
VDI-Verl.
- (wann)
-
1999
- Urheber
-
Höreth, Stefan
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:01 MESZ
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
- Höreth, Stefan
- VDI-Verl.
Entstanden
- 1999
Ähnliche Objekte (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
Effiziente Berechnungsverfahren für Hybridschrittmotoren
Effiziente Konsistenzprüfung durch Funktionenmaterialisierung
Effiziente Kommunikation in Parallelrechnerarchitekturen
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
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
Effiziente Berechnungsverfahren für Hybridschrittmotoren
Effiziente Konsistenzprüfung durch Funktionenmaterialisierung
Effiziente Kommunikation in Parallelrechnerarchitekturen
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
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
Effiziente Berechnungsverfahren für Hybridschrittmotoren
Effiziente Konsistenzprüfung durch Funktionenmaterialisierung
Effiziente Kommunikation in Parallelrechnerarchitekturen
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