×

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

\基于模态转换系统的(k)-有界Petri网综合。 (英文) Zbl 1442.68151号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第6条,第15页(2017年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于ODE的生物通道模型的自动属性合成。 (英文) Zbl 1416.92067号

Feret,Jéróme(编辑)等人,《系统生物学中的计算方法》。2017年9月27日至29日在德国达姆施塔特举行的CMSB 2017第15届国际会议。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。10545, 265-282 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Helson集,光谱合成和算子应用。 (英文) Zbl 1424.47101号

Jaming,Philippe(ed.)等人,调和分析、函数理论、算子理论及其应用。2015年6月1日至4日,法国波尔多,Jean Esterle国际会议记录。编辑者列表在勘误表中更正。布加勒斯特:Theta基金会。塞塔爵士。高级数学。19, 71-80 (2017).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型