Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-11 of 11 results
Binary decision diagrams : theory and implementation / Rolf Drechsler, Bernd Becker.
- Text
- Boston : Kluwer Academic Publishers, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-1369 Offsite Formal verification of circuits / Rolf Drechsler.
- Text
- Boston : Kluwer Academic Publishers, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-1985 Offsite Advanced formal verification / edited by Rolf Drechsler.
- Text
- Boston ; London : Kluwer Academic Publishers, c2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 04-553 Offsite Graph matching : filtering databases of graphs using machine learning techniques / Crhistophe-André Mario Irniger.
- Text
- Berlin : AKA, 2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text JSD 06-95 Offsite Binary decision diagrams : theory and implementation / Rolf Drechsler, Bernd Becker.
- Text
- Boston : Kluwer Academic Publishers, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text T57.95 .D69 1998 Off-site Formal verification of circuits / Rolf Drechsler.
- Text
- Boston : Kluwer Academic Publishers, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text TK7867 .D7 2000 Off-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
Item details Format Call Number Item Location Text T57.95 .E246 2005g Off-site Transactions on rough sets IV / James F. Peters, Andrzej Skowron (eds.).
- Text
- Berlin ; New York, NY : Springer, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text QA248 .T652 2005g Off-site The efficacy of decision tree algorithms for predicting library book use / a thesis presented by Craig Silverstein.
- Text
- 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text CSsilverstien1994 Off-site Bomen over wonen : woningmarktonderzoek met beslissingsbomen / Roland Goetgeluk.
- Text
- Utrecht : Koninklijk Nederlands Aardrijkskundig Genootschap : Faculteit Ruimtelijke Wetenschappen Universiteit Utrecht, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text HD7344.A3 G64 1997 Off-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
Item details Format Call Number Item Location Text P126 .T36 2023 Off-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.
Explore Digital Research Books Beta