×

找到8个文档(结果1-8)

β-结合物结构一致性的可判定性。 (英语) 兹比尔1277.68200

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,155-170(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定量模型的生物交易。 (英语) Zbl 1277.68173号

Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,55-67(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

轩尼诗-米尔纳逻辑的可判定扩展。 (英语) Zbl 1225.03031号

Najm,Elie(编辑)等人,网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议,法国巴黎,2006年9月26-29日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-46219-4/pbk)。计算机科学课堂讲稿4229196-211(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段