Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms."
Link zu diesem Datensatz | https://d-nb.info/963211927 |
Titel | WWW.BDD-Portal.ORG : an experimentation platform for binary decision diagram algorithms / Christoph Meinel ; Harald Sack ; Arno Wagner. Universität Trier, Mathematik/Informatik |
Person(en) |
Meinel, Christoph (Verfasser) Sack, Harald (Verfasser) Wagner, Arno (Verfasser) |
Verlag | Trier : Univ., Mathematik, Informatik |
Zeitliche Einordnung | Erscheinungsdatum: 2001 |
Umfang/Format | 11 Bl. : graph. Darst. ; 30 cm |
ISBN/Einband/Preis | geh. |
Sprache(n) | Englisch (eng) |
Beziehungen | Universität Trier. Abteilung Mathematik: Forschungsbericht ; Nr. [20]01,09 |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Frankfurt |
Signatur: 2001 B 25850
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2001 B 25850
Bereitstellung in Leipzig |