Media type: Book Title: Branching programs and binary decision diagrams : theory and applications Contributor: Wegener, Ingo [Author] imprint: Philadelphia, Pa.: SIAM, 2000 Published in: SIAM monographs on discrete mathematics and applications Extent: X, 408 S.; graph. Darst Language: English ISBN: 0898714583 RVK notation: ST 130 : Allgemeines Keywords: OBDD > Verzweigendes Programm > Komplexitätstheorie Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 130 W411 B8 Item ID: 30083530 Status: Loanable
Central Library – stack Shelf-mark: R2016 8 9761 Item ID: 32991156 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.
Departmental Library DrePunct Shelf-mark: ST 130 W411 B8 Item ID: 31576230 Status: Verfügbarkeit bitte in Prof Algebraische logische Grundlagen Informatik erfragen.