Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings / [electronic resource] :
edited by François Fages, Carla Piazza.
- Cham : Springer International Publishing, 2014.
- 1 online resource (XXVI, 183 p. 46 ill.)
- Lecture Notes in Computer Science, 8738 0302-9743 ; .
9783319103983
Computer science.
Health informatics.
Computer logic.
Mathematical logic.
Bioinformatics.