×

找到133个文档(结果1-100)

参数相关多项式的最大公约数。 (英语。俄文原件) Zbl 0827.65054号

莫斯克。大学计算机。数学。赛博。 1993年,第2号,59-64(1993); 由Vestn翻译。莫斯科。州立大学。XV 1993,第2期,65-71(1993)。
MSC公司:65小时05 2005年12月 2005年12月
PDF格式BibTeX公司 XML格式引用

计算作为逻辑。Transl.公司。约翰·普莱斯的《来自法国》。 (英语) Zbl 0823.03015号

普伦蒂斯·霍尔计算机科学国际系列。海梅尔·亨普斯特德:普伦蒂斯·霍尔。巴黎:Masson,xi,387 p.(1993)。
PDF格式BibTeX公司 XML格式引用

关于算法代数研究的范畴方法。 (英语。俄文原件) Zbl 0824.08006号

赛博。系统。分析。 29,第2期,194-201(1993); 翻译自Kibern。修女。分析。1993年,第2期,50-62(1993)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重写术语和类型的代数语义。 (英语) Zbl 1508.68168号

Rusinowitch,Michaël(编辑)等人,条件术语重写系统。第三届国际研讨会,CTRS-92,Pont-a-Mousson,法国,1992年7月8-10日。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。656,1-20(1993)中所述。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

特征自动机和可识别的特征树集。 (英语) Zbl 1497.68146号

Gaudel,Marie-Claude(编辑)等人,TAPSOFT’93:软件开发的理论和实践。第四届CAAP/FASE国际联席会议,法国奥尔赛,1993年4月13日至17日。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。668, 356-375 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

MTNS 93,网络和系统数学理论。国际研讨会,德国雷根斯堡,1993年8月2-6日。全体发言人、专题发言人和小型课程发言人摘要。 (英语) Zbl 0817.68016号

雷根斯堡:Univ.350 p.(1993)。
MSC公司:00亿05 93-06 68-06 93B36型 93B30型 68T05型 68瓦30 68岁20岁 93A30型 68M10个
PDF格式BibTeX公司 XML格式引用

关于接触网故障的数学模型。 (英语。俄文原件) Zbl 0821.94038号

莫斯克。大学数学。牛。 48,第1期,40-45(1993); 由Vestn翻译。莫斯科。州立大学。I 1993,第1期,42-49(1993)。
MSC公司:94C12号机组 68米15 94立方厘米
PDF格式BibTeX公司 XML格式引用

偶泛函理论及其算法应用。 (英语) Zbl 1422.68118号

Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。700, 126-136 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过匹配在图上路由置换。 (英语) Zbl 1310.68155号

第25届ACM计算理论年会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-591-7)。583-591 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

超越特征值界限的扩展器,显式构造和应用。 (英语) Zbl 1310.68168号

第25届ACM计算理论年会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-591-7)。245-251 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机代数。代数计算系统和算法。Transl.公司。来自法国的A.Davenport A.J.H.Davenport。第2版。 (英语) Zbl 0865.68064号

伦敦:学术出版社。xix,298 p.$45.00/hc(1993年)。
MSC公司:68瓦30 68-01 2005年12月 13页第10页
PDF格式BibTeX公司 XML格式引用

计算机代数中数学数据类型和多态类型的规范。(计算机代数中的Spezifikation mathematischer Rechenstrukturen und Typenpolymorphismen) (德语) Zbl 0793.68086号

卡尔斯鲁厄:法克大学。f.Informatik,第190页(1993年)。
MSC公司:68瓦30 68问题65
PDF格式BibTeX公司 XML格式引用

工业中的计算机代数:实践中的问题解决。1991年在荷兰阿姆斯特丹举行的SCAFI工业计算机代数研讨会论文集。 (英语) Zbl 0833.68005号

奇切斯特:威利。ix,252页(1993年)。
PDF格式BibTeX公司 XML格式引用

