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...
Sábháilte in:
| Údar corparáideach: | |
|---|---|
| Rannpháirtithe: | , |
| Formáid: | Imeacht comhdhála LEABHAR |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Cham, Suiza :
Springer,
2014, c2014
|
| Sraith: | (Lecture Notes in Computer Science ; Lecture Notes in Bioinformatics)
8738. |
| Ábhair: | |
| Rochtain ar líne: | Ver documento en línea |
| Clibeanna: |
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla: 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 /