![An Introduction to Machine Learning]( "An Introduction to Machine Learning")
Book
Rebala, G., Ravi, A., Churiwala, S. (2019)
Just like electricity, Machine Learning will revolutionize our life in many ways – some of which are not even conceivable today. This book provides a thorough conceptual …
Available Formats:
Hardcover
eBook
![Generating Analog IC Layouts with LAYGEN II]( "Generating Analog IC Layouts with LAYGEN II")
Book
Martins, R. M. F., Lourenço, N. C. C., Horta, N. C. (2013)
This book presents an innovative methodology for the automatic generation of analog integrated circuits (ICs) layout, based on template descriptions and on evolutionary …
Available Formats:
Softcover
eBook
![Micro-Assembly Technologies and Applications]( "Micro-Assembly Technologies and Applications")
Book
Ratchev, S. (Ed) (2008)
Micro-assembly is a key enabling technology for cost effective manufacture of new generations of complex micro products. It is also a critical technology for retaining mdustrial …
Available Formats:
Softcover
Hardcover
eBook
![Symbolic Simulation Methods for Industrial Formal Verification]( "Symbolic Simulation Methods for Industrial Formal Verification")
Book
Jones, R. B. (2002)
Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. …
Available Formats:
Hardcover
Softcover
eBook
![Synchronous Equivalence]( "Synchronous Equivalence")
Book
Hsieh, H., Balarin, F., Sangiovanni-Vincentelli, A. L. (2001)
An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic …
Available Formats:
eBook
Hardcover
Softcover
![Hierarchical Annotated Action Diagrams]( "Hierarchical Annotated Action Diagrams")
Book
Cerny, E., Berkane, B., Girodias, P., Khordoc, K. (1998)
Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet …
Available Formats:
Hardcover
Softcover
eBook
![Formal Equivalence Checking and Design Debugging]( "Formal Equivalence Checking and Design Debugging")
Book
Shi-Yu Huang, (), Kwang-Ting (Tim) Cheng, () (1998)
Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging. The first part of the book …
Available Formats:
Softcover
Hardcover
eBook
![Neural Systems: Analysis and Modeling]( "Neural Systems: Analysis and Modeling")
Book
Eeckman, F. H. (Ed) (1993)
In recent years there has been tremendous activity in computational neuroscience resulting from two parallel developments. On the one hand, our knowledge of real nervous systems …
Available Formats:
Hardcover
Softcover
eBook
![Analysis and Modeling of Neural Systems]( "Analysis and Modeling of Neural Systems")
Book
Eeckman, F. H. (Ed) (1992)
No description available
Available Formats:
Hardcover
Softcover
eBook
![An Artificial Intelligence Approach to Test Generation]( "An Artificial Intelligence Approach to Test Generation")
Book
Singh, N. (1987)
I am indebted to my thesis advisor, Michael Genesereth, for his guidance, inspiration, and support which has made this research possible. As a teacher and a sounding board for new …
Available Formats:
Softcover
Hardcover
eBook
![An Artificial Intelligence Approach to VLSI Routing]( "An Artificial Intelligence Approach to VLSI Routing")
Book
Joobbani, R. (1986)
Routing of VLSI chips is an important, time consuming, and difficult problem. The difficulty of the problem is attributed to the large number of often conflicting factors that …
Available Formats:
Softcover
Hardcover
eBook
![An Artificial Intelligence Approach to VLSI Design]( "An Artificial Intelligence Approach to VLSI Design")
Book
Kowalski, T. J. (1985)
No description available
Available Formats:
Hardcover
