×

找到56个文档（结果1-56）

最新的 引文 关联
Gerdes，K。

有限元方法的实现方面。 （英语） Zbl 0968.65085号

Bock，Hans Georg（编辑）等人，ENUMATH 97。1997年9月28日至10月3日在德国海德堡举行的第二届欧洲数值数学和高级应用会议记录。包括1995年9月在法国巴黎举行的第一届会议（ENUMATH 95）的论文选集。新加坡：世界科学。311-318 (1998).
MSC公司：65N30型 74S05号 76M10个 65日元
PDF格式BibTeX公司 XML格式引用
\textit{K.Gerdes}，in：ENUMATH 97。1997年9月28日至10月3日在德国海德堡举行的第二届欧洲数值数学和高级应用会议记录。包括1995年9月在法国巴黎举行的第一届会议（ENUMATH 95）的论文选集。新加坡：世界科学。311--318（1998年；Zbl 0968.65085）
戴维·巴恩斯；塞恩·马修斯；卢卡·维甘诺

模态逻辑在逻辑框架中的模块化表示。 （英语） Zbl 0956.03008号

Ginzburg，Jonathan（编辑）等人，《第比利斯逻辑、语言和计算研讨会：论文选集》，格鲁吉亚古达乌里，1995年10月19-22日。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和信息研究。293-307 (1998).
MSC公司：03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，in：第比利斯逻辑、语言和计算研讨会：论文选集，格鲁吉亚古达乌里，1995年10月19-22日。加州斯坦福：CSLI出版物；阿姆斯特丹：欧洲逻辑、语言和信息协会（FoLLI）。293--307（1998年；Zbl 0956.03008）
弗兰克·阿尔伯斯；彼得·达马施克

延迟更正-二进制搜索错误非常简单，但效率很高。《澳大利亚计算机科学通讯》第20卷第3期（1998年）。 （英语） Zbl 0952.68042号