高度并行的稀疏三角形解。 (英语) 兹伯利0794.65019

George,Alan(编辑)等,图论和稀疏矩阵计算。美国明尼苏达州明尼阿波利斯市1991-92年国际数学协会“应用线性代数”项目的一个组成部分研讨会论文集。纽约:Springer-Verlag。IMA卷数学。申请。56, 141-157 (1993).
PDF格式BibTeX公司 XML格式引用

使用嵌套解剖减少填充:明显良好的消除顺序。 (英语) Zbl 0803.68082号

George,Alan(编辑)等,图论和稀疏矩阵计算。美国明尼苏达州明尼阿波利斯市1991-92年国际数学协会“应用线性代数”项目的一个组成部分研讨会论文集。纽约:Springer-Verlag。IMA卷数学。申请。56, 31-55 (1993).
PDF格式BibTeX公司 XML格式引用

弦图和团树简介。 (英语) Zbl 0803.68081号

George,Alan(编辑)等,图论和稀疏矩阵计算。美国明尼苏达州明尼阿波利斯市1991-92年国际数学协会“应用线性代数”项目的一个组成部分研讨会论文集。纽约:Springer-Verlag。IMA卷数学。申请。56, 1-29 (1993).
PDF格式BibTeX公司 XML格式引用

一元对函数理论。 (英语) Zbl 0799.04005号

Droste,Manfred(编辑)等人,《编程语言的语义和模型理论》。1991年6月23日至29日,在德国SchloßDägstuhl国际会议和计算机科学研究中心上发表的论文。伊弗登:戈登和布雷奇科学出版社。代数日志。申请。5, 287-304 (1993).
PDF格式BibTeX公司 XML格式引用

用于大规模和实时应用的线性代数。1992年8月3日至14日,比利时鲁汶,《北约高级研究所学报》。 (英语) Zbl 0810.00029号

北约ASI系列。E系列应用科学. 232. 多德雷赫特:Kluwer学术出版社。xi,435页(1993年)。
MSC公司:00B25型 68-06
PDF格式BibTeX公司 XML格式引用

Cayley图上的单向细胞自动机。 (英语) Zbl 0794.68106号

埃西克,佐尔坦(编辑),《计算理论基础》。第九届国际会议,1993年8月23日至27日,匈牙利塞格德FCT’93。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。710, 406-417 (1993).
PDF格式BibTeX公司 XML格式引用

计算机科学家的数值数学。2.,unveränd。澳大利亚。(Numerische Mathematik für Informatiker) (德语) 兹比尔0803.65001

