000			02145cam a2200433 i 4500
003			OCoLC
005			20221102154355.0
008			110526s2011 ne a b 001 0 eng d
011			_aHas 29 WorldCat Holdings
011			_aAUTO-MATCHED WORLDCAT REPLACEMENT
020			_a9400701489
020			_a9789400701489
035			_a(ATU)b11889615
035			_a(OCoLC)727142282
040			_aIXA _beng _erda _cIXA _dCDX _dBTCTA _dYDXCP _dBWX _dVRC _dOCLCF _dOCLCO _dOCLCQ _dN5L _dATU
050		4	_aQH324.2 _b.S56 2011
082	0		_a621.3815 _222
082	0	4	_a621.3815 _222
245	0	0	_aSimulation and verification of electronic and biological systems / _cPeng Li, Luís Miguel Silveira, Peter Feldmann, editors.
264		1	_aDordrecht : _bSpringer, _c2011.
300			_axvii, 196 pages : _billustrations ; _c24 cm
336			_atext _btxt _2rdacontent
337			_aunmediated _bn _2rdamedia
338			_avolume _bnc _2rdacarrier
504			_aIncludes bibliographical references and index.
505	0		_aParallel 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.
588			_aMachine converted from AACR2 source record.
650		0	_aBiological systems _xComputer simulation _9771184
650		0	_aBiological systems _xSimulation methods _9628496
650		0	_aBiological systems _xMathematical models _9718489
700	1		_aLi, Peng. _91084482
700	1		_aSilveira, Luis Miguel. _91084483
700	1		_aFeldmann, Peter. _91084484
776	1	8	_w(OCoLC)663950286
907			_a.b11889615 _b06-09-21 _c27-10-15
942			_cB
945			_a621.3815 SIM _g1 _iA502129B _j0 _lcmain _o- _p$157.19 _q- _r- _s- _t0 _u0 _v0 _w0 _x0 _y.i13128097 _z29-10-15
998			_a(2)b _a(2)c _b06-04-16 _cm _da _feng _gne _h0
999			_c1218701 _d1218701