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.