000 | 02837nam a22005535i 4500 | ||
---|---|---|---|
001 | vtls000485045 | ||
003 | RU-ToGU | ||
005 | 20210922070103.0 | ||
007 | cr nn 008mamaa | ||
008 | 140715s2013 gw | s |||| 0|eng d | ||
020 |
_a9783642388743 _9978-3-642-38874-3 |
||
024 | 7 |
_a10.1007/978-3-642-38874-3 _2doi |
|
035 | _ato000485045 | ||
040 |
_aSpringer _cSpringer _dRU-ToGU |
||
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
082 | 0 | 4 |
_a005.1 _223 |
100 | 1 |
_aBernardo, Marco. _eeditor. _9324549 |
|
245 | 1 | 0 |
_aFormal Methods for Dynamical Systems _h[electronic resource] : _b13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / _cedited by Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky. |
260 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
||
300 |
_aVIII, 181 p. 49 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7938 |
|
505 | 0 | _aChaotic dynamics -- Information theory -- Systems biology -- Hybrid systems -- Quantum computing -- Automata-based models and model checking. | |
520 | _aThis book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking. | ||
650 | 0 |
_aComputer Science. _9155490 |
|
650 | 0 |
_aSoftware engineering. _9566225 |
|
650 | 0 |
_aLogic design. _9306256 |
|
650 | 0 |
_aBioinformatics. _9303853 |
|
650 | 1 | 4 |
_aComputer Science. _9155490 |
650 | 2 | 4 |
_aSoftware Engineering. _9566285 |
650 | 2 | 4 |
_aLogics and Meanings of Programs. _9306257 |
650 | 2 | 4 |
_aComputational Biology/Bioinformatics. _9306755 |
650 | 2 | 4 |
_aComputation by Abstract Devices. _9305111 |
700 | 1 |
_aVink, Erik. _eeditor. _9416228 |
|
700 | 1 |
_aPierro, Alessandra. _eeditor. _9416229 |
|
700 | 1 |
_aWiklicky, Herbert. _eeditor. _9322029 |
|
710 | 2 |
_aSpringerLink (Online service) _9143950 |
|
773 | 0 | _tSpringer eBooks | |
830 | 0 |
_aLecture Notes in Computer Science, _9279505 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-38874-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
999 | _c357748 |