- Sprache
-
Deutsch
- Anmerkungen
-
Freiburg (Breisgau), Univ., Diss., 2002
- Identifier
-
96453326X
Thema
Logiksynthese ; Binäres Entscheidungsdiagramm ; Hardwareverifikation ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
Thermodiffusion in binären und ternären Oxiden
Phasenverhalten und Transporteigenschaften binärer Systeme aus hochviskosen Polyethylenglykolen und Kohlendioxid
Symbolic methods for testing digital circuits
Adsorption und Phasentrennung binärer flüssiger Mischungen in Porensystemen
Mischungsverhalten und Strukturbildung in abschreckend kondensierten binären Edelgasfestkörpern : Untersuchungen mit akustischen Oberflächenwellen
Mode coupling theory of the glass transition in binary mixtures
On lower bounds for parity branching programs
Eine Untersuchung von diffusionsinduzierten isotropen Volumenexpansionen in dünnen Gold-, Silber-Proben
Magnetowiderstands-Effekt im System Silberselenid-Silber
Global simulation of noble gases and their binary mixtures
Zusammenhang zwischen der Einzelkettendynamik und der Dynamik von Konzentrationsfluktuationen in mehrkomponentigen Polymersystemen : dynamische Mean-Field-Theorie und Computersimulationen
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
Thermodiffusion in binären und ternären Oxiden
Phasenverhalten und Transporteigenschaften binärer Systeme aus hochviskosen Polyethylenglykolen und Kohlendioxid
Symbolic methods for testing digital circuits
Adsorption und Phasentrennung binärer flüssiger Mischungen in Porensystemen
Mischungsverhalten und Strukturbildung in abschreckend kondensierten binären Edelgasfestkörpern : Untersuchungen mit akustischen Oberflächenwellen
Mode coupling theory of the glass transition in binary mixtures
On lower bounds for parity branching programs
Eine Untersuchung von diffusionsinduzierten isotropen Volumenexpansionen in dünnen Gold-, Silber-Proben
Magnetowiderstands-Effekt im System Silberselenid-Silber
Global simulation of noble gases and their binary mixtures
Zusammenhang zwischen der Einzelkettendynamik und der Dynamik von Konzentrationsfluktuationen in mehrkomponentigen Polymersystemen : dynamische Mean-Field-Theorie und Computersimulationen
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
Thermodiffusion in binären und ternären Oxiden
Phasenverhalten und Transporteigenschaften binärer Systeme aus hochviskosen Polyethylenglykolen und Kohlendioxid
Symbolic methods for testing digital circuits
Adsorption und Phasentrennung binärer flüssiger Mischungen in Porensystemen
Mischungsverhalten und Strukturbildung in abschreckend kondensierten binären Edelgasfestkörpern : Untersuchungen mit akustischen Oberflächenwellen
Mode coupling theory of the glass transition in binary mixtures
On lower bounds for parity branching programs
Eine Untersuchung von diffusionsinduzierten isotropen Volumenexpansionen in dünnen Gold-, Silber-Proben
Magnetowiderstands-Effekt im System Silberselenid-Silber
Global simulation of noble gases and their binary mixtures