书目详细信息
： Simulation and verification of electronic and biological systems /
书目信息 机读格式(MARC)
| ISBN： | 9789400701489 : |
|---|---|
| ISBN： | 9789400701496 (e-book) |
| 编目源： | CaPaEBR CaPaEBR CaOTR |
| 题名： | Simulation and verification of electronic and biological systems / Peng Li, Luis Miguel Silveira, Peter Feldmann, editors. |
| 出版发行项： | Dordrecht : Springer, 2011. |
| 载体形态： | xvii, 196 p. : ill. ; 24 cm. |
| 书目附注： | Includes bibliographical references and index. |
| 格式化内容附注： | Parallel transistor-level circuit simulation -- A perspective on fast-SPICE simulation technology -- Recent advances in structure-preserving model order reduction -- Injection locking analysis and simulation of weakly coupled oscillator networks -- Dynamic stability of static memories : concepts and advanced numerical analysis techniques -- Recycling circuit simulation techniques for mass-action biochemical kinetics -- Analog verification -- Formal methods for verification of analog circuits. |