×

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

最新的 引文 关联
布赖恩特·伊斯雷尔森；兰登·泰勒；张震

化学反应网络中稀土分析的高效痕量生成。 （英语） Zbl 07750357号

Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13872, 83-102 (2023).
MSC公司：68问题85 第92页第42页 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{B.Israelsen}等人，Lect。注释计算。科学。13872，83-102（2023；Zbl 07750357）
全文： 内政部
Dannenberg，弗里茨；恩斯特·莫里茨·哈恩；玛尔塔·奎亚特科夫斯卡

使用快速自适应均匀化计算累积奖励。 （英语） Zbl 1369.65014号

ACM事务处理。模型。计算。模拟。 25，第2号，第9条，第23页（2015年）.
MSC公司：65立方厘米 60J28型 65C20个 60年第68季度 92D20型 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Dannenberg}等人，《美国医学杂志》。模型。计算。模拟。25，第2号，第9条，23页（2015年；Zbl 1369.65014）
全文： 内政部
阿兰赛，Jesús；Jose Divasón

线性代数的形式化和执行：从定理到算法。 （英语） Zbl 1453.68210号

Gupta，Gopal（编辑）等，基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8901, 1-18 (2014).
MSC公司：68V20型 15A04号 65平方英尺 92 C55
PDF格式BibTeX公司 XML格式引用
\textit{J.Aransay}和\textit{J.Divasón}，莱克特。注释计算。科学。8901，1-18（2014；Zbl 1453.68210）
全文： 内政部
玛丽亚·波扎；塞萨尔·多明格斯；乔纳森·赫拉斯；朱利奥·鲁比奥

用于同源图像处理的经认证的简化策略。 （英语） Zbl 1354.68286号

ACM事务处理。计算。日志。 第15号第3条第23条第23页（2014年）.
MSC公司：68单位10 03B35型 55单元15 68吨15 92 C55
PDF格式BibTeX公司 XML格式引用
\textit{M.Poza}等人，ACM Trans。计算。日志。第15号第3条第23条第23页（2014年；Zbl 1354.68286）
全文： 内政部 arXiv公司
卢卡·博托卢西；简·希尔斯顿

通过流体近似检查马尔可夫种群模型中的个体代理行为。 （英语） Zbl 1380.68269号

Bernardo，Marco（编辑）等人，动力系统的形式化方法。2013年6月17日至22日，意大利贝蒂诺罗，第13所计算机、通信和软件系统正式设计方法国际学校，SFM 2013。高级讲座。柏林：施普林格出版社（ISBN 978-3-642-38873-6/pbk）。计算机科学课堂讲稿7938，113-149（2013）。
MSC公司：60年第68季度 60J20型 87年第68季度 92D25型
PDF格式BibTeX公司 XML格式引用
\textit｛L.Bortolussi｝和\textit｛J.Hillston｝，Lect。注释计算。科学。7938、113--149（2013年；Zbl 1380.68269）
全文： 内政部 链接
卢博什·布里姆；科什卡，米兰；Šafránek，大卫

生物系统的模型检查。 （英语） Zbl 1380.92024号

Bernardo，Marco（编辑）等人，动力系统的形式化方法。2013年6月17日至22日，意大利贝蒂诺罗，第13所计算机、通信和软件系统正式设计方法国际学校，SFM 2013。高级讲座。柏林：施普林格出版社（ISBN 978-3-642-38873-6/pbk）。计算机科学课堂讲稿7938，63-112（2013）。
MSC公司：第92页第42页 60年第68季度 92-08
PDF格式BibTeX公司 XML格式引用
\textit{L.Brim}等人，Lect。注释计算。科学。7938，63-112（2013年；兹bl 1380.92024）
全文： 内政部
袁、栖霞；帕努瓦特·特雷拉特菲桑；庞、军；绍克·莫；莫妮克·维辛格；托马斯·索特

PDGF信号通路的概率模型检查。 （英语） Zbl 1381.92033号

Priami，Corrado（编辑）等人，《计算系统生物学学报》第十四卷。细胞过程计算模型特刊。柏林：施普林格出版社（ISBN 978-3-642-35523-3/pbk）。计算机科学课堂讲稿7625。生物信息学课堂讲稿。《期刊副刊》，151-180（2012）。
MSC公司：92C40型 92-08
PDF格式BibTeX公司 XML格式引用
\textit{Q.Yuan}等人，Lect。注释计算。科学。7625151-180（2012；Zbl 1381.92033）
全文： 内政部
莫尼卡·海纳；大卫·吉尔伯特

Petri网如何增强您的系统生物学工具包。 （英语） Zbl 1332.92021

Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿6709，17-37（2011）。
MSC公司：第92页第42页 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.海纳}和\textit{D.吉尔伯特}，莱克特。注释计算。科学。6709，17-37（2011；Zbl 1332.92021）
全文： 内政部
达里奥·坎帕尼亚；卡拉广场

系统生物学中的混合自动机：我们能走多远？ （英语） Zbl 1283.92035号

尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，93-108（2009）。
MSC公司：第92页第42页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Campagna}和\textit{C.Piazza}，电子。注释Theor。计算。科学。229，编号1，93--108（2009；Zbl 1283.92035）
全文： 内政部
莫尼卡·海纳；塞巴斯蒂安·勒拉克；大卫·吉尔伯特；沃尔夫冈马尔万

扩展的随机Petri网用于基于模型的湿式实验室实验设计。 （英语） Zbl 1260.68268号

Priami，Corrado（编辑）等人，《计算系统生物学学报》第十一卷。柏林：施普林格出版社（ISBN 978-3-642-04185-3/pbk）。计算机科学课程讲稿5750。生物信息学课堂讲稿。《期刊副刊》，138-163（2009）。
MSC公司：68问题85 87年第68季度 92-08 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Heiner}等人，Lect。注释计算。科学。5750、138--163（2009年；Zbl 1260.68268）
全文： 内政部
马丁·格布瑟；托尔斯滕·绍布；斯文·蒂勒；尤塞德尔，比约恩；菲利普·韦伯

使用答案集编程检测大型生物网络中的不一致性。 （英语） Zbl 1185.92052号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366130-144（2008）。
MSC公司：第92页第42页 68N17号
PDF格式BibTeX公司 XML格式引用
\textit｛M.Gebser｝等人，Lect。注释计算。科学。5366、130-144（2008年；Zbl 1185.92052）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件