Formal Methods in Macro-Biology [electronic resource] : 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 [editor.]

Contributor(s):

Material type: Text

TextSeries: Lecture Notes in Computer Science ; 8738Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Description: XXVI, 183 p. 46 illus. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319103983

Subject(s):

Additional physical formats: Printed edition:: No titleDDC classification:

570.285 23

LOC classification:

QH324.2-324.25

Online resources:

Click here to access online

In: Springer eBooksSummary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
E-Book	Central Library		Available		E-42032

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.

There are no comments on this title.

to post a comment.