Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings
tarafından
 
Fages, François. editor.

Başlık
Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings

Yazar
Fages, François. editor.

ISBN
9783319103983

Fiziksel Niteleme
XXVI, 183 p. 46 illus. online resource.

Seri
Lecture Notes in Computer Science, 8738

Özet
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.

Konu Başlığı
Computer science.
 
Health informatics.
 
Computer logic.
 
Mathematical logic.
 
Bioinformatics.
 
Computational Biology/Bioinformatics.
 
Logics and Meanings of Programs.
 
Mathematical Logic and Formal Languages.

Yazar Ek Girişi
Fages, François.
 
Piazza, Carla.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
http://dx.doi.org/10.1007/978-3-319-10398-3


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book21506-1001QH324.2 -324.25Springer E-Book Collection