This book arises from experience the authors have gained from years of work as industry practitioners in the field of Electronic System Level design (ESL). At the heart of all things related to Electronic Design Automation (EDA), the core issue is one of models: what are the models used for, what should the models contain, and how should they be...
The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.
Through fundamental contributions from leading researchers, this...
is a best-of-breed Cisco® exam study guide that focuses specifically on the objectives for the CCNP® SWITCH exam. Network architect and best-selling author Dave Hucaby shares preparation hints and test-taking tips, helping you identify areas of weakness and improve both your...
Semiconductor Modeling:For Simulating Signal, Power, and Electromagnetic Integrity assists engineers – both recent graduates and working product designers – in designing high-speed circuits. The authors apply circuit theory, circuit simulation tools, and practical experience to help the engineer...
Metamaterials:Theory, Design, and Applications goes beyond left-handed materials (LHM) or negative index materials (NIM) and focuses on recent research activity. Included here is an introduction to optical transformation theory, revealing invisible cloaks, EM concentrators, beam splitters, and new-type antennas, a presentation of general...
This is a book about the compact modeling of RF power FETs. In it, you will find descriptions of characterization and measurement techniques, analysis methods, and the simulator implementation, model verification and validation procedures that are needed to produce a transistor model that can be used with confidence by the circuit designer....
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term...
Aerodynamics of Wind Turbines is the established essential text for the fundamental solutions to efficient wind turbine design. Now in its second edition, it has been entirely updated and substantially extended to reflect advances in technology, research into rotor aerodynamics and the structural response of the wind turbine structure. ...
Troubleshooting and Maintaining Cisco IP Networks (TSHOOT) Foundation Learning Guide is a Cisco® authorized learning tool for CCNP preparation. As part of the Cisco Press foundation learning series, this book covers how to maintain and monitor complex enterprise networks.
Implementing Cisco IP Routing (ROUTE) Foundation Learning Guide is a Cisco® authorized learning tool for CCNP®/CCDP®/CCIP® preparation. As part of the Cisco Press Foundation Learning Series, this book teaches you how to plan, configure, maintain, and scale a...
Principles of Big Data helps readers avoid the common mistakes that endanger all Big Data projects. By stressing simple, fundamental concepts, this book teaches readers how to organize large volumes of complex data, and how to achieve data permanence when the content of the data is constantly changing. General methods for data...
