Simulation and verification of electronic and biological systems / 
Peng Li, Luís Miguel Silveira, Peter Feldmann, editors. 
 - xvii, 196 pages :  illustrations ;  24 cm 
<br/><br/>Includes bibliographical references and index. 
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9400701489 9789400701489 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Biological systems--Computer simulation<br/>Biological systems--Simulation methods<br/>Biological systems--Mathematical models
<br/><br/><label>LC Class. No.: </label>QH324.2  / .S56 2011 
<br/><br/><label>Dewey Class. No.: </label>621.3815 621.3815