TY  - BOOK
AU  - Li,Peng
AU  - Silveira,Luis Miguel
AU  - Feldmann,Peter
TI  - Simulation and verification of electronic and biological systems
SN  - 9400701489
AV  - QH324.2 .S56 2011
U1  - 621.3815 22
PY  - 2011///
CY  - Dordrecht
PB  - Springer
KW  - Biological systems
KW  - Computer simulation
KW  - Simulation methods
KW  - Mathematical models
N1  - 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
ER  -