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

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ

Համատեղ հեղինակ:	International Conference on Formal Methods in Macro-Biology ( Nouméa, Nueva Caledonia)
Այլ հեղինակներ:	Fages, François (edición) (edición), Piazza, Carla (edición) (edición)
Ձևաչափ:	Գիտաժողովի նյութեր Գիրք
Լեզու:	անգլերեն
Հրապարակվել է:	Cham, Suiza : Springer, 2014, c2014
Շարք:	(Lecture Notes in Computer Science ; Lecture Notes in Bioinformatics) 8738.
Խորագրեր:	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
Առցանց հասանելիություն:	Ver documento en línea
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!