03065nam 22007215 450 991048349230332120251226200419.03-319-10398-910.1007/978-3-319-10398-3(CKB)3710000000227377(SSID)ssj0001338707(PQKBManifestationID)11793329(PQKBTitleCode)TC0001338707(PQKBWorkID)11344618(PQKB)10258728(DE-He213)978-3-319-10398-3(MiAaPQ)EBC6295774(MiAaPQ)EBC5587964(Au-PeEL)EBL5587964(OCoLC)1066196043(PPN)180626213(EXLCZ)99371000000022737720140814d2014 u| 0engurnn|008mamaatxtccrFormal Methods in Macro-Biology First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings /edited by François Fages, Carla Piazza1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XXVI, 183 p. 46 illus.) Lecture Notes in Bioinformatics,2366-6331 ;8738Bibliographic Level Mode of Issuance: Monograph3-319-10397-0 This 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.Lecture Notes in Bioinformatics,2366-6331 ;8738BioinformaticsComputer scienceMedical informaticsMachine theoryComputational and Systems BiologyComputer Science Logic and Foundations of ProgrammingHealth InformaticsFormal Languages and Automata TheoryBioinformatics.Computer science.Medical informatics.Machine theory.Computational and Systems Biology.Computer Science Logic and Foundations of Programming.Health Informatics.Formal Languages and Automata Theory.570.285Fages Françoisedthttp://id.loc.gov/vocabulary/relators/edtPiazza Carlaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483492303321Formal Methods in Macro-Biology2830228UNINA