Omslagsbillede
Código QR

Formal Methods in Macro-Biology : First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014 : Proceedings /

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 model...

Fuld beskrivelse

Guardado en:
Institution som forfatter: International Conference on Formal Methods in Macro-Biology ( Nouméa, Nueva Caledonia)
Andre forfattere: Fages, François (edición) (edición), Piazza, Carla (edición) (edición)
Format: Procedimiento de la conferencia Bog
Sprog:engelsk
Udgivet: Cham, Suiza : Springer, 2014, c2014
Serier:(Lecture Notes in Computer Science ; Lecture Notes in Bioinformatics) 8738.
Fag:
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
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

MARC

LEADER 00000nam^a2200000^a^4500
001 000556665
005 20251023000000.0
009 20260526152655.555
020 |a 978-3-319-10398-3 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
111 |a International Conference on Formal Methods in Macro-Biology (  |n 1a :  |d 2014 :  |c Nouméa, Nueva Caledonia) 
245 1 0 |a Formal Methods in Macro-Biology :  |b First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014 : Proceedings /  |c Ed. de F. Fages, C. Piazza. 
264 4 |a Cham, Suiza :  |b Springer,  |c 2014, c2014 
264 2 |a Cham, Suiza :  |b Springer Link [distribución],  |c 2014, c2014 
300 |a 1 libro electrónico en línea (XXVI, 183 p.) 
300 |a 1 recurso en línea 
336 |a datos para computadora  |b cod  |2 rdacontenido 
337 |a computadora  |b c  |2 rdamedio 
338 |a recurso en línea  |b cr  |2 rdasoporte 
440 1 |a (Lecture Notes in Computer Science ;  |v 8738.  |p Lecture Notes in Bioinformatics) 
506 0 |a Licencias ilimitadas 
520 |a 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. 
649 |a XX 
650 |a Biometría -  |x Aspectos Tecnológicos 
650 |a Biomatemáticas 
650 |a Control de Procesos -  |x Modelos Matemáticos 
650 |a Modelos Matemáticos 
650 |a Computación Ubicua -  |x Tema Principal 
650 |a Paquetes (Software) -  |x Prueba y Medición 
650 |a Programación (Software) -  |x Planeación 
650 |a Programación (Software) 
650 |a Ingeniería de Software 
650 |a Desarrollo de Sistemas -  |x Congresos -  |x Tema Principal 
650 |a Sistemas Computacionales 
650 |a Ingeniería Computacional 
650 |a Biología 
650 |a Matemáticas 
700 |a Fages, François  |e (edición) 
700 |a Piazza, Carla  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-10398-3  |y Ver documento en línea 
910 |a Fondo General 
920 |a Electrónicos - Libros en Línea 
930 |a Plataforma Digital 
905 |a 205 
901 |a 556665-1  |b IT2  |c EBO  |i C  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000556665 

Lignende værker