Formal methods in macro-biology : First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014. Proceedings /
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 sele...
Saved in:
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Piazza, Carla, Fages, Francois |
Format: | eBook |
Language: | English |
Published: |
Cham
Springer International Publishing
2014.
|
Series: | Lecture Notes in Computer Science
8738 |
Subjects: | |
Online Access: | Click here to view the full text content |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
Published: (2013) -
Information technology in bio- and medical informatics : 5th International Conference, ITBAM 2014, Munich, Germany, September 2, 2014. Proceedings /
Published: (2014) -
Biomedical simulation : 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014. Proceedings /
Published: (2014) -
Web-based applications in healthcare and biomedicine
Published: (2010) -
Integrated formal methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Published: (2014)