×

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

应用排序网络综合优化的排序库。 (英语) Zbl 1362.68062号

Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修改选定的论文。查姆:施普林格(ISBN 978-3-319-27435-5/pbk;978-3-3169-27436-2/电子书)。计算机科学课堂讲稿9527127-142(2015)。
MSC公司:68页第10页
PDF格式BibTeX公司 XML格式引用

对Quicksort和Hoare的发现进行平滑分析。 (英语) Zbl 1248.68580号

Ngo,Hung Q.(编辑),《计算与组合学》。第15届国际年会,COCOON 2009,尼亚加拉大瀑布,纽约,美国,2009年7月13-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02881-6/pbk)。计算机科学课堂讲稿5609158-167(2009)。
MSC公司:68瓦40 68页第10页
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

一台机器检查了Coq中Quicksort的平均用例复杂性的证明。 (英语) Zbl 1246.68201号

Berardi,Stefano(编辑)等人,《证明和程序的类型》。2008年3月26日至29日在意大利都灵举行的TYPES 2008国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-02443-6/pbk)。计算机科学课堂讲稿5497256-271(2009)。
MSC公司:68吨15 68页第10页 第68季度25
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

二叉搜索树的平滑分析和加性噪声下的快速排序。 (英语) Zbl 1173.68458号

Ochmaánski,Edward(编辑)等人,《2008年计算机科学数学基础》。2008年8月25日至29日,第33届国际研讨会,MFCS 2008,波兰托伦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85237-7/pbk)。计算机科学课堂讲稿5162467-478(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段