Formal Methods in Macro-Biology : First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings / edited by François Fages, Carla Piazza

By:

Fages, François, 1959- [aut]

Contributor(s):

Piazza, Carla [Hrsg.]

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 8738Publisher: Cham [u.a.] : Springer, 2014Description: Online-Ressource (XXIV, 182 p. 46 illus, online resource)ISBN:

9783319103983

Subject(s):

Genre/Form:

Konferenzschrift

Additional physical formats: 9783319103976 | Erscheint auch als: 978-331-91039-7-6 Druck-Ausgabe | Erscheint auch als: Formal methods in macro-biology. Druck-Ausgabe. Cham [u.a.] : Springer, 2014. XXIV, 179 S.DDC classification:

570.285
570.113 23

MSC: MSC: *92-06 | 92C42 | 00B25LOC classification:

QH324.2-324.25

DOI: DOI: 10.1007/978-3-319-10398-3Online resources:

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 levelsPPN: PPN: 1659066573Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB

Holdings ( 0 )

No physical items for this record