Zum Inhalt springen

  3. Sasao, Tsutomu [Sonstige Person, Familie und Körperschaft] ; International Federation for Information Processing Working Group Very Large Scale Integration, Workshop on Applications of the Reed Muller Expansion in Circuit Design 2 1995 Makuhari, Chiba-ken

    Representations of discrete functions

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Boston [u.a.]: Kluwer Academic Publ., 1996

  8. Appold, Christian [VerfasserIn] ; Kolla, Reiner [Sonstige Person, Familie und Körperschaft]; Scholl, Christoph [Sonstige Person, Familie und Körperschaft]

    Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Würzburg: Universität Würzburg, 2016

  9. Sack, Harald [VerfasserIn]

    Improving the Power of Ordered Binary Decision Diagrams by Integrating Parity Nodes ; Verbesserung der Berechnungskraft von geordneten Binaeren Entscheidungsdiagrammen durch Integration von Parity-Knoten

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Publication Server of Tier University (OPUS), 2004-06-15