×

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

行为距离的Kantorovich函子和特征逻辑。 (英语) Zbl 07770331号

Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13992, 46-67 (2023).
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

凸晶格方程组。 (英语) Zbl 1528.68206号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13660, 438-455 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率和实时系统的规范理论。 (英语) Zbl 1416.68112号

Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统观点。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8415, 98-117 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模态转换系统的参数和定量扩展。 (英语) Zbl 1416.68121号

Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统视角。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8415, 84-97 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段