| 000 | 02747nam a22005657a 4500 | ||
|---|---|---|---|
| 001 | sulb-eb0025203 | ||
| 003 | BD-SySUS | ||
| 005 | 20160413122515.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 130611s2013 gw | s |||| 0|eng d | ||
| 020 |
_a9783642388743 _9978-3-642-38874-3 |
||
| 024 | 7 |
_a10.1007/978-3-642-38874-3 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 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 de Vink, Alessandra Di Pierro, Herbert Wiklicky. |
| 264 | 1 |
_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 |
||
| 347 |
_atext file _bPDF _2rda |
||
| 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. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aComputers. | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aBioinformatics. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 650 | 2 | 4 | _aComputational Biology/Bioinformatics. |
| 650 | 2 | 4 | _aComputation by Abstract Devices. |
| 700 | 1 |
_aBernardo, Marco. _eeditor. |
|
| 700 | 1 |
_aVink, Erik de. _eeditor. |
|
| 700 | 1 |
_aPierro, Alessandra Di. _eeditor. |
|
| 700 | 1 |
_aWiklicky, Herbert. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642388736 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7938 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-38874-3 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 |
_2Dewey Decimal Classification _ceBooks |
||
| 999 |
_c47295 _d47295 |
||