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...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , |
| Đị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: |
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 :
- Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : Proceedings /
- NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /
- Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : Proceedings /
- Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec, 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /
- Implementation and Application of Automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30-August 2, 2014 : Proceedings /
- Computer Performance Engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : Proceedings /