The Locator -- [(subject = "Decision trees")]

22 records matched your query       

Record 14 | Previous Record | MARC Display | Next Record | Search Results
Title:
Advanced formal verification / edited by Rolf Drechsler.
Publisher:
Kluwer Academic Publishers,
Copyright Date:
c2004
Description:
xxv, 249 p. : ill. ; 25 cm.
Subject:
Electronic circuits--Testing
Decision trees
Other Authors:
Drechsler, Rolf.
Notes:
Includes bibliographical references and index.
ISBN:
9781402077210
1402077211 (alk. paper)
OCLC:
(OCoLC)53477742
LCCN:
2003064115
Locations:
USUX851 -- Iowa State University - Parks Library (Ames)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.