林学敏（编辑），《计算理论》，98年。1998年2月2日至3日，澳大利亚珀斯，第四届澳大拉西亚理论研讨会会议记录——CATS’98。新加坡：斯普林格。97-105 (1998).
MSC公司：68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{F.Albers}和\textit{P.Damaschke}，in：计算理论`98。第四届澳大拉西亚理论研讨会论文集-CATS'98，澳大利亚珀斯，1998年2月2日至3日。新加坡：斯普林格。97——105（1998年；Zbl 0952.68042）
哥伦比亚特区哈比斯。；帕帕德拉卡基斯。

自适应有限元分析的并行求解技术。 （英语） Zbl 0969.74602号

Lipitakis，Elias A.（编辑），HERCMA’98。第四届希腊-欧洲计算机数学及其应用会议论文集。希腊雅典，1998年9月24日至26日。2卷。雅典：LEA，雅典经济与商业大学，信息学系。798-810 (1998).
MSC公司：74S05号 第65年
PDF格式BibTeX公司 XML格式引用
\textit{D.C.Harbis}和\textit{M.Papadrakakis}，收录于：HERCMA’98。第四届希腊-欧洲计算机数学及其应用会议论文集。希腊雅典，1998年9月24日至16日。2卷。雅典：LEA，雅典经济与商业大学，信息学系。798--810（1998年；Zbl 0969.74602）
拉斐尔·塞鲁利；费斯塔，保拉；吉安卡洛·雷科尼

一种新的前向向后拍卖算法。 （英语） Zbl 0948.90139号

De Leone，Renato（编辑）等人，《非线性优化中的高性能算法和软件》。会议，HPSNO 97，意大利伊斯基亚，1997年6月。多德雷赫特：Kluwer学术出版社。申请。最佳方案。24, 109-124 (1998).
MSC公司：90立方厘米 05C35号 第65年
PDF格式BibTeX公司 XML格式引用
\textit{R.Cerulli}等人，应用。最佳方案。24、109--124（1998年；Zbl 0948.90139）
库斯雷夫，A.G。

关于（I_2）型（AJW）-代数的结构。 （英语。俄文原件） Zbl 0936.46040号

同胞。数学。J。 40，第4期，764-774（1999）; 来自Sib的翻译。材料Zh。40，第4期，905-917（1999）。
审核人：S.S.Kutateladze（新西伯利亚）
MSC公司：46小时70分 46平方米 17C65型
PDF格式BibTeX公司 XML格式引用
\textit{A.G.Kusraev}，Sib。数学。J.40，第4号，905--917（1998；Zbl 0936.46040）；来自Sib的翻译。材料Zh。40，第4号，905--917（1999）
全文： 内政部
M.哈提卜。；H.Jaouni。；查提拉，R。；J.-P.劳蒙德。

如何实现动态路径。 （英语） Zbl 0947.70536号

Casals，Alicia等人，《实验机器人V.第五届国际研讨会》，巴塞罗那，加泰罗尼亚，西班牙，1997年6月15日至18日。柏林：斯普林格。莱克特。票据控制信息科学。232, 289-300 (1998).
MSC公司：70E60型 93C85号 2005年第70季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Khatib}等人，Lect。票据控制信息科学。232289--300（1998年；Zbl 0947.70536）
科恩，亨利；宫崎骏，Atsuko；小野，高俊

使用混合坐标的高效椭圆曲线求幂。 （英语） Zbl 0939.11039号

Ohta，Kazuo（编辑）等人，《密码学进展——1998年亚洲密码》。密码学与信息安全理论与应用国际会议，中国北京，1998年10月18-22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1514, 51-65 (1998).
审核人：奈杰尔·斯马特（布里斯托尔）
MSC公司：2016年11月 11G05号 94A60型 14H50型
PDF格式BibTeX公司 XML格式引用
\textit｛H.Cohen｝等人，Lect。注释计算。科学。1514、51-65（1998年；Zbl 0939.11039）
尼科莱特·邦内特；拉杰夫·戈雷

时态逻辑的标记序列系统{K} _（t）\). （英语） Zbl 0928.03005号

Antoniou，Grigoris（编辑）等人，《人工智能高级主题》。1998年7月13日至17日，第11届澳大利亚联合会议，AI'98，澳大利亚布里斯班。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1502，71-82（1998年）。
MSC公司：03B35型 03B44号 68吨15 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{N.Bonnette}和\textit{R.Goré}，Lect。注释计算。科学。1502，71--82（1998；Zbl 0928.03005）
简·塞德奎斯特

类型理论中Heine-Borel覆盖定理的实现。 （英语） Zbl 0927.03019号

Giménez，Eduardo（编辑）等人，《证明和程序的类型》。1996年12月15日至19日，法国奥索瓦举行的“96型国际研讨会”。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1512, 46-65 (1998).
MSC公司：03B35型 03层60 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Cederquist}，莱克特。注释计算。科学。1512、46-65（1998年；Zbl 0927.03019）
阿盖耶夫，D.A。；Istratov，A.Yu。

最优路径问题的神经网络实现。 （英语。俄文原件） Zbl 0924.93029号

J.计算。系统。科学。国际。 37，第1期，118-125（1998）; Izv的翻译。阿卡德。特奥尔，瑙克。修女。向上。1998年，第1124-132号（1998年）。
审核人：L.Andrey（普拉哈）
MSC公司：93C85号 92B20型
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Ageev}和\textit{A.Yu.Istratov}，J.Compute。系统。科学。《国际法》第37卷第1期，第118-125页（1998年；Zbl 0924.93029）；Izv的翻译。阿卡德。特奥尔，瑙克。修女。向上。1998年，第1期，124--132（1998）
马库斯·鲍姆

在并行计算机上执行湍流燃烧的DNS和详细的化学。 （英语） Zbl 0931.76034号

D’Hollander，E.H.（编辑）等人，《并行计算：基础、应用和新方向》。1997年9月19日至22日在德国波恩举行的ParCo 97会议。阿姆斯特丹：北荷兰/爱思唯尔。高级并行计算。12, 145-153 (1998).
MSC公司：76层65 76伏05 80A25型 第65年
PDF格式BibTeX公司 XML格式引用
\textit｛M.Baum｝，高级并行计算。12、145--153（1998年；Zbl 0931.76034）
奥拉夫·巴赫曼；汉斯·施奈曼

Gröbner基计算的单项式表示。 （英语） Zbl 0924.68104号

奥利弗·格洛尔（编辑），《1998年符号和代数计算国际研讨会论文集》，ISSAC’98，德国罗斯托克，1998年8月13日至15日。纽约州纽约市：ACM出版社。309-316 (1998).
审核人：G.Pfister（凯泽斯劳滕）
MSC公司：68瓦30 13页第10页
PDF格式BibTeX公司 XML格式引用
\textit{O.Bachmann}和\textit{H.Schönemann}，摘自：1998年符号和代数计算国际研讨会论文集，ISSAC’98，德国罗斯托克，1998年8月13-15日。纽约州纽约市：ACM出版社。309--316（1998年；Zbl 0924.68104）
弗朗索瓦·萨维耶·鲁克斯；查贝尔·法哈特

2级FETI方法中粗网格求解器直接求解策略的并行实现。 （英语） Zbl 0960.74068号

Mandel，Jan（编辑）等人，区域分解方法10。第十届国际会议，美国科罗拉多州博尔德，1997年8月10日至14日。普罗维登斯，RI:AMS，美国数学学会。康斯坦普。数学。218, 158-173 (1998).
审核人：N.Herrmann（汉诺威）
MSC公司：74S05号 74K99型 65号55 第65年
PDF格式BibTeX公司 XML格式引用
\textit{F.-X.Roux}和\textit{C.Farhat}，康特姆。数学。218158--173（1998年；Zbl 0960.74068）
F.莫林。

使用椭圆曲线的素数证明：更新。 （英语） Zbl 0908.11061号

Buhler，J.P.（编辑），算法数论。第三届国际研讨会，ANTS-III，美国俄勒冈州波特兰，1998年6月21日至25日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1423, 111-127 (1998).
审核人：Jürgen Wolfart（美因河畔法兰克福）
MSC公司：11年11月 11G05号 14H52型 11页51
PDF格式BibTeX公司 XML格式引用
\textit{F.Morain}，莱克特。注释计算。科学。1423111-127（1998年；兹bl 0908.11061）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件