×

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

使用信号量扩展MSVL。 (英语) Zbl 1476.68183号

Dinh,Thang N.(编辑)等,《计算与组合学》。2016年8月2-4日,第22届国际会议,2016年COCOON,越南胡志明市。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9797, 599-610 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

PPTL中的一些定点问题。 (英语) Zbl 1391.03018号

Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051151-165(2013)。
MSC公司:03B44号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段