机译:生物系统的建模和分析-基于在2008年(Iasi),2009年(Bologna)和2010年(Jena)举行的膜计算和生物启发过程计算研讨会(MeCBIC)上发表的论文
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物
机译:债券计算系统:一种由生物学启发的高级动力学模型,用于普适计算
机译:MEM(BRANE)CALMULI和SYSTEMS的生物过程建模与分析
机译:利用生物启发模型进行网络物理系统分析
机译:基于液相的分离系统用于生物流体中蛋白质的耗竭预先分配和富集用于深入蛋白质组学分析的基质 - 一个更新涵盖2008年至2011年的更新
机译:分布式,并行和受生物启发的系统:第七届IFIPTC 10工作会议,DIPES 2010和第三届IFIP TC 10国际会议,BICC 2010作为WCC 2010的一部分在澳大利亚布里斯班举行,2010年9月20日至23日,会议记录
机译:美国东南部沿海生态系统美国鱼类和野生动物服务研讨会论文集:1980年2月18日至22日在佛罗里达州Big pine Key举办的研讨会,讨论,论文和生物学总结汇编