000 | 03229nam a22005655i 4500 | ||
---|---|---|---|
001 | 978-3-540-68413-8 | ||
003 | DE-He213 | ||
005 | 20160624102048.0 | ||
007 | cr nn 008mamaa | ||
008 | 100301s2008 gw | s |||| 0|eng d | ||
020 |
_a9783540684138 _9978-3-540-68413-8 |
||
024 | 7 |
_a10.1007/978-3-540-68413-8 _2doi |
|
050 | 4 | _aQA76.9.C65 | |
072 | 7 |
_aUGK _2bicssc |
|
072 | 7 |
_aCOM072000 _2bisacsh |
|
082 | 0 | 4 |
_a003.3 _223 |
245 | 1 | 0 |
_aFormal Methods in Systems Biology _h[electronic resource] : _bFirst International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / _cedited by Jasmin Fisher. |
260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2008. |
|
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2008. |
|
300 | _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 ; _v5054 |
|
505 | 0 | _aContributed Papers -- Generic Reactive Animation: Realistic Modeling of Complex Natural Systems -- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions -- Computational Probability for Systems Biology -- Design Issues for Qualitative Modelling of Biological Cells with Petri Nets -- Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis -- Approximating Continuous Systems by Timed Automata -- From Reaction Models to Influence Graphs and Back: A Theorem -- Rule-Based Modelling, Symmetries, Refinements -- One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on JamesĀ II. | |
520 | _aThis book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008. The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions. The purpose of this meeting was to identify techniques for the specification, development and verification of biological models. It also focused on the design of tools to execute and analyze biological models that can significantly advance our understanding of biological systems. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aDatabase management. | |
650 | 0 | _aComputer simulation. | |
650 | 0 | _aBioinformatics. | |
650 | 0 |
_aBiology _xData processing. |
|
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aSimulation and Modeling. |
650 | 2 | 4 | _aComputational Biology/Bioinformatics. |
650 | 2 | 4 | _aComputer Appl. in Life Sciences. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aDatabase Management. |
650 | 2 | 4 | _aComputation by Abstract Devices. |
700 | 1 |
_aFisher, Jasmin. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783540684107 |
786 | _dSpringer | ||
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v5054 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-540-68413-8 |
942 |
_2EBK6982 _cEBK |
||
999 |
_c36276 _d36276 |