×

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

最新的 引文 关联
约阿希姆·尼伦；塞德里克·侯赛因；阿瑟纳伊斯，阴道

核心SBML及其形式语义。 （英语） Zbl 07810888号

Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14137, 124-143 (2023).
MSC公司：第92页第42页 92-04
PDF格式BibTeX公司 XML格式引用
\textit{J.Niehren}等人，Lect。注释计算。科学。14137124-143（2023年；兹bl 07810888）
全文： DOI程序
曼努埃拉·盖伊；查韦斯，埃德加；González Laffitte，马科斯；阿利泽尔·洛佩斯·桑切斯；Bärbel M.R.斯塔德勒。；杜尔塞·瓦尔迪维亚。；马克·赫尔穆特；玛丽贝尔·埃尔南德斯·罗萨莱斯；彼得·斯塔德勒（Peter F.Stadler）。

最佳匹配图。 （英语） Zbl 1415.92133号

数学杂志。生物。 78，编号7，2015-2057（2019）; 更正同上，第82号，第6号，第47号文件，第9页（2021年）。
MSC公司：92D15型 92D10型 05C90年
PDF格式BibTeX公司 XML格式引用
\textit{M.Geiß}等人，《数学杂志》。生物学78，编号72015-2057（2019；兹bl 1415.92133）
全文： DOI程序 arXiv公司
博迪，恰拉；琳达，布罗多；罗伯塔·戈里；戴安娜·赫米思；弗朗西丝卡·列维

膜结石的整体发生计数分析。 （英语） Zbl 1417.68118号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日，第25届国际研讨会，LOPSTR 2015，意大利锡耶纳。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 179-200 (2015).
MSC公司：68问题85 第92页第42页
PDF格式BibTeX公司 XML格式引用
\textit{C.Bodei}等人，Lect。注释计算。科学。9527179-200（2015年；Zbl 1417.68118）
全文： DOI程序 链接
姆巴卡·马布罗基；马克·艾吉尔；Jean-Paul彗星；帕斯卡尔·勒加尔；理查德·阿德里安

嵌入生物监管网络和财产保护。 （英语） 1270.92024兹罗提

数学。计算。科学。 第5期，第3期，第263-288页（2011年）.
MSC公司：第92页第42页 92D10型 68问题85 60年第68季度 03B80号
PDF格式BibTeX公司 XML格式引用
\textit{M.Mabrouki}等人，《数学》。计算。科学。5，第3号，263--288（2011；Zbl 1270.92024）
全文： DOI程序 链接
拉杜·马特埃斯库；佩德罗·蒙泰罗。；埃斯特尔·杜马斯；德容、希德

CTRL：利用正则表达式和公平算子对CTL进行扩展，以验证遗传调控网络。 （英语） Zbl 1231.68163号

西奥。计算。科学。 412，第26号，2854-2883（2011）.
审核人：马丁·兰格（卡塞尔）
MSC公司：60年第68季度 第92页第42页
PDF格式BibTeX公司 XML格式引用
\textit{R.Mateescu}等人，Theor。计算。科学。412，第26号，2854--2883（2011；Zbl 1231.68163）
全文： DOI程序 链接
迈克尔·佩德森；戈登·普洛金（Gordon D.Plotkin）。

生化系统语言：设计和形式规范。 （英语） Zbl 1275.92020年

Priami，Corrado（编辑）等人，《计算系统生物学学报》第十二卷。关于建模方法的特别问题。柏林：施普林格出版社（ISBN 978-3-642-11711-4/pbk）。计算机科学课堂讲稿5945。生物信息学课堂讲稿。《期刊副刊》，77-145（2010年）。
MSC公司：92C40型 60J28型 68问题85 第92页第42页
PDF格式BibTeX公司 XML格式引用
\textit{M.Pedersen}和\textit{G.D.Plotkin}，莱克特。注释计算。科学。5945，77--145（2010；Zbl 1275.92020）
全文： DOI程序
阿莱西奥·科莱塔；罗伯塔·戈里；弗朗西丝卡·列维

使用抽象解释近似生物系统的概率行为。 （英语） Zbl 1283.92037号

尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，165-182（2009）。
MSC公司：第92页第42页 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Coletta}等人，《电子》。注释Theor。计算。科学。229，第1号，165--182（2009；Zbl 1283.92037）
全文： DOI程序
罗伯托·巴布蒂；弗朗西丝卡·列维；保罗·米拉佐；圭多·斯卡纳

动力学速率不确定生物系统的概率模型检验。 （英语） Zbl 1260.68226号

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿579764-78（2009）。
MSC公司：60年第68季度 87年第68季度 第92页第42页
PDF格式BibTeX公司 XML格式引用
\textit{R.Barbuti}等人，Lect。注释计算。科学。5797、64--78（2009年；Zbl 1260.68226）
全文： DOI程序
大卫·哈雷；雅基·塞蒂；索尔·埃夫罗尼；娜玛·斯威德林；科恩（Irun R.Cohen）。

生物建模的并发性：行为、执行和可视化。 （英语） Zbl 1279.68260号

尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第3期，119-131（2008）。
MSC公司：68问题85 第92页第42页
PDF格式BibTeX公司 XML格式引用
\textit{D.Harel}等人，《电子》。注释Theor。计算。科学。194，第3号，119--131（2008；Zbl 1279.68260）
全文： DOI程序
约翰内斯·沃尔博尔德；莱因哈德·古什克；伯恩哈德·甘特

通过形式化概念分析方法构建基因调控动力学知识库。 （英语） 兹比尔1171.68755

Horimoto，Katsuhisa（编辑）等人，代数生物学。2008年7月31日至8月2日，第三届国际会议，AB 2008，奥地利哈根堡城堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85100-4/pbk）。《计算机科学讲义》5147230-244（2008）。
MSC公司：68立方英尺 92B05型 92立方37 92C40型 92D10型
PDF格式BibTeX公司 XML格式引用
\textit{J.Wollbold}等人，Lect。注释计算。科学。5147230-244（2008年；Zbl 1171.68755）
全文： DOI程序 arXiv公司
拉杜·马特埃斯库；佩德罗·蒙泰罗。；埃斯特尔·杜马斯；德容、希德

遗传调控网络的计算树规则逻辑。 （英语） Zbl 1183.68380号

Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，48-63（2008）。
MSC公司：60年第68季度 03B44号 03B45号 第92页第42页
PDF格式BibTeX公司 XML格式引用
\textit{R.Mateescu}等人，Lect。注释计算。科学。5311、48-63（2008年；Zbl 1183.68380）
全文： DOI程序 链接
克劳斯·布拉布兰德；罗伯特·吉格里奇；安德斯·默勒

分析上下文无关语法的歧义性。 （英语） Zbl 1139.68348号

Holub，Jan（编辑）等人，《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-76335-2/pbk）。计算机科学课堂讲稿4783，214-225（2007）。
MSC公司：2012年第68季度 92D20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Brabrand}等人，Lect。注释计算。科学。4783、214-225（2007年；Zbl 1139.68348）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件