埃尔菲莫夫,A.G。;Cheb-Terrab,E.S.公司。 复杂等离子体几何的Vlasov-Maxwell方程。 (英语) Zbl 0857.76099号 计算。物理学。公社。 77,第1-3号,357-373(1993).MSC公司:76X05型 35克35 60年第35季度 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Elfimov}和\textit{E.S.Cheb-Terrab},计算。物理学。Commun公司。77,编号1--3,357--373(1993;Zbl 0857.76099) 全文: 内政部
舍甫琴科,伊万·I。;安德烈·索科尔斯基。 利用计算机代数对哈密顿系统进行归一化的算法。 (英语) Zbl 0854.65060号 计算。物理学。公社。 77,第1-3、11-18号(1993年).MSC公司:65升05 68瓦30 65日元 37J99型 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Shevchenko}和\textit{A.G.Sokolsky},计算。物理学。Commun公司。77,第1-3、11-18号(1993年;Zbl 0854.65060) 全文: 内政部
爱荷华州Ioakimidis。;Anastaselou,E.G。 基于计算机的Gröbner基弹性问题方程组处理。 (英语) Zbl 0847.73075号 计算。方法应用。机械。工程师。 110,编号1-2,103-111(1993).MSC公司:74S30型 74B99型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.I.Ioakimidis}和\textit{E.G.Anastaselou},计算。方法应用。机械。工程110,编号1--2,103-111(1993;Zbl 0847.73075) 全文: 内政部
格兰特,I.P。;H.M.奎尼。 一类贝塞尔函数积分及其在粒子物理中的应用。 (英语) Zbl 0842.33002号 《物理学杂志》。A、 数学。消息。 26,第24号,7547-7562(1993). 审核人:A.K.Agarwal(格兰布林) MSC公司:33立方厘米 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{I.P.Grant}和\textit{H.M.Quiney},J.Phys。A、 数学。Gen.26,No.24,7547--7562(1993;Zbl 0842.33002) 全文: 内政部
默肯斯,A。;P.A.贝克。 具有测量误差的联立方程模型的识别:计算机评估。 (英语) Zbl 0827.62103号 内尔统计局。 47,第4期,233-244(1993).MSC公司:62第20页 62-04 65岁99岁 PDF格式BibTeX公司 XML格式引用 \textit{A.Merckens}和\textit{P.A.Bekker},Stat.Neerl。47,第4号,233--244(1993;Zbl 0827.62103) 全文: 内政部
杰里·基珀(Jerry B.Keiper)。 Mathematica中的区间算术。 (英语) Zbl 0829.65061号 间隔计算。 1993年,第3期,76-87(1993).MSC公司:65G30型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Keiper},间隔计算。1993年,第3号,76--87(1993;Zbl 0829.65061)
阿曼达·E·康奈尔。;罗伯特·M·科尔利斯(Robert M.Corless)。 Maple中的实验区间算法包。 (英语) Zbl 0829.65149号 间隔计算。 1993年,第2期,第120-134页(1993年).MSC公司:65日元 65G30型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Connell}和\textit{R.M.Corless},间隔计算。1993年,第2期,第120--134号(1993年;Zbl 0829.65149)
阿布拉莫夫,S.A。;Kvashenko,K.Yu。 参数相关多项式的最大公约数。 (英语。俄文原件) 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格式引用 \textit{S.A.Abramov}和\textit{K.Yu.Kvashenko},莫斯克。大学计算机。数学。赛博。1993年,第2、1号(1993;Zbl 0827.65054);由Vestn翻译。莫斯科。州立大学。XV 1993,第2期,65--71(1993)
大卫·格里斯;弗雷德·施耐德。 离散数学的一种逻辑方法。 (英语) Zbl 0861.03001号 计算机科学的文本和专著。纽约州纽约市:Springer-Verlag。xvi,497页(1993年)。 审核人:B.Thalheim(科特布斯) MSC公司:03-01 68-01 05-01 PDF格式BibTeX公司 XML格式引用 \textit{D.Gries}和\textit{F.B.Schneider},离散数学的逻辑方法。纽约州纽约市:Springer-Verlag(1993;Zbl 0861.03001)
雷内·莱利 计算作为逻辑。Transl.公司。约翰·普莱斯的《来自法国》。 (英语) Zbl 0823.03015号 普伦蒂斯·霍尔计算机科学国际系列。海梅尔·亨普斯特德:普伦蒂斯·霍尔。巴黎:Masson,xi,387 p.(1993)。MSC公司:03B70号 68号01 03-01 68-01 03B35型 68吨15 68N17号 03B40型 03B10号机组 05年3月 03C07号机组 第68季度第42季度 第68季度55 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Lalement},计算作为逻辑。Transl.公司。约翰·普莱斯的《来自法国》。赫梅尔·亨普斯特德:普伦蒂斯大厅;巴黎:马森(1993;Zbl 0823.03015)
S.V.苏尔日科。 关于算法代数研究的范畴方法。 (英语。俄文原件) Zbl 0824.08006号 赛博。系统。分析。 29,第2期,194-201(1993); 翻译自Kibern。修女。分析。1993年,第2期,50-62(1993)。 审核人:V.A.Artamonov(莫斯科) MSC公司:08A70号 08C05号机组 99年第68季度 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Surzhko},Cybern。系统。分析。29,No.2,1(1993;Zbl 0824.08006);翻译自Kibern。修女。分析。1993年,第2期,第50-62期(1993年) 全文: 内政部
卡尔·梅恩克 重写术语和类型的代数语义。 (英语) Zbl 1508.68168号 Rusinowitch,Michaël(编辑)等人,条件术语重写系统。第三届国际研讨会,CTRS-92,Pont-a-Mousson,法国,1992年7月8-10日。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。656,1-20(1993)中所述。MSC公司:第68季度第42季度 08A70号 第68季度55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{K.Meinke},莱克特。票据计算。科学。656,1--20(1993;Zbl 1508.68168) 全文: 内政部
约阿希姆·尼伦;安德烈亚斯·波德尔斯基 特征自动机和可识别的特征树集。 (英语) Zbl 1497.68146号 Gaudel,Marie-Claude(编辑)等人,TAPSOFT’93:软件开发的理论和实践。第四届CAAP/FASE国际联席会议,法国奥尔赛,1993年4月13日至17日。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。668, 356-375 (1993).MSC公司:68第05页 08A70号 68甲15 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}和\textit{A.Podelski},莱克特。票据计算。科学。668356-375(1993年;Zbl 1497.68146) 全文: 内政部
乌韦·赫尔姆克(编辑);莱因哈德·门尼肯(编辑) 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格式引用 \textit{U.Helmke}(编辑)和\textit{R.Mennicken}(编),MTNS 93,网络和系统数学理论。国际研讨会,德国雷根斯堡,1993年8月2-6日。全体演讲人、专题演讲人和迷你课程演讲人的摘要。雷根斯堡大学(1993年;Zbl 0817.68016)
新泽西州雷德金。 关于接触网故障的数学模型。 (英语。俄文原件) Zbl 0821.94038号 莫斯克。大学数学。牛。 48,第1期,40-45(1993); 由Vestn翻译。莫斯科。州立大学。I 1993,第1期,42-49(1993)。 审核人:V.V.Gorlov(明斯克) MSC公司:94C12号机组 68米15 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.P.Red'kin},莫斯克。大学数学。牛市。48,编号1,42-49(1993;Zbl 0821.94038);由Vestn翻译。莫斯科。州立大学。I 1993年,第1期,42-49(1993)
劳伦斯·肖瓦内克;怀特,J.T。 利用计算机代数系统求解初值问题的幂级数方法。 (英语) Zbl 0812.65062号 国际期刊计算。数学。 47,编号3-4,181-189(1993).MSC公司:65升05 68瓦30 34A34飞机 PDF格式BibTeX公司 XML格式引用 \textit{L.Schovanec}和\textit{J.T.White},国际计算机杂志。数学。47,No.3--4,181--189(1993;Zbl 0812.65062) 全文: 内政部
Jerzy W.Jaromczyk。;Ś威卡泰克,格热戈兹 偶泛函理论及其算法应用。 (英语) Zbl 1422.68118号 Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。700, 126-136 (1993).MSC公司:65年第68季度 05元50分 05C85号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Jaromczyk}和\textit{G.wicatek},莱克特。票据计算。科学。700、126--136(1993年;Zbl 1422.68118) 全文: 内政部
N·阿龙。;F.R.K.钟。;格雷厄姆·R·L·。 通过匹配在图上路由置换。 (英语) Zbl 1310.68155号 第25届ACM计算理论年会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-591-7)。583-591 (1993).MSC公司:68兰特 05立方厘米35 05元50分 05C70号 60克50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alon}等人,《第25届ACM计算理论研讨会论文集》,STOC'93。美国加利福尼亚州圣地亚哥,1993年5月16日至18日。纽约州纽约市:计算机协会(ACM)。583--591(1993;Zbl 1310.68155) 全文: 内政部
阿维·威格德森;大卫·扎克曼 超越特征值界限的扩展器,显式构造和应用。 (英语) Zbl 1310.68168号 第25届ACM计算理论年会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-591-7)。245-251 (1993).MSC公司:68兰特 05C25号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Wigderson}和\textit{D.Zuckerman},摘自:第25届ACM计算理论研讨会论文集,STOC'93。美国加利福尼亚州圣地亚哥,1993年5月16日至18日。纽约州纽约市:计算机协会(ACM)。245--251(1993;Zbl 1310.68168) 全文: 内政部
约翰·S·贝里。;爱德华·格雷厄姆;安东尼·沃特金斯(Antony J.P.Watkins)。 通过DERIVE学习数学。 (英语) Zbl 0835.26001号 Ellis Horwood数学系列及其应用。纽约州纽约市:Ellis Horwood。xi,371页(1993年)。 审核人:W.Koepf(柏林) MSC公司:26-01 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Berry}等人,通过DERIVE学习数学。纽约州纽约市:Ellis Horwood(1993;Zbl 0835.26001)
Galen H.Sasaki。 轮询轮询系统的输入缓冲区要求。 (英语) Zbl 0807.94025号 执行。评估。 第3期第18页,第237-261页(1993年).MSC公司:94立方厘米 90B15号机组 68平方米 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.H.Sasaki},执行评估。18,第3号,237--261(1993;Zbl 0807.94025) 全文: 内政部
J.H.达文波特。;西雷特,Y。;Tournier,E。 计算机代数。代数计算系统和算法。Transl.公司。来自法国的A.Davenport A.J.H.Davenport。第2版。 (英语) Zbl 0865.68064号 伦敦:学术出版社。xix,298 p.$45.00/hc(1993年)。 审核人:O.Ninnemann(柏林) MSC公司:68瓦30 68-01 2005年12月 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}等人,《计算机代数》。代数计算系统和算法。Transl.公司。来自法国的A.Davenport A.J.H.Davenport。第二版伦敦:学术出版社(1993;Zbl 0865.68064)
唐·K·温迪;布鲁斯·雅顿。 Borel-Cayley图的表示。 (英语) Zbl 0820.68091号 SIAM J.离散数学。 6,第4号,655-676(1993).MSC公司:68兰特 05C25号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{K.W.Tang}和\textit{B.W.Arden},SIAM J.离散数学。6,第4号,655--676(1993;Zbl 0820.68091) 全文: 内政部
A.F.施瓦兹。 超大规模集成电路芯片设计和专家系统手册。 (英语) Zbl 0820.68093号 伦敦:学术出版社,。viii,582页(1993年)。 审核人:A.A.Adéscéliţei(伊阿什) MSC公司:68卢比99 68层35 94立方厘米 68-00 68岁20岁 68立方英尺 68单位07 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Schwarz},VLSI芯片设计和专家系统手册。伦敦:学术出版社(1993;Zbl 0820.68093)
阿提拉·Csenki 有限半马尔可夫过程中具有有限时域的逗留时间。 (英语) Zbl 0925.60107号 申请。随机模型数据分析。 第9期,第3期,第251-265页(1993年).MSC公司:60 K15 60K20码 PDF格式BibTeX公司 XML格式引用 \textit{A.Csenki},应用。随机模型数据分析。9,第3号,251--265(1993;Zbl 0925.60107) 全文: 内政部
因德拉·阿迪奥诺·特詹德拉 计算机代数中数学数据类型和多态类型的规范。(计算机代数中的Spezifikation mathematischer Rechenstrukturen und Typenpolymorphismen) (德语) Zbl 0793.68086号 卡尔斯鲁厄:法克大学。f.Informatik,第190页(1993年)。MSC公司:68瓦30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Tjandra},《计算机代数中的Spezifikation mathematischer Rechenstrukturen und Typenpolymorphismen》。卡尔斯鲁厄:大学,假的。f.Informatik(1993;Zbl 0793.68086)
罗伯特·梅尔特。;塞尔吉·鲁迪亚努 布尔代数的Voronoi图。 (英语) Zbl 0799.06025号 螺柱Cercet。材料。 45,第5期,429-434(1993).MSC公司:99年6月 06E20型 06E30年 68平方英寸10 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Melter}和\textit{S.Rudeanu},双头螺栓。材料45,编号5,429--434(1993;Zbl 0799.06025)
阿杰·科恩(Arjeh M.Cohen)。(编辑) 工业中的计算机代数:实践中的问题解决。1991年在荷兰阿姆斯特丹举行的SCAFI工业计算机代数研讨会论文集。 (英语) Zbl 0833.68005号 奇切斯特:威利。ix,252页(1993年)。MSC公司:68-06 68瓦30 00B25型 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Cohen}(编辑),《工业中的计算机代数:实践中的问题解决》。1991年在荷兰阿姆斯特丹举行的SCAFI工业计算机代数研讨会论文集。奇切斯特:威利(1993;Zbl 0833.68005)
Dresig,H。;洛克豪森。 平面机构的平衡条件。(Ausgleichsbedingungen für ebene机械师。) (德语) Zbl 0818.70006号 Z.安圭。数学。机械。 73,第4-5号,T122-T124(1993). 审核人:E.Kreuzer(汉堡) MSC公司:70B15号机组 70E15型 70层20 PDF格式BibTeX公司 XML格式引用 \textit{H.Dresig}和\textit{L.Rockhausen},Z.Angew。数学。机械。73,编号4--5,T122--T124(1993;Zbl 0818.70006) 全文: 内政部
H·J·斯特特。 科学计算工具。 (英语) Zbl 0798.65095号 Z.安圭。数学。机械。 73,第12号,335-348(1993). 审核人:H.J.斯特特 MSC公司:65新元 65传真 68瓦30 2005年5月 68-02 65H10型 13页第10页 35J05型 35J25型 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Stetter},Z.Angew。数学。机械。73,编号12,335--348(1993;Zbl 0798.65095) 全文: 内政部
豪尔,G.A。;美国利奥波德·威尔德伯格。 一些矩阵类的非奇异性,以及离散集上Silverman对策的极小解。 (英语) Zbl 0799.90149号 数学。计算。建模 18,第12期,1-31页(1993年).MSC公司:91A46型 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Heuer}和\textit{U.Leopold-Wildburger},数学。计算。型号18,编号12,1--31(1993;Zbl 0799.90149) 全文: 内政部
钱振宇 具有子类型的高阶类型的代数语义。 (英语) Zbl 0790.68079号 学报信息。 30,第6号,569-607(1993).MSC公司:68问题65 60年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Qian},《学报》第30期,第6期,第569-607页(1993;Zbl 0790.68079) 全文: 内政部
布坎南,S.阿拉斯代尔;阿兰·德·彭宁顿 约束定义系统:一种基于计算机代数的解决几何约束问题的方法。 (英语) Zbl 0803.68142号 计算-辅助设计。 25,第12号,741-750(1993).MSC公司:68单位07 68瓦30 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Buchanan}和\textit{A.de Penningto},计算-辅助设计。25,第12号,741--750(1993;Zbl 0803.68142) 全文: 内政部
伊芙琳·孔特让 通过归约到(AC1)-统一来解决模分配性的(*)-问题。 (英语) Zbl 0803.68059号 J.塞姆。计算。 16,第5期,493-521(1993).MSC公司:第68季度第42季度 03B25号 68吨15 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{E.Contejean},J.Symb。计算。16,第5号,493--521(1993;Zbl 0803.68059) 全文: 内政部
费尔南多·阿尔瓦拉多。;Alex波琴;罗伯特·施赖伯 高度并行的稀疏三角形解。 (英语) 兹伯利0794.65019 George,Alan(编辑)等,图论和稀疏矩阵计算。美国明尼苏达州明尼阿波利斯市1991-92年国际数学协会“应用线性代数”项目的一个组成部分研讨会论文集。纽约:Springer-Verlag。IMA卷数学。申请。56, 141-157 (1993). 审核人:S.Zabek(卢布林) MSC公司:65平方英尺 65层50 2005年5月 68兰特 65层25 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Alvarado}等人,IMA卷数学。申请。56、141--157(1993年;Zbl 0794.65019)
阿格拉瓦尔,阿吉特;菲利普·克莱恩;拉维,R。 使用嵌套解剖减少填充:明显良好的消除顺序。 (英语) Zbl 0803.68082号 George,Alan(编辑)等,图论和稀疏矩阵计算。美国明尼苏达州明尼阿波利斯市1991-92年国际数学协会“应用线性代数”项目的一个组成部分研讨会论文集。纽约:Springer-Verlag。IMA卷数学。申请。56, 31-55 (1993).MSC公司:68兰特 05元50分 65年第68季度 65楼30 15A23型 PDF格式BibTeX公司 XML格式引用 \textit{A.Agrawal}等人,IMA卷数学。申请。56、31——55(1993年;Zbl 0803.68082)
Jean R.S.布莱尔。;巴里·佩顿 弦图和团树简介。 (英语) Zbl 0803.68081号 George,Alan(编辑)等,图论和稀疏矩阵计算。美国明尼苏达州明尼阿波利斯市1991-92年国际数学协会“应用线性代数”项目的一个组成部分研讨会论文集。纽约:Springer-Verlag。IMA卷数学。申请。56, 1-29 (1993).MSC公司:68兰特 05元50分 65层50 65年第68季度 15A23型 PDF格式BibTeX公司 XML格式引用 \textit{J.R.S.Blair}和\textit{B.Peyton},IMA卷数学。申请。56、1--29(1993年;Zbl 0803.68081)
伯克哈德·沃尔德 一元对函数理论。 (英语) Zbl 0799.04005号 Droste,Manfred(编辑)等人,《编程语言的语义和模型理论》。1991年6月23日至29日,在德国SchloßDägstuhl国际会议和计算机科学研究中心上发表的论文。伊弗登:戈登和布雷奇科学出版社。代数日志。申请。5, 287-304 (1993).MSC公司:03E20型 68甲15 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Wald},代数日志。申请。5、287--304(1993;Zbl 0799.04005)
沃尔夫冈·埃弗林 计算机管理。2.弗利格·贝拉尔布(völligüberarb)。澳大利亚。(重组。) (德语) Zbl 0812.68023号 瑞赫信息. 71. 曼海姆:BI-Wiss-版本。240 p.DM 38.00/sc(1993)。MSC公司:68-01 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{W.Everling},重组。2.弗利格·贝拉尔布(völligüberarb)。澳大利亚。曼海姆:BI-Wiss-版本。(1993年;Zbl 0812.68023)
A.穆西奥。 CONVODE:一个求解微分方程的REDUCE包。 (英语) Zbl 0798.65080号 J.计算。申请。数学。 48,编号1-2,157-165(1993). 审核人:M.Plum(克劳斯塔尔·泽勒菲尔德) MSC公司:65升05 68瓦30 34A34飞机 34-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Moussiaux},J.计算。申请。数学。48,编号1--2,157--165(1993;Zbl 0798.65080) 全文: 内政部
Tom H.Koornwinder。 关于Zeilberger算法及其(q)-模拟。 (英语) Zbl 0797.65011号 J.计算。申请。数学。 48,编号1-2,91-111(1993). 审核人:N.M.Temme(阿姆斯特丹) MSC公司:65D20个 65B10型 第33天第15天 33立方厘米 68瓦30 33C20美元 PDF格式BibTeX公司 XML格式引用 \textit{T.H.Koornwinder},J.计算。申请。数学。48,编号1--2,91-111(1993;Zbl 0797.65011) 全文: 内政部
斯特凡·阿恩伯格;布鲁诺·库塞尔;安德烈·普洛斯科洛夫斯基;西塞,德特勒夫 图约简的代数理论。 (英语) Zbl 0795.68156号 J.助理计算。机器。 40,第5期,1134-1164(1993).MSC公司:68兰特 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Arnborg}等人,J.计算机助理。机器。40,第5号,1134--1164(1993;Zbl 0795.68156) 全文: 内政部 链接
托马斯·威尔克 有限单词和无限单词正则语言的代数理论。 (英语) Zbl 0791.68116号 国际代数计算杂志。 第3期,第4期,第447-489页(1993年). 审核人:托马斯·威尔克 MSC公司:70年第68季度 65年第68季度 08A70号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{T.Wilke},《国际代数计算》。3,第4号,447--489(1993;Zbl 0791.68116) 全文: 内政部
马克·穆恩(Marc S.Moonen)。(编辑);格鲁布,Gene H。(编辑);巴特·穆尔(Bart L.R.de Moor)。(编辑) 用于大规模和实时应用的线性代数。1992年8月3日至14日,比利时鲁汶,《北约高级研究所学报》。 (英语) Zbl 0810.00029号 北约ASI系列。E系列应用科学. 232. 多德雷赫特:Kluwer学术出版社。xi,435页(1993年)。MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Moonen}(ed.)等人,大规模实时应用的线性代数。1992年8月3日至14日,比利时鲁汶,《北约高级研究所学报》。多德雷赫特:Kluwer学术出版社(1993;Zbl 0810.00029)
H·J·斯特特。 计算机代数系统中的验证。 (英语) Zbl 0802.68070号 Albrecht,R.(编辑)等人,《验证数值:理论和应用》。在乌尔里希·库利什60岁生日之际献给他。维也纳:施普林格出版社。计算。补充9247-263(1993)。MSC公司:68瓦30 2005年12月 65H10型 65岁99岁 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Stetter},计算。补遗9247--263(1993;Zbl 0802.68070)
罗卡,兹苏珊娜 Cayley图上的单向细胞自动机。 (英语) Zbl 0794.68106号 埃西克,佐尔坦(编辑),《计算理论基础》。第九届国际会议,1993年8月23日至27日,匈牙利塞格德FCT’93。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。710, 406-417 (1993).MSC公司:65年第68季度 68兰特 05C25号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Róka},莱克特。票据计算。科学。710406-417(1993年;Zbl 0794.68106)
弗兰茨·罗彻 计算机科学家的数值数学。2.,unveränd。澳大利亚。(Numerische Mathematik für Informatiker) (德语) 兹比尔0803.65001 斯普林格·勒布赫。Mathematik für信息员。柏林:斯普林格-弗拉格。ix,401页(1993年)。 审核人:M.Fritsche(耶拿) MSC公司:65-01 00A06号 65Dxx日 65传真 65H10型 65D18天 65T50型 PDF格式BibTeX公司 XML格式引用 \textit{F.Locher},数字数学信息员。2.,unveränd。澳大利亚。柏林:Springer-Verlag(1993;Zbl 0803.65001) 全文: 内政部
普鲁索塔曼,S。(编辑);艾米·兹瓦里科(编辑) 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格式引用 \textit{S.Purushothaman}(编辑)和\textit{A.Zwarico}(主编),NAPAW 92。《第一届北美过程代数会议录》,研讨会,美国纽约州石溪,1992年8月28日。伦敦:Springer-Verlag(与英国计算机学会合作)(1993;Zbl 0826.68006)
布巴内斯瓦尔米什拉 算法代数。 (英语) Zbl 0804.13009号 计算机科学的文本和专著。柏林:Springer-Verlag。xii,416页DM 70.00;546.00欧元;sFr 70.00/hc(1993年)。 审核人:M.F.罗伊(雷恩) MSC公司:第13页 13-01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{B.Mishra},算法代数。柏林:施普林格(1993;Zbl 0804.13009)
格哈德·温施;赫尔穆特·施赖伯 数字系统。4.辅助。 (德语) Zbl 0820.68004号 柏林:Springer-Verlag。iv,237 p.德国马克48.00;öS 374.40;sFr 48.00/sc(1993年)。MSC公司:68-01 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Wunsch}和\textit{H.Schreiber},数字系统。4.辅助。柏林:施普林格(1993;Zbl 0820.68004)
约翰·哈里森;Laurent Théry 关于现实的推理: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格式引用 \textit{J.Harrison}和\textit{L.Théry},Lect。票据计算。科学。698、351--353(1993;Zbl 0793.68084)
卡波西尼,P。 Maple用于多体系统建模和仿真。 (英语) Zbl 0791.70001号 Lee,Thomas(编辑),Maple V的数学计算:思想和应用。1993年6月28日至30日,美国安娜堡密歇根大学枫叶夏季研讨会论文集。马萨诸塞州波士顿:Birkhäuser。109-117 (1993).MSC公司:70-08 70-04 70E15型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Capolsini},in:用Maple V进行数学计算:思想和应用。1993年6月28日至30日,美国安娜堡密歇根大学枫叶夏季研讨会论文集。马萨诸塞州波士顿:Birkhäuser。109-117(1993;Zbl 0791.70001)
费伦茨·盖塞格;巴拉兹·伊姆雷 关于树自动机的有限同构完备系统。 (英语) 兹伯利0795.68140 科学学报。数学。 57,编号1-4,497-502(1993). 审核人:M.Steinby(图尔库) MSC公司:70年第68季度 08A70号 08A62号 PDF格式BibTeX公司 XML格式引用 \textit{F.Gécseg}和\textit{B.Imreh},科学学报。数学。57,编号1--4,497--502(1993;Zbl 0795.68140)
吉姆·戴维斯 实时CSP中的规范和证明。 (英语) Zbl 0820.68075号 计算机科学杰出论文6。剑桥:大学出版社(ISBN 0-521-45055-1)。十七、180页(1993年)。 审核人:J.Desel(柏林) MSC公司:60年第68季度 68-02 01A75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Davies},实时CSP中的规范和证明。剑桥:大学出版社(1993;Zbl 0820.68075) 全文: 内政部
罗兰·贝克豪斯(Roland C.Backhouse)。;范·加斯特伦(A.J.M.van Gasteren)。 计算路径算法。 (英语) 兹伯利0791.68128 Bird,Richard S.(编辑)等人,《程序构造的数学》。第二届国际会议,英国牛津,1992年6月29日至7月3日。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。669, 32-44 (1993).MSC公司:68兰特 05C85号 68宽10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.C.Backhouse}和\textit{A.J.M.van Gasteren},莱克特。票据计算。科学。669,32-44(1993;Zbl 0791.68128)
约旦格尔戈夫;克里斯托夫·梅内尔 根据决策图分析和操作布尔函数。 (英语) 兹比尔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格式引用 \textit{J.Gergov}和\textit{C.Meinel},莱克特。票据计算。科学。657310--320(1993;Zbl 0789.68108)
尤拉杰Hromkovič 并行网络的拓扑结构和计算复杂性。 (英语) 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格式引用 \textit{J.Hromkovič},莱克特。票据计算。科学。657,70--77(1993;Zbl 0789.68064)
约旦格尔戈夫;克里斯托夫·梅内尔 带分支程序的可行布尔操作和概率可行布尔操作的前沿。(扩展摘要)。 (英语) 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格式引用 \textit{J.Gergov}和\textit{C.Meinel},莱克特。票据计算。科学。665576-585(1993年;兹bl 0798.68078)
达纳·施洛米克 多项式向量场理论的代数和几何方面。 (英语) Zbl 0790.34031号 Schlomiuk,Dana(编辑),向量场的分岔和周期轨道。1992年7月13日至24日,加拿大蒙特利尔,《北约高级研究所和数学研究所学报》。多德雷赫特:Kluwer学术出版社。北约ASI系列。,序列号。C、 数学。物理学。科学。408, 429-467 (1993). 审核人:K.H.Kim(蒙哥马利) MSC公司:34二氧化碳 34A05型 34A25型 34-02 37J35型 37K10型 PDF格式BibTeX公司 XML格式引用 \textit{D.Schlomiuk},北约ASI Ser。,序列号。C、 数学。物理学。科学。408429-467(1993年;Zbl 0790.34031)
罗兰·施特克 计算机代数系统在几何中的应用示例。(Beispile zur Anwendung eines几何计算机代数系统) (德语) Zbl 0795.68108号 元素。数学。 第4107-116号第48页(1993年). 审核人:M.van Kreveld(乌得勒支) MSC公司:68瓦30 51N20号 PDF格式BibTeX公司 XML格式引用 \textit{R.Stärk},元素。数学。48,第3号,107--116(1993;Zbl 0795.68108) 全文: 欧洲DML
亚当·奥布图 结构代数。二: Martin-Löf型理论和构造演算的代数方法。 (英语) Zbl 0803.03045号 数学。结构。计算。科学。 3,第1号,63-92(1993).MSC公司:03G25号 35楼03号 08A55号 第68季度55 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Obtułowicz},数学。结构。计算。科学。3,编号1,63-92(1993;Zbl 0803.03045) 全文: 内政部
布鲁姆,S.L。;埃西克,Z。 正则集的等式公理。 (英语) 兹伯利0796.68153 数学。结构。计算。科学。 3,第1期,第1-24页(1993年). 审核人:S.Bloom(霍博肯) MSC公司:70年第68季度 05年3月 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.ésik},数学。结构。计算。科学。3,第1号,1--24(1993;Zbl 0796.68153) 全文: 内政部
安东·斯特凡努斯·克鲁塞纳 实时过程代数片段的模型和公理。 (英语) Zbl 0799.68007号 埃因霍温:TU,x,216 p.(1993)。 审核人:B.Wojdyło(托伦) MSC公司:68-02 2005年第68季度 2010年第68季度 第68季度55 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Klusener},实时进程代数片段的模型和公理。埃因霍温:TU(1993;Zbl 0799.68007)
约翰内斯·格拉布迈尔;罗伯特·维斯鲍尔 有限秩代数中的计算。 (英语) Zbl 0812.16001号 Fischer,Klaus G.(编辑)等,计算代数。1993年5月20日至23日在美国弗吉尼亚州费尔法克斯乔治·梅森大学举行的中大西洋代数会议论文。纽约州纽约市:Dekker。莱克特。Notes纯应用。数学。151, 131-165 (1993). 审核人:Y.Kuo(诺克斯维尔) MSC公司:2016年05月 17-08 PDF格式BibTeX公司 XML格式引用 \textit{J.Grabmeier}和\textit{R.Wisbauer},莱克特。Notes纯应用。数学。151、131--165(1993;Zbl 0812.16001)
哈默,罗尔夫;霍克斯,马提亚斯;乌尔里奇·库利什;迪特马尔·拉特斯 用于验证计算的数值工具箱。第一卷:基本数值问题。理论、算法和Pascal-XSC程序。 (英语) Zbl 0796.65001号 计算数学中的Springer级数. 21. 柏林:斯普林格-弗拉格。xv,337页(1993年)。 审核人:H.Fischer(慕尼黑) MSC公司:65-01 65G30型 65千5 65D25个 65H10型 65平方英尺 65年20月 68瓦30 15-04 90-04 12-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Hammer}等人,用于验证计算的数字工具箱。第一卷:基本数值问题。理论、算法和Pascal-XSC程序。柏林:Springer-Verlag(1993;Zbl 0796.65001)
格伦·奥尔顿;劳埃德·佩帕德;斯塔福德塔瓦雷斯 基于缩减半径算法的快速流水线模乘器设计。 (英语) Zbl 0782.68040号 J.密码学 第6期,第4期,183-208(1993).MSC公司:68第25页 94A60型 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Orton}等人,J.Cryptology 6,No.4,183--208(1993;Zbl 0782.68040) 全文: 内政部
彼得·安东尼乌斯·克里斯蒂安·弗库伦 集成信息系统设计:一种基于面向对象概念和Petri网的方法。 (英语) 兹比尔0826.68040 埃因霍温:理工大学。x、 第180页(1993年)。 审核人:G.Bauer(哥里茨) MSC公司:68第20页 68问题85 68-02 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.A.C.Verkoulen},《集成信息系统设计:基于面向对象概念和Petri网的方法》。埃因霍温:理工大学(1993;Zbl 0826.68040)
刘文泰;陈素兴;拉尔夫·卡文 用于实时生成力矩的位序列VLSI架构。 (英语) Zbl 0800.94282号 IEEE传输。系统。人类网络。 23,编号2539-546(1993).MSC公司:94立方厘米 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}等人,IEEE Trans。系统。人类网络。23,第2号,539--546(1993;Zbl 0800.94282) 全文: 内政部
格德·鲍曼 理论物理中的数学。选定的示例。使用磁盘。(Mathematica in der Theoretischen Physik.Ausgewählte Beispiele.Mit Diskette) (德语) Zbl 0787.65089号 柏林:Springer-Verlag。x、 240页(1993年)。 审核人:M.Plum(克劳斯塔尔·泽勒菲尔德) MSC公司:65Z05个 68瓦30 65年xx月 65-02年 65磅 68N20型 76米25 33-04 70-08 7.8亿 2008年8月 83-08 35-XX年 28安培80 PDF格式BibTeX公司 XML格式引用 \textit{G.Baumann},《理论物理学中的数学》。Ausgewählte Beispiele公司。Mit软盘。柏林:Springer-Verlag(1993;Zbl 0787.65089)
沃尔夫拉姆·科普夫;阿迪·本·伊斯雷尔;鲍勃·吉尔伯特 Mathematik mit DERIVE公司。Mit 80 Abb.公司。,扎尔。DERIVE中的UE bungsaufgaben und Mustersitzungen sowie einer Einführung。 (德语) Zbl 0794.26003号 Vieweg计算机代数。布伦瑞克:维埃格。xiv,394 S.(1993年)。 审核人:E.Kreyszig(渥太华) MSC公司:26-01 26-04 65-01 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Koepf}等人,Mathematik mit DERIVE。Mit 80 Abb.公司。,扎尔。DERIVE中的UE bungsaufgaben und Mustersitzungen sowie einer Einführung。布伦瑞克:Vieweg(1993;Zbl 0794.26003)
霍尔格·谢尔沃特 从二面体群获得的高度展开图。 (英语) 兹比尔0787.05050 乔尔·弗里德曼(编辑),《展开图》。DIMACS膨胀图研讨会论文集,1992年5月11日至14日,美国新泽西州普林斯顿大学。普罗维登斯,RI:美国数学学会。DIMACS系列。谨慎。数学。西奥。计算。科学。10, 117-123 (1993). 审核人:U.Baumann(德累斯顿) MSC公司:05C25号 05元50分 20立方厘米99 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.Schellwat},in:展开图形。1992年5月11日至14日,美国新泽西州普林斯顿大学,DIMACS膨胀图研讨会论文集。普罗维登斯,RI:美国数学学会。117-123(1993年;Zbl 0787.05050)
约翰·拉弗蒂;丹尼尔·罗克摩尔 某些Cayley图族谱的数值研究。 (英语) Zbl 0793.05070号 乔尔·弗里德曼(编辑),《展开图》。DIMACS膨胀图研讨会论文集,1992年5月11日至14日,美国新泽西州普林斯顿大学。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。10, 63-73 (1993). 审核人:G.Steidl(达姆施塔特) MSC公司:05C25号 20立方厘米 68兰特 20年2月25日 2006年第20天 20立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Lafferty}和\textit{D.Rockmore},DIMACS,Ser。离散数学。西奥。计算。科学。10、63——73(1993;Zbl 0793.05070)
纳比尔卡哈尔 关于正则图的第二特征值和线性展开。 (英语) Zbl 0792.05079号 乔尔·弗里德曼(编辑),《展开图》。DIMACS膨胀图研讨会论文集,1992年5月11日至14日,美国新泽西州普林斯顿大学。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。第10卷,第49-62页(1993年)。 审核人:A.托尔加舍夫(贝尔格莱德) MSC公司:05立方厘米35 68兰特 05元50分 PDF格式BibTeX公司 XML格式引用 \textit{N.Kahale},DIMACS,序列号。离散数学。西奥。计算。科学。10、49——62(1993;Zbl 0792.05079)
Leonard H.Soicher。 GRAPE:使用图形和组进行计算的系统。 (英语) 兹比尔08303.05071 Finkelstein,Larry(编辑)等人,《群与计算》。1991年10月7日至10日,美国新泽西州新不伦瑞克罗格斯大学DIMACS研讨会论文。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。11, 287-291 (1993). 审核人:A.博尼索利(波坦萨) MSC公司:05C85号 05C25号 20B40码 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.H.Soicher},DIMACS,序列号。离散数学。西奥。计算。科学。11、287--291(1993;Zbl 0833.05071)
鲁道夫·伯格哈默;冈瑟·施密特 关系规范。 (英语) Zbl 0791.68104号 Rauszer,Cecylia(编辑),逻辑和计算机科学中的代数方法。1991年9月15日至12月15日在波兰华沙举行的关于逻辑代数方法及其计算机科学应用的第三十八学期论文。华沙:波兰科学院数学研究所。巴纳赫美分。出版物。28, 167-190 (1993). 审核人:R.Berghammer(基尔) MSC公司:60年第68季度 03G15年 68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{G.Schmidt},巴纳赫中心。出版物。28167--190(1993年;Zbl 0791.68104)
朱伊夫科维奇,托米斯拉夫·P。 图的特征多项式的求值。 (英语) Zbl 0789.05067号 数学。计算。建模 17,第11号,145-149(1993). 审核人:P.Jaillet(奥斯汀) MSC公司:05元50分 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.P.ivković},数学。计算。建模17,编号11,145-149(1993;Zbl 0789.05067) 全文: 内政部
安德鲁斯,大卫·F·。;詹姆斯·斯塔福德。 渐近展开的符号计算工具。 (英语) Zbl 0782.62021号 J.R.Stat.Soc.,塞尔维亚。B类 55,编号3,613-627(1993).MSC公司:62E20型 65C99个 PDF格式BibTeX公司 XML格式引用 \textit{D.F.Andrews}和\textit{J.E.Stafford},J.R.Stat.Soc.,Ser。B 55,编号3,613--627(1993;Zbl 0782.62021)
多纳泰利,S。 叠加随机自动机:一类具有并行解和分布式状态空间的随机Petri网。 (英语) Zbl 0795.68141号 执行。评估。 18,第1期,21-36(1993). 审核人:拉卡托斯(布达佩斯) MSC公司:65年第68季度 68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{S.Donatelli},执行评估。18,No.1,21--36(1993;Zbl 0795.68141) 全文: 内政部
加布里埃尔·马龙吉;索罗·图利帕尼 具有子形式关系的项代数的不可判定片段。 (英语) Zbl 0788.03011号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 19,第3-4号,第371-382页(1993年).MSC公司:03B25号 08A70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{G.Marongiu}和\textit{S.Tulipani},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.19,No.3--4,371--382(1993;Zbl 0788.03011)
马克·莱文;乔治·洛伊祖 一个完全精确的空扩展嵌套关系代数。 (英语) Zbl 0785.68024号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 19,编号3-4,303-342(1993).MSC公司:第68页,共15页 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Levene}和\textit{G.Loizou},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.19,No.3--4,303--342(1993;Zbl 0785.68024)
科莱特·库拉德。;约翰·格雷科(John G.Del Greco)。;唐纳德·瓦格纳。 揭示矩阵中的广义网络结构。 (英语) Zbl 0784.05044号 离散应用程序。数学。 46,编号3191-220(1993). 审核人:马忠凡(北京) MSC公司:05元50分 05B35号 05C85号 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.R.Coullard}等人,《离散应用》。数学。46,第3号,191--220(1993;Zbl 0784.05044) 全文: 内政部
马内斯,E.G。 阿达斯和if-then-else方程理论。 (英语) 兹比尔0795.08006 代数大学。 30,第3期,373-394(1993). 审核人:B.Möller(奥格斯堡) MSC公司:08A70号 第68季度55 68号01 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Manes},代数大学。30,第3号,373--394(1993;Zbl 0795.08006) 全文: 内政部
瑟伦·克里斯滕森;汉斯·休特尔 无限状态流程的可决定性问题——一项调查。 (英语) Zbl 0783.68042号 牛市。EATCS公司 51, 156-166 (1993).MSC公司:2010年第68季度 68-02 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.Christensen}和\textit{H.Hüttel},公牛。EATCS 51、156--166(1993;Zbl 0783.68042)
Jerry M.钦。 在信息系统中应用计算机代数。 (英语) Zbl 0783.90038号 国际期刊信息管理。科学。 4,第1期,11-21(1993).MSC公司:90B22型 68层35 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Chin},国际期刊信息管理。科学。4,编号1,11-21(1993年;Zbl 0783.90038)
约瑟夫·切里扬 随机加权拉普拉斯图、Lovász最小有向图和寻找最小分隔符。 (英语) Zbl 0801.68125号 Ramachandran,Vijaya(编辑),《离散算法》。1993年1月25日至27日在美国德克萨斯州奥斯汀举行的第四届ACM-SIAM年度研讨会会议记录。宾夕法尼亚州费城:SIAM。31-40 (1993).MSC公司:68兰特 05C20号 05元50分 60D05型 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Cheriyan},in:离散算法。1993年1月25日至27日在美国德克萨斯州奥斯汀举行的第四届ACM-SIAM年度研讨会会议记录。宾夕法尼亚州费城:SIAM。31-40(1993年;兹bl 0801.68125)
J.G.布雷克。;Resing,J.A.C。 关于极大代数中的一个广义渐近性问题。 (英语) Zbl 0815.94030号 Balemi,Silvano(编辑)等人,《离散事件系统:建模和控制》。1992年8月26日至28日在捷克斯洛伐克布拉格举行的联合研讨会会议记录。巴塞尔:Birkhäuser。掠夺。系统。控制理论。13, 125-139 (1993).MSC公司:94C15号机组 90C27型 90立方厘米 68瓦30 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Braker}和\textit{J.A.C.Resing},in:离散事件系统:建模和控制。1992年8月26日至28日在捷克斯洛伐克布拉格举行的联合研讨会会议记录。巴塞尔:Birkhäuser。125-139(1993;Zbl 0815.94030)
丘德诺夫斯基。;楚德诺夫斯基。 超几何和模函数恒等式,经典常数和函数的新有理逼近和连续分式展开。 (英语) Zbl 0792.11020号 Knopp,Marvin(编辑)等人,向Emil Grosswald致敬:数论和相关分析。普罗维登斯,RI:美国数学学会。康斯坦普。数学。143, 117-162 (1993). 审核人:J.Wolfart(法兰克福/缅因州) MSC公司:11J70型 11楼 33C20美元 14H52型 33C75号 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Chudnovsky}和\textit{G.V.Chundnovsky},康特姆。数学。143117--162(1993;Zbl 0792.11020)
迪特马尔·施韦格特 超身份。 (英语) Zbl 0853.08004号 Rosenberg,Ivo(编辑)等人,《代数与阶》。1991年7月29日至8月9日,加拿大蒙特利尔,《北约高级研究所和数学科学院学报》。多德雷赫特:Kluwer学术出版社。北约ASI系列。,序列号。C、 数学。物理学。科学。第389405-506页(1993年)。MSC公司:08B05号 08A40号 08B20号 05年3月 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Schweigert},北约ASI Ser。,序列号。C、 数学。物理学。科学。389405--506(1993年;Zbl 0853.08004)
彼得·伯迈斯特 偏代数——导论。 (英语) Zbl 0789.08003号 Rosenberg,Ivo(编辑)等人,《代数与阶》。1991年7月29日至8月9日,加拿大蒙特利尔,《北约高级研究所和数学科学院学报》。多德雷赫特:Kluwer学术出版社。北约ASI系列。,序列号。C、 数学。物理学。科学。389,1-70(1993)中描述。MSC公司:08A55号 68问题65 08A70号 08-01 PDF格式BibTeX公司 XML格式引用 \textit{P.Burmeister},北约ASI Ser。,序列号。C、 数学。物理学。科学。389,1--70(1993;Zbl 0789.08003)
伯纳德·科尔曼 介绍线性代数及其应用。在David R.Hill的协助下。第5版。 (英语) Zbl 0788.15001号 纽约:麦克米伦出版公司。xx,619页(1993年)。 审核人:A.L.Andrew(邦多拉) MSC公司:15-01 15-04 65传真 PDF格式BibTeX公司 XML格式引用 \textit{B.Kolman},介绍线性代数及其应用。在David R.Hill的协助下。5.ed.纽约:麦克米伦出版公司(1993;Zbl 0788.15001)
Benno Fuchssteiner公司;瓦尔德马尔·维温卡;克劳斯·哥特希尔;安德烈亚斯·坎佩尔;奥利弗·克鲁格;卡斯滕·莫里斯;霍尔格·诺恩多夫;古德伦·奥维尔;托尔斯滕·舒尔茨 MuPAD。多处理代数数据工具。辅导的。Benutzerhandbuch公司。MuPAD 1.1版。 (德语) Zbl 0837.68048号 巴塞尔:Birkhäuser Verlag。十一、 414页(1993年)。 MSC公司:68瓦30 68-00 PDF格式BibTeX公司 XML格式引用 \textit{B.Fuchssteiner}等人,MuPAD。多处理代数数据工具。辅导的。Benutzerhandbuch公司。MuPAD 1.1版。巴塞尔:Birkhäuser Verlag(1993;Zbl 0837.68048)
格鲁布,吉恩;詹姆斯·奥尔特加。 科学计算。并行计算简介。 (英语) Zbl 0790.65001号 伦敦:学术出版社。十、 第442页(1993年)。 审核人:H.Melenk(柏林) MSC公司:65-01 65Dxx日 65传真 65磅 65华夏 2005年5月 65D18天 65日元10 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.Golub}和\textit{J.M.Ortega},科学计算。并行计算简介。伦敦:学术出版社(1993;Zbl 0790.65001)
见鬼,安德烈 枫树简介。 (英语) Zbl 0779.65001号 纽约:Springer-Verlag。xiii,497页(1993年)。 审核人:T.C.Mohan(马德拉斯) MSC公司:65-01 68-01 68瓦30 65Dxx日 65磅 68甲15 65B10型 65传真 65D18天 PDF格式BibTeX公司 XML格式引用 \textit{A.Heck},枫树简介。纽约:Springer-Verlag(1993;Zbl 0779.65001)
伯恩哈德·莫勒 指向指针代数。 (英语) Zbl 0780.68090号 科学。计算。程序。 21,第1号,57-90(1993). 审核人:伯恩哈德·莫勒 MSC公司:60年第68季度 68号01 08A02号 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller},科学。计算。程序。21,第1号,57--90(1993;Zbl 0780.68090) 全文: 内政部
汉斯·迪布基尔;奥斯汀梅尔顿 比较Hagino的分类编程语言和类型lambda-calculi。 (英语) 兹比尔0787.68014 西奥。计算。科学。 111,编号1-2,145-189(1993).MSC公司:68甲15 03B40型 第68季度55 08A70号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{H.Dybkjr}和\textit{A.Melton},Theor。计算。科学。111,编号1--2,145-189(1993;Zbl 0787.68014) 全文: 内政部
阿巴斯·埃达拉特;迈克尔·B·史密斯。 I-categories作为求解领域方程的框架。 (英语) Zbl 0790.18003号 西奥。计算。科学。 115,第1期,77-106(1993). 审核人:M.Eytan(斯特拉斯堡) MSC公司:18B35型 99年6月 08A70号 06B35号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Edalat}和\textit{M.B.Smyth},Theor。计算。科学。115,第1号,77--106(1993;Zbl 0790.18003) 全文: 内政部
格热戈兹·贾泽姆布斯基 部分代数中的程序。 (英语) Zbl 0784.08005号 西奥。计算。科学。 115,第1期,131-149(1993). 审核人:G.贾泽姆布斯基 MSC公司:08A55号 60年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{G.Jarzembski},Theor。计算。科学。115,编号1,131--149(1993;Zbl 0784.08005) 全文: 内政部
休伯特·科蒙 某些商项代数的完备公理化。 (英语) Zbl 0810.03026号 西奥。计算。科学。 118,第2期,167-191(1993).MSC公司:05年3月 03B25号 08A70号 03C10号机组 08C10号 PDF格式BibTeX公司 XML格式引用 \文本{H.Comon},Theor。计算。科学。118,编号2167-191(1993年;兹bl 0810.03026) 全文: 内政部
卡罗琳·塔尔科特 绑定结构理论和重写应用。 (英语) Zbl 0783.68089号 西奥。计算。科学。 112,第1期,99-143(1993).MSC公司:99年第68季度 08A70号 68瓦30 68第05页 PDF格式BibTeX公司 XML格式引用 \文本{C.Talcott},Theor。计算。科学。112,编号1,99--143(1993;Zbl 0783.68089) 全文: 内政部
查尔斯·德洛姆;斯瓦托普鲁克·波尔贾克 最大割近似的组合性质和复杂性。 (英语) Zbl 0780.05040号 Eur.J.库姆。 14,第4期,313-333(1993). 审核人:B.Mohar(卢布尔雅那) MSC公司:05元50分 68兰特 90C27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Delorme}和\textit{S.Poljak},Eur.J.Comb。14,第4号,313--333(1993;Zbl 0780.05040) 全文: 内政部