Limitar la búsqueda a ejemplares disponibles

Cubierta del libro

Título 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.

Descripción física XXVI, 183 p. 46 illus. online resource.
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Colección Lecture Notes in Computer Science, 0302-9743 ; 8738
Lecture Notes in Computer Science, 0302-9743 ; 8738
       Mostrar referencias similares
Springer eBooks. Computer Science
       Mostrar referencias similares
Resumen: 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.
Materia Computer science.
Health informatics.
Computer logic.
Mathematical logic.
Computer Science.
       Mostrar referencias similares
Computational Biology/Bioinformatics.
       Mostrar referencias similares
Logics and Meanings of Programs.
       Mostrar referencias similares
Health Informatics.
       Mostrar referencias similares
Mathematical Logic and Formal Languages.
       Mostrar referencias similares
Autor secundario Fages, François., editor.
Piazza, Carla., editor.
SpringerLink (Online service)
En Springer eBooks
OTRO SOPORTE Printed edition: 9783319103976
ISBN 9783319103983 978-3-319-10398-3
ISBN/ISSN 10.1007/978-3-319-10398-3 doi