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...
שמור ב:
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , |
| פורמט: | Procedimiento de la conferencia ספר |
| שפה: | אנגלית |
| יצא לאור: |
Cham, Suiza :
Springer,
2014, c2014
|
| סדרה: | (Lecture Notes in Computer Science ; Lecture Notes in Bioinformatics)
8738. |
| נושאים: | |
| גישה מקוונת: | Ver documento en línea |
| תגים: |
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000556665 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310131744.733 | ||
| 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 | ||