| Description |
1 online resource (xxiv, 182 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 8738 |
|
LNCS sublibrary. SL 8, Bioinformatics |
|
Lecture notes in computer science ; 8738.
|
|
LNCS sublibrary. SL 8, Bioinformatics.
|
| 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 |
| Analysis |
computerwetenschappen |
|
computer sciences |
|
bioinformatics |
|
computational science |
|
gezondheid |
|
health |
|
informatica |
|
informatics |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Notes |
International conference proceedings |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed August 26, 2014) |
| Subject |
Computational biology -- Congresses
|
|
Bioinformatics -- Congresses
|
|
Bioinformatics
|
|
Computational biology
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Fages, Francois, editor
|
|
Piazza, Carla, editor
|
| ISBN |
9783319103983 |
|
3319103989 |
|
3319103970 |
|
9783319103976 |
|
