Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "11801109X"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/930678591 |
Titel | A BDD based algorithm for computation of exact fault detection probabilities / R. Krieger ; B. Becker ; R. Sinković. [Fachbereich Informatik, Universität Frankfurt] |
Person(en) |
Krieger, Rolf (Verfasser) Becker, Bernd (Verfasser) Sinković, Robert (Verfasser) |
Verlag | Frankfurt [Main] : Fachbereich Informatik, Univ. |
Zeitliche Einordnung | Erscheinungsdatum: [1993] |
Umfang/Format | [12] S. : graph. Darst. ; 30 cm |
ISBN/Einband/Preis | geh. |
Sprache(n) | Englisch (eng) |
Beziehungen | Goethe-Universität Frankfurt am Main. Fachbereich Informatik: Interner Bericht ; 93,2 |
Anmerkungen | Status nach VGG: vergriffen |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Frankfurt |
Signatur: 1993 B 2435
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 1993 B 2435
Bereitstellung in Leipzig |
