Produktnummer:
18b63a4c20ab634366bfa9f2cd8500766d
| Themengebiete: | applied computing bioinformatics biological processes complex systems computational biology computational ecology formal methods health informatics life and medical sciences logic and verification |
|---|---|
| Veröffentlichungsdatum: | 19.08.2014 |
| EAN: | 9783319103976 |
| Sprache: | Englisch |
| Seitenzahl: | 183 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Fages, François Piazza, Carla |
| Verlag: | Springer International Publishing |
| Untertitel: | First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings |
Produktinformationen "Formal Methods in Macro-Biology"
This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014.The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen