000 02781nam a22005895i 4500
001 978-3-319-10398-3
003 DE-He213
005 20240423125240.0
007 cr nn 008mamaa
008 140814s2014 sz | s |||| 0|eng d
020 _a9783319103983
_9978-3-319-10398-3
024 7 _a10.1007/978-3-319-10398-3
_2doi
050 4 _aQH324.2-324.25
072 7 _aPS
_2bicssc
072 7 _aUY
_2bicssc
072 7 _aSCI008000
_2bisacsh
072 7 _aPSAX
_2thema
082 0 4 _a570.285
_223
082 0 4 _a570.113
_223
245 1 0 _aFormal Methods in Macro-Biology
_h[electronic resource] :
_bFirst International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings /
_cedited by François Fages, Carla Piazza.
250 _a1st ed. 2014.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2014.
300 _aXXVI, 183 p. 46 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 Bioinformatics,
_x2366-6331 ;
_v8738
520 _aThis book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014. The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.
650 0 _aBioinformatics.
650 0 _aComputer science.
650 0 _aMedical informatics.
650 0 _aMachine theory.
650 1 4 _aComputational and Systems Biology.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aHealth Informatics.
650 2 4 _aFormal Languages and Automata Theory.
700 1 _aFages, François.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPiazza, Carla.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319103976
776 0 8 _iPrinted edition:
_z9783319103990
830 0 _aLecture Notes in Bioinformatics,
_x2366-6331 ;
_v8738
856 4 0 _uhttps://doi.org/10.1007/978-3-319-10398-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c175883
_d175883