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 reviews the design problems that require logic equivalence checking and describes...
?New Frontiers in Engineering Geology and the Environment? collects selected papers presented at the International Symposium on Coastal Engineering Geology (ISCEG-Shanghai 2012). These papers involve many subjects ? such as engineering geology, natural...
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 large scale systems, such as resource
This book contains a dramatic and revealing translation of this ancient classic into English. The Chinese original is set side-by-side with the translation. Two things set this translation apart from all previous ones. First, archeological findings are...
Explores and discusses some of the important topics in post-genomics life and biopharmaceutical sciences such as pharmacogenomics, chemical genomics, chemical biology, structural genomics, drug discovery, biophysics and bioengineering.
This book is devoted to vector or multiple criteria approaches in optimization. Topics covered include: vector optimization, vector variational inequalities, vector variational principles, vector minmax inequalities and vector equilibrium problems. In...
As optimization researchers tackle larger and larger problems, scale interactions play an increasingly important role. One general strategy for dealing with a large or difficult problem is to partition it into smaller ones, which are hopefully much easier...
The natural outgrowth of VLSI (Very Large Scale Integration), Ultra Large Scale Integration (ULSI) refers to semiconductor chips with more than 10 million devices per chip. Written by three renowned pioneers in their field, ULSI Semiconductor Technology...
From Neolithic painted petroglyphs, early paintings on silk, and landscapes by twelfth-century literati to the traditional handscrolls being produced today, Chinese painting has always had the power to enthrall. This magnificent book, written by a team...
Die numerisch gesteuerte Werkzeugmaschine ist ein frei pro grammierbarer Fertigungsautomat und besonders geeignet zur Automatisierung der Klein- und Mittelserienfertigung sowie zur Herstellung komplexer Konturen. Die Flexibilitat numerisch gesteuerte...