×

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

在最坏情况下的最佳时间计算更新下的三角形数。 (英语) Zbl 07561464号

Barcelo,Pablo(ed.)等人,第22届数据库理论国际会议,ICDT 2019,2019年3月26日至28日,葡萄牙里斯本。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。127,第4条,第18页(2019年)。
MSC公司:第68页,共15页
PDF格式BibTeX公司 XML格式引用

有限算术电路的灵活求解器。 (英语) Zbl 1281.68201号

Dovier,Agostino(编辑)等人,第28届逻辑编程国际会议的技术交流(ICLP 2012),2012年9月4日至8日,匈牙利布达佩斯。论文基于会议上的陈述。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-43-9)。LIPIcs–莱布尼茨国际信息学会议录17,425-438,仅电子版(2012)。
MSC公司:68吨15 68T20型 05C90年
PDF格式BibTeX公司 XML格式引用
全文: 内政部

视图增强抽象。 (英语) Zbl 1342.68081号

Miné,Antoine(ed.)等人,第二届数字和符号抽象域国际研讨会论文集:NSAD 2010,法国佩皮尼昂,2010年9月13日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》267,第1期,43-57(2010)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在仓库环境中使用版本存储的增量视图维护方法。 (英语) Zbl 1186.68154号

Ślęzak,Dominik(编辑)等人,《数据库理论与应用》。2009年12月10日至12日,作为未来一代信息技术会议的一部分,在韩国济州岛举行了2009年DTA国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-10582-1/pbk;978-3-442-10583-8/电子书)。《计算机与信息科学通信》64,9-16(2009)。
MSC公司:第68页,共15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

知识同化的不一致容忍完整性检查。 (英语) Zbl 1181.68191号

Filipe,Joaquim(编辑)等人,《软件和数据技术》。2007年7月22日至25日在西班牙巴塞罗那举行的第二届国际会议,ICSOFT/ENASE 2007。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-88654-9/pbk)。计算机和信息科学通信22,320-331(2008)。
MSC公司:68T05型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

软件