Formal Methods in Macro-Biology: First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings (Lecture Notes in Computer Science)
暫譯: 宏生物學中的形式方法：第一屆國際會議 FMMB 2014，紐卡爾多尼亞努美亞，2014年9月22日至14日，會議論文集（計算機科學講義）
- 出版商: Springer
- 出版日期: 2014-08-19
- 售價: $2,470
- 貴賓價: 9.5 折 $2,347
- 語言: 英文
- 頁數: 208
- 裝訂: Paperback
- ISBN: 3319103970
- ISBN-13: 9783319103976
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
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.
商品描述(中文翻譯)
本書為2014年9月在新喀里多尼亞的努美阿舉行的第一屆國際宏觀生物學形式方法會議（FMMB 2014）的經過審稿的會議論文集。共收錄了7篇修訂的完整論文和3篇短文，並附上7篇受邀報告，這些論文是從17篇投稿中仔細審核和選出的。科學計畫涵蓋了多種主題，包括生態系統、醫療應用、邏輯框架，以及用於分析宏觀生物系統的離散、連續和混合模型。
