×

找到19个文档(结果1–19)

2000年符号和代数计算国际研讨会论文集,ISSAC’00,苏格兰圣安德鲁斯,GB,2000。 (英语) Zbl 0992.68239号

纽约州纽约市:ACM出版社(ISBN 1-58113-218-2)。43篇文章(电子版)(2000年)。
理学硕士:68-06 13-06 00B25型 68瓦30 11年xx月 2005年12月 65日元10
PDF格式BibTeX公司 XML格式引用

用于高性能计算的BORG分布式体系结构。 (英语) Zbl 1076.65543号

Ingber,M.(ed.)等人,《高性能计算在工程中的应用》,第六届HPC 2000国际会议,美国HI毛伊岛,2000年1月26日至28日。南安普敦:WIT出版社(ISBN 1-85312-810-4)。399-408 (2000).
理学硕士:65日元10
PDF格式BibTeX公司 XML格式引用

IA-64除法算法的形式验证。 (英语) Zbl 0974.68535号

Aagaard,Mark(编辑)等人,《高阶逻辑中的定理证明》。2000年8月14日至18日在美国俄勒冈州波特兰举行的第13届TPHOLs 2000国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1869, 233-251 (2000).
理学硕士:68吨15 65日元10 65克50
PDF格式BibTeX公司 XML格式引用

多重网格方法的固定和自适应缓存感知算法。 (英语) Zbl 0972.65104号

Dick,Erik(编辑)等人,《多重网格方法六、第六届欧洲多重网格会议论文集》,比利时根特,1999年9月27日至30日。柏林:斯普林格。莱克特。注释计算。科学。工程14,87-93(2000)。
PDF格式BibTeX公司 XML格式引用

CTADEL应用程序驱动程序。 (英语) Zbl 0976.65082号

Houstis,Elias N.(编辑)等人,《计算科学的使能技术》。框架、中间件和环境。波士顿:Kluwer学术出版社。Kluwer国际服务。工程计算。科学。548, 327-337 (2000).
PDF格式BibTeX公司 XML格式引用

基于网络的偏微分方程计算问题解决环境。 (英语) Zbl 0976.68141号

Houstis,Elias N.(编辑)等人,《计算科学的使能技术》。框架、中间件和环境。波士顿:Kluwer学术出版社。Kluwer国际系列。工程计算。科学。548, 249-260 (2000).
理学硕士:68T20型 65日元10 68M10个
PDF格式BibTeX公司 XML格式引用

非线性偏微分方程的VECFEM解法。 (英语) Zbl 0974.65107号

Houstis,Elias N.(编辑)等人,《计算科学的使能技术》。框架、中间件和环境。波士顿:Kluwer学术出版社。Kluwer国际服务。工程计算。科学。548, 135-145 (2000).
PDF格式BibTeX公司 XML格式引用

线性系统分析仪。 (英语) Zbl 0976.65045号

Houstis,Elias N.(编辑)等人,《计算科学的使能技术》。框架、中间件和环境。波士顿:Kluwer学术出版社。Kluwer国际服务。工程计算。科学。548, 123-134 (2000).
理学硕士:65层50 68T20型 65日元10
PDF格式BibTeX公司 XML格式引用

PARAGON和SB-PRAM上PDE溶液的比较测量。 (英语) Zbl 0945.65127号

Krause,Egon(编辑)等人,《科学与工程中的高性能计算》,99年。斯图加特高性能计算中心(HLRS)交易。第二次研讨会,德国斯图加特,1999年10月4日至6日。柏林:斯普林格。469-473 (2000).
PDF格式BibTeX公司 XML格式引用

确定性并行计算几何。 (英语) Zbl 0970.65020号

Sack,J.-R(编辑)等人,《计算几何手册》。阿姆斯特丹:荷兰北部。155-200(2000年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型