Treffer 1 – 9 von 9 für Suche 'Gergov, Jordan', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Mod-2-OBDD's a generalization of OBDD's and EXOR-sum-of-products

    Mod-2-OBDD's a generalization of OBDD's and EXOR-sum-of-products von Gergov, Jordan, Meinel, Christoph

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Combinational logic verification with FBDDs

    Combinational logic verification with FBDDs von Gergov, Jordan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Efficient Boolean manipulation with OBDD's can be extended to FBDD's

    Efficient Boolean manipulation with OBDD's can be extended to FBDD's von Gergov, Jordan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Komplexitätstheoretische Untersuchungen verschiedener Analyse- und Syntheseprobleme für eingeschränkte Branching-Programm-Modelle

    Komplexitätstheoretische Untersuchungen verschiedener Analyse- und Syntheseprobleme für eingeschränkte Branching-Programm-Modelle von Gergov, Jordan

    Veröffentlicht 1992
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Combinational logic verification with FBDDs

    Combinational logic verification with FBDDs von Gergov, Jordan, Meinel, Christoph

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Efficient Boolean manipulation with OBDD's can be extended to FBDD's

    Efficient Boolean manipulation with OBDD's can be extended to FBDD's von Gergov, Jordan, Meinel, Christoph

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Mod-2-OBDD's a generalization of OBDD's and EXOR sum of products

    Mod-2-OBDD's a generalization of OBDD's and EXOR sum of products von Gergov, Jordan

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Analysis and manipulation of Boolean functions in terms of decision graphs

    Analysis and manipulation of Boolean functions in terms of decision graphs von Gergov, Jordan, Meinel, Christoph

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Efficient analysis and manipulation of OBDDs can be extended to read-once-only branching programs

    Efficient analysis and manipulation of OBDDs can be extended to read-once-only branching programs von Gergov, Jordan, Meinel, Christoph

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: