Amazon cover image
Image from Amazon.com

Formal methods in macro-biology : first International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings / François Fages, Carla Piazza (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 8738. | LNCS sublibrary. SL 8, Bioinformatics.Publisher: Cham : Springer, 2014Description: 1 online resource (xxiv, 182 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319103983
  • 3319103989
  • 3319103970
  • 9783319103976
Other title:
  • FMMB 2014
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 570.285 23
LOC classification:
  • QH324.2
Online 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 levels.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

International conference proceedings.

Includes bibliographical references and author index.

Online resource; title from PDF title page (SpringerLink, viewed August 26, 2014).

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.

Powered by Koha