×

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

单调多边形障碍物之间点的可见性图中的无交叉生成树。 (英语) 兹比尔1407.68373

爱德华·赫施(Edward A.Hirsch)等,《计算机科学——理论与应用》。2014年6月7日至11日,第九届俄罗斯国际计算机科学研讨会,CSR 2014,俄罗斯莫斯科。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8476, 337-350 (2014).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

计算多标记树的一致性。 (英语) Zbl 1430.68473号

Bader,David A.(编辑)等人,《第14届算法工程与实验研讨会论文集》(ALENEX’12),日本京都,2012年1月16日。宾夕法尼亚州费城:工业和应用数学学会(SIAM)。84-92 (2012).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

近似接近图。 (英语) Zbl 1311.68117号

van Kreveld,Marc(编辑)等人,《图形绘制》。2011年9月21日至23日,荷兰埃因霍温,第19届国际研讨会,GD 2011。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-25877-0/pbk)。计算机科学课堂讲稿7034166-178(2012)。
MSC公司:68兰特 68单位05
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

匹配和预测轨迹的算法。 (英语) Zbl 1430.68196号

Müller-Hannemann,Matthias(ed.)等人,《第十三届算法工程与实验研讨会论文集》(ALENEX'11),美国加利福尼亚州旧金山,2011年1月22日。宾夕法尼亚州费城:工业和应用数学学会(SIAM)。84-95 (2011).
MSC公司:68兰特 68瓦40
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

解开平面图。 (英语) Zbl 1132.68511号

Geffert,Viliam(编辑)等人,SOFSEM 2008:计算机科学的理论与实践。第34届计算机科学理论与实践当前趋势会议,2008年1月19日至25日,斯洛伐克,11月斯莫科维奇。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-77565-2/pbk)。计算机科学课堂讲稿4910473-484(2008)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

非交叉生成树的固定参数可处理性。 (英语) Zbl 1209.68278号

Dehne,Frank(编辑)等人,《算法和数据结构》。2007年8月15日至17日在加拿大哈利法克斯举办的2007年WADS第十届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73948-7/pbk)。计算机科学课堂讲稿4619,410-421(2007)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

基于小图分隔符的最小权三角剖分问题的固定参数算法。 (英语) Zbl 1167.68410号

Fomin,Fedor V.(编辑),计算机科学中的图论概念。第32届国际研讨会,2006年工作组,2006年6月22日至24日,挪威卑尔根。修订论文。柏林:施普林格出版社(ISBN 978-3-540-48381-6/pbk)。计算机科学课堂讲稿4271,49-57(2006)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

最小凸划分问题的近似算法。 (英语) Zbl 1142.68615号

Arge,Lars(编辑)等人,算法理论–SWAT 2006。第十届斯堪的纳维亚算法理论研讨会,拉脱维亚里加,2006年7月6日至8日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-35753-7/pbk)。计算机科学课堂讲稿4059232-241(2006)。
MSC公司:68周25 68单位05
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

拓扑图中交叉点少的配置。 (英语) Zbl 1175.05041号

邓晓铁(编辑)等,《算法与计算》。2005年12月19日至21日,第16届国际学术研讨会,中国海南三亚,ISAAC 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30935-7/pbk)。计算机科学课堂讲稿3827604-613(2005)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

基本知识软件测试。认证测试人员的培训和进一步教育。(Basiswissen Softwaretest.Aus-und Weiterbildung zum认证测试人员。基础水平nach ASQF-und ISEB-标准。) (德语) Zbl 1009.68016号

海德堡:dpunkt.verlag。xv,228 S.(2002年)。
MSC公司:68号01 68N99型 68-01
PDF格式BibTeX公司 XML格式引用

测试过程的管理和优化。使用TPI和TMap测试软件的实用指南。2.阿克图亚利斯。澳大利亚。(测试过程管理与优化。Ein praktischer Leitfaden für erfolgreiches Software-Testen mit TPI und TMap。) (德语) Zbl 1012.68015号

海德堡:dpunkt.verlag。xvi,543 S.(2002年)。
MSC公司:68米15 68-01
PDF格式BibTeX公司 XML格式引用

软件的测试、分析和验证。(软件测试、分析和验证。Aus der Arbeit der Fachgruppe 2.1.7软件(TAV)der Gesellschaft für Informatik(GI)测试、分析与验证。) (德语) Zbl 1062.68549号

Bericht der Gesellschaft für Mathematik und Datenverabeitung(GMD-Berichte)260.慕尼黑:奥尔登堡(ISBN 3-486-23845-0)。x、 第211页。(1996).
MSC公司:68N99型 68-01
PDF格式BibTeX公司 XML格式引用

软件的测试、分析和验证。(Testen,Analysieren und Verifizieren von Software.Arbeitskreis“Testen,anasiieren und Verificatieren van Software”der Fachgruppe Software-Engineering der GI.《德克萨斯州本特和波鸿市特雷芬会议录》,1991年6月至1992年2月。) (德语) Zbl 0825.68080号

Informatik Aktuell公司。柏林等:Springer-Verlag。八、 第186页(1992年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份