×

找到12个文档（结果1-12）

最新的 引文 关联
乔瓦尼·帕尔迪尼;保罗·米拉佐;安德烈亚·马焦洛·谢蒂尼

生化途径中成分识别的算法。 （英文） Zbl 1337.92066号

Merelli，Emanuela（编辑）等人，《第四届计算机科学与生物学相互作用国际研讨会论文集》（CS2Bio'13），意大利佛罗伦萨，2013年6月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记299，69-84（2013）。
MSC公司：92C40型 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Pardini}等人，《电子》。注释Theor。计算。科学。299、69-84（2013年；Zbl 1337.92066）
全文： 内政部
彼得·比克博士;安德烈亚·马焦洛·谢蒂尼;保罗·米拉佐

交互式系统的模块化验证与生物学应用。 （英文） Zbl 1283.68204号

Krivine，Jean（编辑）等人，第一届计算机科学与生物学相互作用国际研讨会论文集（CS2Bio'10），荷兰阿姆斯特丹，2010年6月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记268，61-75（2010）。
MSC公司：60年第68季度 65年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{P.Drábik}等人，《电子》。注释Theor。计算。科学。268、61-75（2010年；Zbl 1283.68204）
全文： 内政部
罗伯托·巴布蒂;安德烈亚·马焦洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕尔迪尼

循环序列的空间演算。 （英文） Zbl 1283.92024号

尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第1期，21-39页（2009年）。
MSC公司：92C40型 92立方厘米 92D20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Barbuti}等人，《电子》。注释Theor。计算。科学。229，第1号，21-39（2009；Zbl 1283.92024）
全文： 内政部
罗伯托·巴布蒂;朱利奥卡拉瓦格纳;安德烈亚·马焦洛·谢蒂尼;保罗·米拉佐

用于模拟生物系统的中间语言。 （英文） Zbl 1279.92030号

尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第3期，19-34（2008）。
MSC公司：92立方厘米 2012年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Barbuti}等人，《电子》。注释Theor。计算。科学。194，第3号，19-34（2008；Zbl 1279.92030）
全文： 内政部
罗伯托·巴布蒂;安德烈亚·马焦洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜

模拟生物膜的循环序列演算。 （英文） Zbl 1137.68371号

Eleftherakis，George（编辑）等人，《膜计算》。2007年6月25日至28日，希腊塞萨洛尼基WMC 2007第八届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-77311-5/pbk）。计算机科学课堂讲稿4860，54-76（2007）。
MSC公司：2010年第68季度 2012年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{R.Barbuti}等人，Lect。注释计算。科学。4860、54-76（2007年；Zbl 1137.68371）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件