×

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

执行带有区域类型和效果的规划指南。 (英语) Zbl 1503.68030号

Chang,Bor-Yuh-Evan(编辑),《编程语言和系统》。2017年11月27日至29日,第15届亚洲研讨会,APLAS 2017,中国苏州。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10695, 85-104 (2017).
MSC公司:68甲15
PDF格式BibTeX公司 XML格式引用

移动代理与客户端/服务器性能:信息检索任务中的可扩展性。 (英语) Zbl 1052.68861号

Picco,Gian Pietro(编辑),移动代理。第五届国际会议,马萨诸塞州2001年12月2-4日,美国佐治亚州亚特兰大。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42952-2)。莱克特。注释计算。科学。2240, 229-243 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

Martin-Löf型理论中可拓性的消除。 (英语) Zbl 1527.03009号

Barendregt,Henk(编辑)等人,《93年类型》。校样和程序的类型。国际研讨会,荷兰奈梅亨,1993年5月24日至28日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。806, 166-190 (1994).
MSC公司:03B38型 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件