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

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả của công ty: International Conference on Formal Methods in Macro-Biology ( Nouméa, Nueva Caledonia)
Tác giả khác: Fages, François (edición) (edición), Piazza, Carla (edición) (edición)
Định dạng: Hội nghị đang tiến hành Sách
Ngôn ngữ:Tiếng Anh
Được phát hành: Cham, Suiza : Springer, 2014, c2014
Loạt:(Lecture Notes in Computer Science ; Lecture Notes in Bioinformatics) 8738.
Những chủ đề:
Truy cập trực tuyến:Ver documento en línea
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự: Formal Methods in Macro-Biology :