×

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

极其深刻的证据。 (英语) 兹伯利07829302

Mark Braverman(编辑),《理论计算机科学会议的第13次创新》,ITCS 2022,美国加州伯克利,2022年1月31日至2月3日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。215,第70条,第23页(2022年)。
理学硕士:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于分支和切割的权力和限制。 (英语) Zbl 07711588号

Kabanets,Valentine(编辑),第36届计算复杂性会议,CCC 2021,加拿大安大略省多伦多,虚拟会议,2021年7月20日至23日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。200,第6条,第30页(2021年)。
理学硕士:65年第68季度
PDF格式BibTeX公司 XML格式引用

稳定飞机。 (英语) Zbl 1462.68077号

Karlin,Anna R.(编辑),第九届理论计算机科学创新会议,ITCS 2018,美国马萨诸塞州剑桥,2018年1月11-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。94,第10条,第20页(2018年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段

软件