You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. The presentation is organized in parts of fundamentals, basic implementation methods and applications for VLSI design. Topics emphasized include statistical timing and crosstalk analysis, statistical and parallel analysis, performance bound analysis and behavioral modeling for analog integrated circuits. Among the recent advances, the Binary Decision Diagram (BDD) based approaches are studied in depth. The BDD-based hierarchical symbolic analysis approaches, have essentially broken the analog circuit size barrier.
None
None
This book offers a comprehensive overview of the most recent developments in both total oxidation and combustion and also in selective oxidation. For each topic, fundamental aspects are paralleled with industrial applications. The book covers oxidation catalysis, one of the major areas of industrial chemistry, outlining recent achievements, current challenges and future opportunities. One distinguishing feature of the book is the selection of arguments which are emblematic of current trends in the chemical industry, such as miniaturization, use of alternative, greener oxidants, and innovative systems for pollutant abatement. Topics outlined are described in terms of both catalyst and reaction chemistry, and also reactor and process technology.
Redox Polymers for Energy and Nanomedicine highlights trends in the chemistry, characterization and application of polymers with redox properties.