Formal methods in macro-biology : first International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings

The Resource Formal methods in macro-biology : first International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings
Label
Formal methods in macro-biology : first International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings
Title remainder
first International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings
Statement of responsibility
François Fages, Carla Piazza (eds.)
Title variation
FMMB 2014
Creator
Contributor
Editor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
GW5XE
Dewey number
570.285
Illustrations
illustrations
Index
index present
LC call number
QH324.2
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 8, Bioinformatics
Series volume
8738
Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri-St. Louis Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...