Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Binary decision diagrams : theory and implementation / Rolf Drechsler, Bernd Becker.

    • Text
    • Boston : Kluwer Academic Publishers, c1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 98-1369Offsite

  • Formal verification of circuits / Rolf Drechsler.

    • Text
    • Boston : Kluwer Academic Publishers, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-1985Offsite

  • Advanced formal verification / edited by Rolf Drechsler.

    • Text
    • Boston ; London : Kluwer Academic Publishers, c2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 04-553Offsite

  • Graph matching : filtering databases of graphs using machine learning techniques / Crhistophe-André Mario Irniger.

    • Text
    • Berlin : AKA, 2005.
    • 2005
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 06-95Offsite

  • Binary decision diagrams : theory and implementation / Rolf Drechsler, Bernd Becker.

    • Text
    • Boston : Kluwer Academic Publishers, [1998], ©1998.
    • 1998-1998
    • 1 Item
    FormatCall NumberItem Location
    Text T57.95 .D69 1998Off-site

  • Formal verification of circuits / Rolf Drechsler.

    • Text
    • Boston : Kluwer Academic Publishers, [2000], ©2000.
    • 2000-2000
    • 1 Item
    FormatCall NumberItem Location
    Text TK7867 .D7 2000Off-site

  • Advanced BDD optimization / by Rüdiger Ebendt, Görschwin Fey and Rolf Drechsler.

    • Text
    • Dordrecht ; New York : Springer, [2005], ©2005.
    • 2005-2005
    • 1 Item
    FormatCall NumberItem Location
    Text T57.95 .E246 2005gOff-site

  • Transactions on rough sets IV / James F. Peters, Andrzej Skowron (eds.).

    • Text
    • Berlin ; New York, NY : Springer, [2005], ©2005.
    • 2005-2005
    • 1 Item
    FormatCall NumberItem Location
    Text QA248 .T652 2005gOff-site

  • The efficacy of decision tree algorithms for predicting library book use / a thesis presented by Craig Silverstein.

    • Text
    • 1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text CSsilverstien1994Off-site

  • Bomen over wonen : woningmarktonderzoek met beslissingsbomen / Roland Goetgeluk.

    • Text
    • Utrecht : Koninklijk Nederlands Aardrijkskundig Genootschap : Faculteit Ruimtelijke Wetenschappen Universiteit Utrecht, 1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text HD7344.A3 G64 1997Off-site

  • Ketteigi bunseki ni yoru gengo kenkyū / Tamaoka Katsuo = Linguistic research by decision tree analysis / Katsuo Tamaoka.

    • Text
    • Tōkyō-to Bunkyō-ku : Kuroshio Shuppan, 2023.
    • 2023
    • 1 Item
    FormatCall NumberItem Location
    Text P126 .T36 2023Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta