Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014 : Proceedings International Conference on Formal Methods in Macro-Biology ( 2014 : Nouméa, Nueva Caledonia) creator Fages, François (edición) Piazza, Carla (edición) text monographic ING 1 libro electrónico en línea (XXVI, 183 p.) 1 recurso en línea Selección de ponencias presentadas en la primera Conferencia Internacional sobre Métodos Formales en Macrobiología, celebrada en Nouméa, Nueva Caledonia, en septiembre de 2014. Los textos que se incluyen abordan temas relacionados con sistemas ecológicos, aplicaciones médicas, marcos lógicos y modelos continuos discretos e híbridos para el análisis de sistemas biológicos a niveles macroscópicos. Ed. de F. Fages, C. Piazza. Licencias ilimitadas XX Biometría - Aspectos Tecnológicos Biomatemáticas Control de Procesos - Modelos Matemáticos Modelos Matemáticos Computación Ubicua - Tema Principal Paquetes (Software) - Prueba y Medición Programación (Software) - Planeación Programación (Software) Ingeniería de Software Desarrollo de Sistemas - Congresos - Tema Principal Sistemas Computacionales Ingeniería Computacional Biología Matemáticas Libro en línea (Lecture Notes in Computer Science ; 8738 Lecture Notes in Bioinformatics) 978-3-319-10398-3 Acervo ITESO - Biblioteca https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-10398-3 Licencias ilimitadas 20251023000000.0 000556665