| Formal Methods in Macro-Biology: First International Conference, Fmmb 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings 2014 Edition Contributor(s): Fages, François (Editor), Piazza, Carla (Editor) |
|
 |
ISBN: 3319103970 ISBN-13: 9783319103976 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: August 2014 |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Computers | Programming - General - Medical | Informatics |
| Dewey: 005.101 |
| Series: Lecture Notes in Computer Science / Lecture Notes in Bioinfo |
| Physical Information: 0.44" H x 6.14" W x 9.21" (0.66 lbs) 183 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |