Hochschulschrift
Speichereffiziente Modellprüfung mit zyklischen binären Entscheidungsdiagrammen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897226180
3897226189
- Maße
-
21 cm
- Umfang
-
195 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 2000
- Schlagwort
-
Speicher
Model Checking
Binäres Entscheidungsdiagramm
- 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:00 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
- Reffel, Frank
- Logos-Verl.
Entstanden
- 2001
Ähnliche Objekte (12)
Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL
Zetafunktionen über Gruppenringen und p-Klassengruppen zyklischer Erweiterungen vom Grad p
Modellierung und Simulation zyklisch betriebener Festbettprozesse am Beispiel der hybriden Distickstoffoxid-Zersetzung unter Strömungsumkehr
Spindynamik von zyklischen Spinclusterverbindungen
Darstellung und spektroskopische Untersuchungen von azyklischen und zyklischen Phosphoranen sowie zyklischen Sulfuranen
Motorische Schnelligkeit bei zyklischen Bewegungsabläufen
Über Automorphismengruppen von zyklischen Codes
Ein monetäres Modell zyklischen Wachstums
Hierarchische Produktionsplanung mit zyklischen Auflagemustern
Über Automorphismengruppen von zyklischen Codes
Elektronenspinresonanz an zyklischen Spincluster-Verbindungen
Theater als akustischer Raum, Buch.
Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL
Zetafunktionen über Gruppenringen und p-Klassengruppen zyklischer Erweiterungen vom Grad p
Modellierung und Simulation zyklisch betriebener Festbettprozesse am Beispiel der hybriden Distickstoffoxid-Zersetzung unter Strömungsumkehr
Spindynamik von zyklischen Spinclusterverbindungen
Darstellung und spektroskopische Untersuchungen von azyklischen und zyklischen Phosphoranen sowie zyklischen Sulfuranen
Motorische Schnelligkeit bei zyklischen Bewegungsabläufen
Über Automorphismengruppen von zyklischen Codes
Ein monetäres Modell zyklischen Wachstums
Hierarchische Produktionsplanung mit zyklischen Auflagemustern
Über Automorphismengruppen von zyklischen Codes
Elektronenspinresonanz an zyklischen Spincluster-Verbindungen
Theater als akustischer Raum, Buch.
Konzept zur Modellierung fehlertoleranter zyklischer Prozesse mit SDL
Zetafunktionen über Gruppenringen und p-Klassengruppen zyklischer Erweiterungen vom Grad p
Modellierung und Simulation zyklisch betriebener Festbettprozesse am Beispiel der hybriden Distickstoffoxid-Zersetzung unter Strömungsumkehr
Spindynamik von zyklischen Spinclusterverbindungen
Darstellung und spektroskopische Untersuchungen von azyklischen und zyklischen Phosphoranen sowie zyklischen Sulfuranen
Motorische Schnelligkeit bei zyklischen Bewegungsabläufen
Über Automorphismengruppen von zyklischen Codes
Ein monetäres Modell zyklischen Wachstums
Hierarchische Produktionsplanung mit zyklischen Auflagemustern
Über Automorphismengruppen von zyklischen Codes
Elektronenspinresonanz an zyklischen Spincluster-Verbindungen