斯普林格·勒布赫。Mathematik für信息员。柏林:斯普林格-弗拉格。ix,401页(1993年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

NAPAW 92。《第一届北美过程代数会议录》,研讨会,美国纽约州石溪,1992年8月28日。 (英语) Zbl 0826.68006号

计算机研讨会。伦敦:Springer-Verlag(与英国计算机学会合作)。viii,241 p.84.00德国马克;öS 655.20;sFr 84.00/sc(1993年)。
MSC公司:68-06 00B25型
PDF格式BibTeX公司 XML格式引用

关于现实的推理:HOL和Maple的婚姻。 (英语) Zbl 0793.68084号

安德烈·沃伦科夫(编辑),《逻辑编程和自动推理》。第四届国际会议,1993年7月13日至20日,俄罗斯圣彼得堡LPAR’93。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。698, 351-353 (1993).
MSC公司:68瓦30 68吨15
PDF格式BibTeX公司 XML格式引用

Maple用于多体系统建模和仿真。 (英语) Zbl 0791.70001号

Lee,Thomas(编辑),Maple V的数学计算:思想和应用。1993年6月28日至30日,美国安娜堡密歇根大学枫叶夏季研讨会论文集。马萨诸塞州波士顿:Birkhäuser。109-117 (1993).
PDF格式BibTeX公司 XML格式引用

计算路径算法。 (英语) 兹伯利0791.68128

Bird,Richard S.(编辑)等人,《程序构造的数学》。第二届国际会议,英国牛津,1992年6月29日至7月3日。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。669, 32-44 (1993).
PDF格式BibTeX公司 XML格式引用

根据决策图分析和操作布尔函数。 (英语) 兹比尔0789.68108

Mayr,Ernst W.(编辑),计算机科学中的图论概念。1992年6月18日至20日,第18届国际研讨会,1992年工作组,德国威斯巴登-诺罗德。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。657, 310-320 (1993).
MSC公司:68兰特 2005年第68季度 94立方厘米 2015年第68季度
PDF格式BibTeX公司 XML格式引用

并行网络的拓扑结构和计算复杂性。 (英语) Zbl 0789.68064号

Mayr,Ernst W.(编辑),计算机科学中的图论概念。1992年6月18日至20日,第18届国际研讨会,1992年工作组,德国威斯巴登-诺罗德。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。657, 70-77 (1993).
MSC公司:68宽15 94立方厘米 65年第68季度 68M10个
PDF格式BibTeX公司 XML格式引用

带分支程序的可行布尔操作和概率可行布尔操作的前沿。(扩展摘要)。 (英语) Zbl 0798.68078号

Patrice Enjalbert等人,STACS 93。第十届计算机科学理论方面年度研讨会,1993年2月25日至27日,德国瓦茨堡。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。665, 576-585 (1993).
MSC公司:68瓦35 94立方厘米 68单位07 68兰特 68瓦30 94C15号机组
PDF格式BibTeX公司 XML格式引用

多项式向量场理论的代数和几何方面。 (英语) Zbl 0790.34031号

Schlomiuk,Dana(编辑),向量场的分岔和周期轨道。1992年7月13日至24日,加拿大蒙特利尔,《北约高级研究所和数学研究所学报》。多德雷赫特:Kluwer学术出版社。北约ASI系列。,序列号。C、 数学。物理学。科学。408, 429-467 (1993).
PDF格式BibTeX公司 XML格式引用

有限秩代数中的计算。 (英语) Zbl 0812.16001号

Fischer,Klaus G.(编辑)等,计算代数。1993年5月20日至23日在美国弗吉尼亚州费尔法克斯乔治·梅森大学举行的中大西洋代数会议论文。纽约州纽约市:Dekker。莱克特。Notes纯应用。数学。151, 131-165 (1993).
MSC公司:2016年05月 17-08
PDF格式BibTeX公司 XML格式引用

用于验证计算的数值工具箱。第一卷:基本数值问题。理论、算法和Pascal-XSC程序。 (英语) Zbl 0796.65001号

计算数学中的Springer级数. 21. 柏林:斯普林格-弗拉格。xv,337页(1993年)。
PDF格式BibTeX公司 XML格式引用

集成信息系统设计:一种基于面向对象概念和Petri网的方法。 (英语) 兹比尔0826.68040

埃因霍温:理工大学。x、 第180页(1993年)。
PDF格式BibTeX公司 XML格式引用

理论物理中的数学。选定的示例。使用磁盘。(Mathematica in der Theoretischen Physik.Ausgewählte Beispiele.Mit Diskette) (德语) Zbl 0787.65089号

柏林:Springer-Verlag。x、 240页(1993年)。
PDF格式BibTeX公司 XML格式引用

Mathematik mit DERIVE公司。Mit 80 Abb.公司。,扎尔。DERIVE中的UE bungsaufgaben und Mustersitzungen sowie einer Einführung。 (德语) Zbl 0794.26003号

Vieweg计算机代数。布伦瑞克:维埃格。xiv,394 S.(1993年)。
MSC公司:26-01 26-04 65-01 68瓦30
PDF格式BibTeX公司 XML格式引用

从二面体群获得的高度展开图。 (英语) 兹比尔0787.05050

乔尔·弗里德曼(编辑),《展开图》。DIMACS膨胀图研讨会论文集,1992年5月11日至14日,美国新泽西州普林斯顿大学。普罗维登斯,RI:美国数学学会。DIMACS系列。谨慎。数学。西奥。计算。科学。10, 117-123 (1993).
PDF格式BibTeX公司 XML格式引用

某些Cayley图族谱的数值研究。 (英语) Zbl 0793.05070号

乔尔·弗里德曼(编辑),《展开图》。DIMACS膨胀图研讨会论文集,1992年5月11日至14日,美国新泽西州普林斯顿大学。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。10, 63-73 (1993).
PDF格式BibTeX公司 XML格式引用

关于正则图的第二特征值和线性展开。 (英语) Zbl 0792.05079号

乔尔·弗里德曼(编辑),《展开图》。DIMACS膨胀图研讨会论文集,1992年5月11日至14日,美国新泽西州普林斯顿大学。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。第10卷,第49-62页(1993年)。
PDF格式BibTeX公司 XML格式引用

GRAPE:使用图形和组进行计算的系统。 (英语) 兹比尔08303.05071

Finkelstein,Larry(编辑)等人,《群与计算》。1991年10月7日至10日,美国新泽西州新不伦瑞克罗格斯大学DIMACS研讨会论文。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。11, 287-291 (1993).
MSC公司:05C85号 05C25号 20B40码 68兰特
PDF格式BibTeX公司 XML格式引用

关系规范。 (英语) Zbl 0791.68104号

Rauszer,Cecylia(编辑),逻辑和计算机科学中的代数方法。1991年9月15日至12月15日在波兰华沙举行的关于逻辑代数方法及其计算机科学应用的第三十八学期论文。华沙:波兰科学院数学研究所。巴纳赫美分。出版物。28, 167-190 (1993).
PDF格式BibTeX公司 XML格式引用

随机加权拉普拉斯图、Lovász最小有向图和寻找最小分隔符。 (英语) Zbl 0801.68125号

Ramachandran,Vijaya(编辑),《离散算法》。1993年1月25日至27日在美国德克萨斯州奥斯汀举行的第四届ACM-SIAM年度研讨会会议记录。宾夕法尼亚州费城:SIAM。31-40 (1993).
PDF格式BibTeX公司 XML格式引用

关于极大代数中的一个广义渐近性问题。 (英语) Zbl 0815.94030号

Balemi,Silvano(编辑)等人,《离散事件系统:建模和控制》。1992年8月26日至28日在捷克斯洛伐克布拉格举行的联合研讨会会议记录。巴塞尔:Birkhäuser。掠夺。系统。控制理论。13, 125-139 (1993).
PDF格式BibTeX公司 XML格式引用

超几何和模函数恒等式,经典常数和函数的新有理逼近和连续分式展开。 (英语) Zbl 0792.11020号

Knopp,Marvin(编辑)等人,向Emil Grosswald致敬:数论和相关分析。普罗维登斯,RI:美国数学学会。康斯坦普。数学。143, 117-162 (1993).
PDF格式BibTeX公司 XML格式引用

超身份。 (英语) Zbl 0853.08004号

Rosenberg,Ivo(编辑)等人,《代数与阶》。1991年7月29日至8月9日,加拿大蒙特利尔,《北约高级研究所和数学科学院学报》。多德雷赫特:Kluwer学术出版社。北约ASI系列。,序列号。C、 数学。物理学。科学。第389405-506页(1993年)。
PDF格式BibTeX公司 XML格式引用

偏代数——导论。 (英语) Zbl 0789.08003号

Rosenberg,Ivo(编辑)等人,《代数与阶》。1991年7月29日至8月9日,加拿大蒙特利尔,《北约高级研究所和数学科学院学报》。多德雷赫特:Kluwer学术出版社。北约ASI系列。,序列号。C、 数学。物理学。科学。389,1-70(1993)中描述。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行