Søkt på: Bøker av Shi-Yu Huang
totalt 12 treff
Formal Equivalence Checking and Design Debugging
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 …
Formal Equivalence Checking and Design Debugging
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 …
Intelligent Decision Support
Intelligent decision support is based on human knowledge related to a specific part of a real or abstract world. When the knowledge is gained by experience, it is induced from …
Stochastic Versus Fuzzy Approaches to Multiobjective Mathematical Programming under Uncertainty
Operations Research is a field whose major contribution has been to propose a rigorous fonnulation of often ill-defmed problems pertaining to the organization or the design of …
Formal Equivalence Checking and Design Debugging
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 …
Stochastic Versus Fuzzy Approaches to Multiobjective Mathematical Programming under Uncertainty
Operations Research is a field whose major contribution has been to propose a rigorous fonnulation of often ill-defmed problems pertaining to the organization or the design of …
Stochastic Versus Fuzzy Approaches to Multiobjective Mathematical Programming under Uncertainty
Operations Research is a field whose major contribution has been to propose a rigorous fonnulation of often ill-defmed problems pertaining to the organization or the design of …
Intelligent Decision Support
Intelligent decision support is based on human knowledge related to a specific part of a real or abstract world. When the knowledge is gained by experience, it is induced from …
Lignin Chemistry and Applications
Lignin Chemistry and Application systematically discusses the structure, physical and chemical modification of lignin, along with its application in the field of chemicals and …
VLSI Test Principles and Architectures
This book is a comprehensive guide to new DFT methods that will show the readers how to design a testable and quality product, drive down test cost, improve product quality and …
Lignin Chemistry and Applications
Lignin Chemistry and Application systematically discusses the structure, physical and chemical modification of lignin, along with its application in the field of chemicals and …
Intelligent Decision Support
Intelligent decision support is based on human knowledge related to a specific part of a real or abstract world. When the knowledge is gained by experience, it is induced from …