米歇尔·埃利亚;莱昂纳·曼努埃尔 关于\(mathrm{GF}(2^m)\)的快速并行乘法器的固有空间复杂性。 (英语) 兹比尔1391.94911 IEEE传输。计算。 51,第3期,346-351(2002).MSC公司:94立方厘米 6504年 2007年7月68日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Elia}和\textit{M.Leone},IEEE Trans。计算。51,第3号,346--351(2002;Zbl 1391.94911) 全文: 内政部
威利·盖塞尔曼;纽伦·穆勒·奎德;雷纳·斯坦万特 评论:“有限域元素({mathrm{GF}(2^m)})的一种新表示,产生了小复杂度的算术电路”。 (英语) Zbl 1392.68044号 IEEE传输。计算。 51,第12期,1460-1461(2002).MSC公司:2007年7月68日 6504年 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{W.Geiselmann}等人,IEEE Trans。计算。51,第12号,1460--1461(2002;Zbl 1392.68044) 全文: 内政部
Toshinori Munakata;苏德什纳州辛哈;同上,William L。 混沌计算:用混沌元素实现基本逻辑门。 (英语) Zbl 1368.68030号 IEEE传输。电路系统。,一、 芬丹。理论应用。 第49号,第11期,1629-1633页(2002年).MSC公司:2007年7月68日 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Munakata}等人,IEEE Trans。电路系统。,一、 芬丹。理论应用。49,第11号,1629--1633(2002;Zbl 1368.68030) 全文: 内政部
J.V.塔克。;朱克,J.I。 抽象可计算性和代数规范。 (英语) Zbl 1365.68333号 ACM事务处理。计算。日志。 3,第2期,279-333(2002年).MSC公司:68问题65 03D75号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},ACM Trans。计算。日志。3,第2号,279--333(2002;Zbl 1365.68333) 全文: 内政部
张兴兰;曲万岭;韩绍荣 计算具有小配价的循环图。 (英语) Zbl 1263.05046号 高级数学。,北京 31,第2期,169-177(2002).MSC公司:05C30号 05C25号 68M10个 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhang}等人,高级数学。,北京31,No.2,169--177(2002;Zbl 1263.05046)
约翰·G·斯特尔。 有序代数的框架。 (英语) Zbl 1275.08002号 Kirchner,Hélène(编辑)等人,《代数方法论和软件技术》。第九届国际会议,2002年AMAST,2002年9月9日至13日,法国留尼汪岛圣吉尔-莱斯-巴恩斯。生产。柏林:施普林格出版社(ISBN 3-540-44144-1/pbk)。计算机科学课堂讲稿2422396-410(2002)。MSC公司:08A70号 08A55号 18立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Stell},莱克特。注释计算。科学。2422396--410(2002年;Zbl 1275.08002) 全文: 内政部
克里斯托夫·洛尔;Jean-Pierre科蒂亚特 从时间相关系统的规范到调度。 (英语) Zbl 1278.68182号 Damm,Werner(编辑)等人,《实时和容错系统中的形式化技术》。2002年9月9日至12日,第七届国际研讨会,FTRTFT 2002,由IFIP WG 2.2联合主办,德国奥尔登堡。诉讼程序。柏林:施普林格出版社(ISBN 3-540-44165-4/pbk)。计算机科学课堂讲稿2469129-145(2002)。MSC公司:60年第68季度 68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Lohr}和\textit{J.-P.Courtiat},Lect。注释计算。科学。2469129--145(2002年;Zbl 1278.68182) 全文: 内政部
松树。 弱自同构和可计算势标度点的胖性。 (俄语) Zbl 1277.08002号 材料供应商。基伯恩。 11, 15-26 (2002).MSC公司:08A40号 08A30型 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.G.松树},Mat.Vopr。基伯恩。11、15--26(2002年;Zbl 1277.08002)
丹·诺杰;梅达托多 BL RGB模型的代数结构。 (英语) Zbl 1118.03309号 Babeș-Bolyai大学学生,Inform。 47,第1期,37-44(2002).MSC公司:03B50号 03G10年 08A70号 08A72号 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{D.Noje}和\textit{M.Todor},Stud.大学Babeș-Bolyai,Inform。47,编号1,37-44(2002;Zbl 1118.03309)
马卡洛夫,V.L。;拉祖恰克,I.I。 常微分方程组的函数离散解法。 (俄语) Zbl 1097.65536号 Lukovskij,I.A.(编辑),Voprosy mekhaniki I ee prilozhenij。基辅:Instytut Matematyky NAN Ukraíny(ISBN 966-02-2751-5)。Pratsi Instytutu Matematyky Natsional’noí阿卡德米伊恶心乌克兰。马特马蒂卡·塔伊伊Zastosuvannya 44,184-199(2002)。MSC公司:65升10 34个B05 65L20英寸 34B27型 65升70 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Makarov}和\textit{I.Lazurchak},in:力学问题及其应用。基辅:Instytut Matematyky NAN Ukraíny。184-199(2002年;Zbl 1097.65536)
列万多夫斯基,V.L。 Gröbner基在非交换多项式代数中的理论和应用。 (乌克兰语。英文摘要) Zbl 1099.16522号 2001年乌克兰数学大会。代数结构及其应用。2001年7月2日至8日在乌克兰基辅举行的乌克兰数学大会框架内举行的第三届国际代数会议记录。基辅:Instytut Matematyky NAN Ukraíny(ISBN 966-02-2777-9)。25-42 (2002).MSC公司:2016年05月 13页第10页 16立方厘米 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Levandovsky},收录于:Ukraïns'kyj matematychnyj kongres--2001。普拉奇。代数伊奇尼struktury tai kh zastosuvannya。基辅:Instytut Matematyky NAN Ukraíny。25-42(2002年;Zbl 1099.16522)
Manssur,L.R.U。;葡萄牙,R。;斯瓦特,B.F。 符号张量操作的群理论方法。 (英语) 兹比尔1086.65515 国际期刊修订版。物理学。C类 13,第7号,859-879(2002).MSC公司:65楼30 15A72号 20B30码 20B40码 08A70号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.R.U.Manssur}等人,《国际期刊》修订版。物理学。C 13,编号7,859--879(2002;Zbl 1086.65515) 全文: 内政部 arXiv公司
泽特,G。;V·曼塔。 引力的自对偶庞加莱规范理论。 (英语) Zbl 1086.83509号 国际期刊修订版。物理学。C类 13,第4期,509-516(2002).MSC公司:83D05号 81T13型 PDF格式BibTeX公司 XML格式引用 \textit{G.Zet}和\textit{V.Manta},国际期刊Mod。物理学。C 13,第4号,509--516(2002;Zbl 1086.83509) 全文: 内政部
都铎Jebelean 多精度算术的非传统算法。 (英语) Zbl 1073.68655号 蒂米大学。,序列号。材料-通知。 40,规范发行。,113-119 (2002).MSC公司:65年第68季度 11年40 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Jebelean},蒂米大学。,序列号。材料-通知。40113--119(2002年;Zbl 1073.68655)
克里斯蒂安·拿骚 研究Steenrod-代数上同调的一种新算法。(Ein neuer Algorithmus zur Untersuchung der Kohomologie der Steenrod-Algebra) (德语) 兹比尔1072.55501 柏林:Logos Verlag;法兰克福:Fachbereich Mathematik(2001年论文)(ISBN 3-89722-881-5/pbk)。88页。(2002).MSC公司:55S10美元 55季度45 55个T15 PDF格式BibTeX公司 XML格式引用 \textit{C.Nassau},Ein neuer Algorithmus zur Untersuchung der Kohomologie der Steenrod-Algebra。柏林:Logos Verlag;法兰克福:Fachbereich Mathematik(2001年论文)(2002年;Zbl 1072.55501)
弗兰茨·温克勒 代数几何计算的进展。 (英语) Zbl 1075.14524号 2002年3月18日至20日,泰国曼谷朱拉隆功大学,代数及其应用国际会议论文集(ICAA 2002)。曼谷:朱拉隆功大学数学系(ISBN 970-13-2182-1)。107-120 (2002).MSC公司:2005年第14季度 2010年第14季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Winkler},in:代数及其应用国际会议论文集(ICAA 2002),泰国曼谷朱拉隆功大学,2002年3月18-20日。曼谷:朱拉隆功大学数学系。107-120(2002;Zbl 1075.14524)
帕霍曼科,P.P。 凯莱图中哈密顿回路的构造,用于模拟多处理计算机系统。 (英语。俄文原件) Zbl 1067.68106号 自动。远程控制 63,第10号,1652-1667(2002); Avtom翻译。Telemekh公司。2002年,第10期,137-153(2002)。MSC公司:68兰特 05C25号 05C45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Parkhomenko},汽车。遥控器63,No.10,1652--1667(2002;Zbl 1067.68106);Avtom翻译。Telemekh公司。2002年,第10期,137--153(2002) 全文: 内政部
埃里克·瓦格纳。 代数规范:一些旧历史和新思想。 (英语) Zbl 1088.68648号 Nord.J.计算。 9,第4期,373-404(2002).MSC公司:68问题65 68-03 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Wagner},Nord.J.Comput。9,第4号,373--404(2002;Zbl 1088.68648)
巴诺伊,阿莫茨;阿里·弗伦德;西蒙·兰达;约瑟夫·纳尔(Seffi) 竞争性在线交换政策。 (英语) Zbl 1058.94533号 2002年1月6日至8日,美国加利福尼亚州旧金山,第十三届ACM-SIAM离散算法年度研讨会论文集。宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 0-89871-513-X/pbk)。525-534 (2002).MSC公司:94立方厘米 90磅18英寸 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{A.Bar-Noy}等人,in:第十三届年度ACM-SIAM离散算法研讨会论文集,SODA 2002,旧金山,加利福尼亚州,美国,2002年1月6-8日。宾夕法尼亚州费城:工业和应用数学学会(SIAM)。525--534(2002年;Zbl 1058.94533)
劳埃德,N.G。;皮尔逊,J.M。;E.塞兹。;我·Sántó。 具有六个极限环的三次Kolmogorov系统。 (英语) Zbl 1210.34048号 计算。数学。申请。 44,编号3-4,445-455(2002). 审核人:亚历山大·格林(格罗德诺) MSC公司:34二氧化碳 34C07(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{N.G.Lloyd}等人,计算。数学。申请。44,编号3--4,445--455(2002;Zbl 1210.34048) 全文: 内政部
伯特兰·霍切特(编辑);安东尼奥·J·阿科斯塔。(编辑);曼努埃尔·J·贝利多。(编辑) 集成电路设计。功率和时序建模、优化和仿真。2002年9月11日至13日在西班牙塞维利亚举行的2002年PATMOS第12次国际研讨会。诉讼程序。 (英语) Zbl 1046.68767号 计算机科学课堂讲稿2451.柏林:施普林格出版社(ISBN 3-540-44143-3/pbk)。十六、496页。(2002).MSC公司:68单位99 68-06 94-06 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Hochet}(编辑)等人,《集成电路设计》。功率和时序建模、优化和仿真。2002年9月11日至13日在西班牙塞维利亚举行的PATMOS 2002第12届国际研讨会。诉讼程序。柏林:施普林格(2002年;Zbl 1046.68767)
秦静;赵亚群 半弯曲函数的密码学性质。 (中文。英文摘要) Zbl 1054.94011号 山东大学自然科学学报。 37,第6期,480-483(2002). 审核人:陶仁吉(北京) MSC公司:94A60 94立方厘米 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Qin}和\textit{Y.Zhao},山东理工大学,自然科学。37,第6号,480-483(2002;Zbl 1054.94011)
罗尔夫·诺瑟姆;卢西亚诺·塞拉菲尼 上下文半群的多上下文逻辑。 (英语) Zbl 1072.68584号 Calmet,Jacques(编辑)等人,《人工智能、自动推理和符号计算》。联合国际会议:AISC 2002,第六届人工智能和符号计算国际会议,Calculemus 2002,第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日,法国马赛。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43865-3)。莱克特。注释计算。科学。2385, 90-101 (2002).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Nossum}和\textit{L.Serafini},莱克特。注释计算。科学。2385、90-101(2002年;Zbl 1072.68584) 全文: 链接
马克·艾吉尔;黛安·巴赫拉米;凯瑟琳·杜布瓦 关于一个推广的逻辑性定理。 (英语) Zbl 1072.68536号 Calmet,Jacques(编辑)等人,《人工智能、自动推理和符号计算》。联合国际会议:AISC 2002,第六届人工智能和符号计算国际会议,Calculationus 2002,第十届符号计算和机械化推理集成研讨会。2002年7月1日至5日,法国马赛。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43865-3)。莱克特。注释计算。科学。2385, 51-63 (2002).MSC公司:2012年第68季度 68吨15 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}等人,Lect。注释计算。科学。2385,51-63(2002年;兹比尔1072.68536) 全文: 链接
马克·索夫罗尼欧;朱利亚·斯佩莱塔 可分离哈密顿系统的辛方法。 (英语) 兹比尔1056.65139 Peter M.A.Sloot(编辑)等人,《计算科学-ICCS 2002》。第二届国际会议,荷兰阿姆斯特丹,2002年4月21日至24日。诉讼程序。第3部分。柏林:施普林格出版社(ISBN 3-540-43594-8)。莱克特。注释计算。科学。2331, 506-515 (2002).MSC公司:65页第10页 2015年11月37日 PDF格式BibTeX公司 XML格式引用 \textit{M.Sofroniou}和\textit{G.Spaletta},莱克特。注释计算。科学。2331506--515(2002年;Zbl 1056.65139) 全文: 内政部
马克·索夫罗尼欧;朱利亚·斯佩莱塔 求解正交矩阵微分系统数学软件. (英语) Zbl 1056.65068号 Peter M.A.Sloot(编辑)等人,《计算科学-ICCS 2002》。第二届国际会议,荷兰阿姆斯特丹,2002年4月21日至24日。诉讼程序。第3部分。柏林:施普林格出版社(ISBN 3-540-43594-8)。莱克特。注释计算。科学。2331, 496-505 (2002).MSC公司:65升05 68瓦30 65升60 65页第10页 2015年11月37日 PDF格式BibTeX公司 XML格式引用 \textit{M.Sofroniou}和\textit{G.Spaletta},莱克特。注释计算。科学。2331496--505(2002年;Zbl 1056.65068) 全文: 内政部
费利西亚·伊奥内斯库;米哈伊尔·伊奥内斯库;克里斯蒂娜·科科努;瓦伦丁·斯托伊卡 多处理器系统上测试向量生成的粗粒度并行化。 (英语) Zbl 1048.68785号 Grigoras,Dan(ed.)等人,集群计算的高级环境、工具和应用程序。2001年9月1日至6日在罗马尼亚曼加里亚举行的国际捕鲸委员会2001年北约高级研究研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-43672-3)。莱克特。注释计算。科学。2326, 231-240 (2002).MSC公司:68单位99 68米15 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Ionescu}等人,Lect。注释计算。科学。23263231-240(2002年;兹bl 1048.68785) 全文: 链接
陆宗伟;林正辉;陈厚鹏 基于变量边界的重定时算法。 (英语) Zbl 1091.68501号 J.计算。科学。Technol公司。 17,第6期,797-806(2002).MSC公司:2007年7月68日 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lu}等人,《计算杂志》。科学。Technol公司。17,第6号,797--806(2002;Zbl 1091.68501) 全文: 内政部
李志林;赵仁良;陈军 用于空间关系的基于Voronoi的空间代数。 (英语) Zbl 1040.68126号 掠夺。自然科学。 12,第7期,528-536(2002).MSC公司:68单位05 PDF格式BibTeX公司 XML格式引用 \textit{Z.Li}等人,程序。自然科学。12,第7号,528--536(2002;Zbl 1040.68126)
克里斯蒂安·比肖夫。;H.Martin·Bücker;布鲁诺·朗 计算金融的自动微分。 (英语) 兹比尔1045.65020 Kontoghiorghes,Erricos John(编辑)等人,《决策、经济和金融中的计算方法》。多德雷赫特:Kluwer学术出版社(ISBN 1-4020-0839-2/hbk)。申请。最佳方案。74, 297-310 (2002).MSC公司:65D25个 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Bischof}等人,应用。最佳方案。74、297--310(2002;Zbl 1045.65020)
米莉娜·米哈伊尔;克里斯托斯·帕帕迪米特里奥 关于特征值幂律。 (英语) Zbl 1028.68569号 Rolim,JoséD.P.(编辑)等人,《计算机科学中的随机化和近似技术》。2002年9月13日至15日,美国马萨诸塞州坎布里奇,第六届国际研讨会,RANDOM 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2483254-262(2002年)。MSC公司:68兰特 68瓦20 05元50分 05C80号 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{M.Mihail}和\textit{C.Papadimitriou},莱克特。注释计算。科学。2483,254--262(2002;Zbl 1028.68569) 全文: 链接
夏碧灿;侯晓荣 计算多项式方程组和不等式组实解的完整算法。 (英语) Zbl 1035.65054号 计算。数学。申请。 44,编号5-6,633-642(2002).MSC公司:65H10型 30立方厘米 68瓦30 2005年12月 13第05页 26立方厘米 65千5 90立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Xia}和\textit{X.Hou},计算。数学。申请。44,编号5--6633--642(2002;Zbl 1035.65054) 全文: 内政部
松树。;卓尔科夫,S.V。 关于泛代数的潜在可计算尺度。 (俄语) Zbl 1029.08003号 维奇尔。修女。 169, 26-38 (2002).MSC公司:08A70号 06B15号 PDF格式BibTeX公司 XML格式引用 \textit{A.G.松树}和\textit{S.V.卓科夫},维奇尔。修女。169、26-38(2002年;Zbl 1029.08003)
琼·韦斯 本科数值分析课程中的并行数值算法。 (英语) Zbl 1031.65039号 国际期刊计算。数字。分析。申请。 2,第1期,103-116(2002).MSC公司:65天32分 26-04 15-04 65-01年 2005年5月 65楼30 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{J.Weiss},国际计算机杂志。数字。分析。申请。2,编号1,103--116(2002;Zbl 1031.65039)
村郎、平子(编辑) 计算机代数算法,实现和应用。2001年11月19日至22日在日本京都京都大学数学科学研究所举行的研讨会记录。 (英语、日语) Zbl 1024.00515号 RIMS Kokyuroku公司 1295,vi,225页(2002).MSC公司:00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Murao}(编辑),RIMS Kokyuroku 1295,vi,225 p.(2002;Zbl 1024.00515)
A.Gregory斯塔林;布莱恩·马什伯恩。 在\(S_n\)上排序和Cayley图。 (英语) Zbl 1060.68030号 恭喜。数字 158, 21-27 (2002).MSC公司:68页第10页 68兰特 05C25号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.G.斯塔林}和\textit{B.C.Mashburn},国会议员。数字158,21--27(2002;Zbl 1060.68030)
爱德华多·巴罗·科洛查诺;弗洛雷斯,桑蒂诺 使用转子进行彩色边缘检测。 (英语) Zbl 1034.68108号 Dorst,Leo(编辑)等人,《几何代数在计算机科学和工程中的应用》,会议论文,2001年7月9日至13日,英国剑桥。马萨诸塞州波士顿:Birkhäuser(ISBN 0-8176-4267-6/hbk)。333-339 (2002).MSC公司:68单位10 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{E.Bayro-Corrochano}和\textit{S.Flores},in:几何代数在计算机科学和工程中的应用。会议论文,2001年7月9日至13日,英国剑桥,AGACSE 2001。马萨诸塞州波士顿:Birkhäuser。333--339(2002年;Zbl 1034.68108)
约翰·弗莱彻。 C++中Clifford数的符号处理。 (英语) Zbl 1036.65037号 Dorst,Leo(编辑)等人,《几何代数在计算机科学和工程中的应用》,会议论文,2001年7月9日至13日,英国剑桥。马萨诸塞州波士顿:Birkhäuser(ISBN 0-8176-4267-6/hbk)。157-167 (2002).MSC公司:65楼30 15A66型 68甲19 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Fletcher},载:几何代数在计算机科学和工程中的应用。会议论文,AGACSE 2001,英国剑桥,2001年7月9日至13日。马萨诸塞州波士顿:Birkhäuser。157-167(2002年;Zbl 1036.65037)
大卫·赫斯特内斯 几何代数中的点群和空间群。 (英语) Zbl 1033.20043号 Dorst,Leo(编辑)等人,《几何代数在计算机科学和工程中的应用》,会议论文,2001年7月9日至13日,英国剑桥。马萨诸塞州波士顿:Birkhäuser(ISBN 0-8176-4267-6/hbk)。3-34(2002年)。 审核人:A.Janner(奈梅亨) MSC公司:20年上半年 PDF格式BibTeX公司 XML格式引用 \textit{D.Hestenes},in:几何代数在计算机科学和工程中的应用。会议论文,AGACSE 2001,英国剑桥,2001年7月9-13日。马萨诸塞州波士顿:Birkhäuser。3--34(2002;Zbl 1033.20043)
德克斯特·科岑 关于霍尔逻辑、克莱恩代数和类型。 (英语) Zbl 1023.03025号 Gärdenfors,Peter(编辑)等人,《科学的逻辑、方法论和哲学范围》。第十一届国际逻辑、方法论和科学哲学大会第一卷,波兰克拉科夫,1999年8月。多德雷赫特:Kluwer学术出版社。合成。伦敦银行同业拆借利率。315, 119-133 (2002).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen},合成。伦敦银行同业拆借利率。315119-133(2002年;Zbl 1023.03025)
乔瓦娜·达戈斯蒂诺;阿尔伯特·维瑟 终局重获:斯科特集与多集的联合研究。 (英语) Zbl 1023.03049号 架构(architecture)。数学。逻辑 41,第3期,267-298(2002).MSC公司:03E70型 18个B05 03B45号 68问题85 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{A.Visser},拱门。数学。逻辑41,第3号,267--298(2002;Zbl 1023.03049) 全文: 内政部 链接
纽卡宁,A.W。 多重超几何级数的二次变换。 (俄语。英文摘要) 兹比尔1021.33011 芬丹。普里克尔。材料。 8,第2期,517-531(2002). 审核人:亚历山大·古特曼(莫斯科) MSC公司:33C65个 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Niukkanen},Fundam。普里克尔。材料8,编号2,517--531(2002;Zbl 1021.33011)
梅恩·范德梅伦 使用SMV对无限制、卡滞容错、异步时序电路的设计进行模型检查。 (英语) Zbl 1019.68630号 Aagaard,Mark D.(编辑)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年11月6日至8日,美国俄勒冈州波特兰市,FMCAD 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2517, 310-323 (2002).MSC公司:68单位07 94立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信给Lect的M.van der Meulen。注释计算。科学。2517310--323(2002年;Zbl 1019.68630) 全文: 链接
月亮,In-Ho;郭熙华;詹姆斯·库库拉;托马斯·希普尔;卡尔·皮克斯利 使用参数表示简化电路以进行形式验证。 (英语) Zbl 1019.68626号 Aagaard,Mark D.(编辑)等人,《计算机辅助设计中的形式化方法》。第四届国际会议,2002年11月6日至8日,美国俄勒冈州波特兰市,FMCAD 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2517, 52-69 (2002).MSC公司:68单位07 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{I.-H.Moon}等人,Lect。注释计算。科学。2517、52-69(2002年;Zbl 1019.68626) 全文: 链接
克里斯·吉安内拉;德克·范·古赫特 将路径连接操作符添加到\(FO+poly(linear)\)。 (英语) Zbl 1034.68029号 学报信息。 38,第9期,621-648(2002).MSC公司:第68页,共15页 03B70号 03C60型 第14页 PDF格式BibTeX公司 XML格式引用 \textit{C.Giannella}和\textit{D.Van Gucht},《学报》第38期,第9期,第621--648页(2002年;Zbl 1034.68029) 全文: 内政部
V.V.基斯连科夫。 加快密集网格上函数计算的方法。 (英语。俄文原件) Zbl 1037.68162号 程序。计算。柔和。 28,第2期,88-91(2002); 译自Programmirovanie 2002,No.2,43-48(2002)。MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Kislenkov},程序。计算。柔和。28,第2号,88--91(2002;Zbl 1037.68162);译自Programmirovanie 2002,No.2,43-48(2002) 全文: 内政部
安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 比较剩余类领域的探索方法。 (英语) Zbl 1038.68110号 J.塞姆。计算。 34,第4期,287-306(2002).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,J.Symb。计算。34,第4号,287--306(2002;Zbl 1038.68110) 全文: 内政部 链接
詹姆斯·H·达文波特。 计算机代数及其他方面的平等。 (英语) Zbl 1037.68161号 J.塞姆。计算。 34,第4期,259-270(2002).MSC公司:68瓦30 68甲15 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport},J.Symb。计算。34,第4号,259--270(2002;Zbl 1037.68161) 全文: 内政部
迪特·施密特 月球的运动。 (英语) Zbl 1068.70015号 希尔德贝托(编辑)卡布拉尔等人,《经典和天体力学:累西腓讲座》。新泽西州普林斯顿:普林斯顿大学出版社(ISBN 0-691-05022-8/hbk)。205-237 (2002). 审核人:Nina A.Solovaya(布拉迪斯拉发) MSC公司:2015年1月70日 70-08 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Schmidt},in:经典和天体力学:累西腓讲座。新泽西州普林斯顿:普林斯顿大学出版社。205-237(2002;Zbl 1068.70015)
彼得·比雷尔(Peter A.Beerel)。;谢爱国 使用马尔可夫链的异步电路性能分析。 (英语) 兹比尔1029.68504 Cortadella,Jordi(编辑)等人,《并行和硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549, 313-343 (2002).MSC公司:2007年7月68日 68问题85 94立方厘米 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Beerel}和\textit{A.Xie},莱克特。注释计算。科学。254913-343(2002年;兹bl 1029.68504) 全文: 链接
杰斯珀·默勒;亨利克·胡尔加德;安徒生、亨利克·雷夫 异步电路的定时验证。 (英语) Zbl 1029.68005号 Cortadella,Jordi(编辑)等人,《并行和硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549, 274-312 (2002).MSC公司:2007年7月68日 68问题85 94立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.莫勒}等人,莱克特。注释计算。科学。2549274--312(2002年;Zbl 1029.68005) 全文: 链接
沃尔特·福格勒;拉尔夫·沃洛夫斯基 异步电路设计中的分解。 (英语) Zbl 1029.68006号 Cortadella,Jordi(编辑)等人,《并发与硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549, 152-190 (2002).MSC公司:2007年7月68日 68问题85 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}和\textit{R.Wollowski},莱克特。注释计算。科学。2549、152--190(2002年;Zbl 1029.68006) 全文: 链接
乔塞普·卡莫纳;乔迪·科尔塔德拉;恩里克·帕斯特 反应系统的合成:在异步电路设计中的应用。 (英语) Zbl 1029.68505号 Cortadella,Jordi(编辑)等人,《并行和硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549108-151(2002)中描述。MSC公司:2007年7月68日 68问题85 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Carmona}等人,Lect。注释计算。科学。2549、108--151(2002年;Zbl 1029.68505) 全文: 链接
维克托·瓦沙夫斯基;维亚切斯拉夫·马拉霍夫斯基 GALA(全局异步-局部任意)设计。 (英语) Zbl 1029.68508号 Cortadella,Jordi(编辑)等人,《并行和硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549, 61-107 (2002).MSC公司:2007年7月68日 68问题85 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Varshavsky}和\textit{V.Marakhovsky},莱克特。注释计算。科学。2549、61-107(2002年;Zbl 1029.68508) 全文: 链接
马克·B·约瑟夫。;Dennis P.Furey。 异步逻辑块设计的编程方法。 (英语) Zbl 1029.68506号 Cortadella,Jordi(编辑)等人,《并发与硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549, 34-60 (2002).MSC公司:2007年7月68日 68问题85 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Josephs}和\textit{D.P.Furey},莱克特。注释计算。科学。2549,34-60(2002年;Zbl 1029.68506) 全文: 链接
伊戈尔·本科;乔·埃贝根 编写代码段。 (英语) 兹比尔1029.68003 Cortadella,Jordi(编辑)等人,《并行和硬件设计》。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。2549,1-33(2002年)。MSC公司:2007年7月68日 68问题85 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{I.Benko}和\textit{J.Ebergen},莱克特。注释计算。科学。2549,1--33(2002年;Zbl 1029.68003) 全文: 链接
Jochen Burghardt 有限代数的公理化。 (英语) Zbl 1015.68094号 Jarke,Matthias(编辑)等人,KI 2002:人工智能进展。2002年9月16日至20日,德国亚琛,第25届德国人工智能年会,KI 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2479, 222-234 (2002).MSC公司:65年第68季度 08A70号 03C05号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Burghardt},莱克特。注释计算。科学。2479222--234(2002年;Zbl 1015.68094) 全文: arXiv公司 链接
奥尔加·索克拉托娃 自主品种中的自动机。 (英语) Zbl 1061.20060号 Gomes、Gracinda M.S.(编辑)等人,《半群、算法、自动机和语言》。2001年5月、6月和7月在葡萄牙科英布拉CIM国际数学中心举行的研讨会记录。新加坡:世界科学(ISBN 981-238-099-X/hbk)。423-435 (2002). 审核人:弗拉基米尔·弗莱舍(塔尔图) MSC公司:20立方米 08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Sokratova},in:半群,算法,自动机和语言。2001年5月、6月和7月在葡萄牙科英布拉CIM国际数学中心举行的研讨会记录。新加坡:世界科学。423--435(2002年;Zbl 1061.20060)
豪尔赫·阿尔梅达 有限半群:伪簇统一理论简介。 (英语) 兹比尔1033.20067 Gomes、Gracinda M.S.(编辑)等人,《半群、算法、自动机和语言》。2001年5月、6月和7月在葡萄牙科英布拉CIM国际数学中心举行的研讨会记录。新加坡:世界科学(ISBN 981-238-099-X/hbk)。3-64 (2002). 审核人:米哈伊尔·沃尔科夫(叶卡捷琳堡) MSC公司:2007年7月20日 2005年5月20日 03B25号 03天35分 08B25号 22甲15 20立方米 70年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Almeida},in:半群,算法,自动机和语言。2001年5月、6月和7月在葡萄牙科英布拉CIM国际数学中心举行的研讨会记录。新加坡:世界科学。3--64(2002年;Zbl 1033.20067)
克劳德·卡莱 通过对Maioran-McFarland构造的研究,得到了一类更大的密码布尔函数。 (英语) Zbl 1026.94518号 Yung,Moti(编辑),《密码学进展-密码2002》。第22届国际密码学年会,美国加利福尼亚州圣巴巴拉,2002年8月18-22日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2442, 549-564 (2002).MSC公司:94A55型 第68页第25页 94A60 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Carlet},莱克特。注释计算。科学。2442549--564(2002年;Zbl 1026.94518) 全文: 链接
帕拉什·萨尔卡 无记忆同步流密码的滤波-合并模型。 (英语) Zbl 1026.94519号 Yung,Moti(编辑),《密码学进展-密码2002》。第22届国际密码学年会,美国加利福尼亚州圣巴巴拉,2002年8月18-22日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2442, 533-548 (2002).MSC公司:94A55型 第68页第25页 94A60 68问题80 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Sarkar},莱克特。注释计算。科学。2442533--548(2002年;Zbl 1026.94519) 全文: 链接
伊萨姆·达马吉;Majzoub,苏海布;哈桑·迪亚卜 MORPHOSYS下的二维和三维计算机图形算法。 (英语) Zbl 1020.68600号 Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 1076-1079 (2002).MSC公司:68单位99 94立方厘米 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{I.Damaj}等人,Lect。注释计算。科学。2438、1076——1079(2002年;Zbl 1020.68600) 全文: arXiv公司 链接
水池一川;山本,Shoji 子图同构问题的数据相关电路。 (英语) Zbl 1020.68683号 Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 1068-1071 (2002).MSC公司:68单位99 94立方厘米 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Ichikawa}和\textit{S.Yamamoto},莱克托。注释计算。科学。2438、1068--1071(2002年;Zbl 1020.68683) 全文: 链接
奥斯卡·门瑟;黄志宁;洛伦茨·韦尔斯卑尔根 HAGAR:高效的多上下文图形处理器。 (英语) Zbl 1020.68808号 Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 915-924 (2002).MSC公司:68单位99 94立方厘米 05C85号 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{O.Mencer}等人,Lect。注释计算。科学。2438915--924(2002年;Zbl 1020.68808) 全文: 链接
瓦尔托宁,Tuomas;朱尼·伊萨霍;汉努·腾胡宁 细粒度可重新配置架构案例:对设想性能的分析。 (英语) Zbl 1020.68926号 Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 816-825 (2002).MSC公司:68单位99 94立方厘米 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{T.Valtonen}等人,Lect。注释计算。科学。243816-825(2002年;Zbl 1020.68926) 全文: 链接
韦斯利·兰德克。;迈克尔·沃特林(Michael J.Wirthlin)。;布拉德·哈钦斯。 SLAAC1-V可重构计算系统上的多任务硬件。 (英语) Zbl 1020.68754号 Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 806-815 (2002).MSC公司:68单位99 94立方厘米 68个月1日 PDF格式BibTeX公司 XML格式引用 \textit{W.J.Landaker}等人,Lect。注释计算。科学。243806-815(2002年;Zbl 1020.68754) 全文: 链接
卢西迪奥·卡布拉尔。;朱利奥·S·奥德。;纳尔逊·马库兰 TDR:一种用于FPGA的分布式内存并行路由算法。 (英语) Zbl 1020.68564号 Glesner,Manfred(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2438, 263-270 (2002).MSC公司:68单位99 94立方厘米 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{L.A.F.Cabral}等人,Lect。注释计算。科学。24382263-270(2002年;兹比尔1020.68564) 全文: 链接
瓦利德·谢里夫(Walied H.Sharif)。 具有两列的二价表(二部图)的(p)-不可扩性的一般定理。 (英语) Zbl 1032.05021号 远东数学杂志。科学。(FJMS) 7,第3期,311-318(2002).MSC公司:05B15号 03E20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Sharif},远东数学杂志。科学。(FJMS)7,第3号,311--318(2002;Zbl 1032.05021)
尤瓦诺、吉雄;亚历山大·古塞夫;维塔利·罗斯托夫采夫;塞尔格·I·维尼茨基。 三次势扰动谐振子的Birkhoff-Gustavson归一化反问题。 (英语) Zbl 1022.65135号 J.计算。方法科学。工程师。 2,第1s-2s号,271-275(2002).MSC公司:65页第10页 2015年11月37日 37J35型 65日元 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Uwano}等人,《计算杂志》。方法科学。工程2,编号1--2,271--275(2002;Zbl 1022.65135)
波维克,彼得 利用沃尔什变换有效计算里德-穆勒型。 (英语) Zbl 1026.94556号 国际期刊申请。数学。计算。科学。 12,第4期,571-579(2002).MSC公司:94立方厘米 06E30年 68米15 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Porwik},国际期刊应用。数学。计算。科学。12,第4号,571--579(2002;Zbl 1026.94556) 全文: 欧洲DML
里扎德·贾尼基 建立直接产品和关系的血液学系统。 (英语) Zbl 1013.03076号 Alpingii,James J.(编辑)等人,《粗糙集与当前计算趋势》。2002年10月14日至16日在美国宾夕法尼亚州马尔文举行的2002年RSCTC第三届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2475, 113-122 (2002).MSC公司:03G25号 68层37 03G15年 第68页,共15页 08A70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki},莱克特。注释计算。科学。2475113-122(2002年;Zbl 1013.03076) 全文: 链接
斯科贝列夫,V.G。 离散系统分析。(Analiz diskretnykh姐妹) (俄语) 兹比尔1017.93003 顿涅茨克:乌克兰国家科学院(Natsional'naya Akademiya Nauk Ukrainy),梅哈尼基研究所(Institute Prikladnoj Matematiki i Mekhaniki)。172页(2002年)。 审核人:瓦列里·科兹洛夫斯基(顿涅茨克) MSC公司:93-02 93元65角 第68页 68T20型 93个B05 2002年8月 65年第68季度 06A07年 06E30年 93C40型 94立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Skobelev},Analiz diskretnykh sismem(俄语)。顿涅茨克:乌克兰国家科学院,梅哈尼基研究所(2002;Zbl 1017.93003)
马利奇,F。;罗布特尔,P。;J·拉斯卡尔。 使用角动量积分部分简化N体行星问题。 (英语) Zbl 1026.70016号 最神圣的。机械。动态。阿童木。 84,第3期,283-316(2002).MSC公司:70层10 PDF格式BibTeX公司 XML格式引用 \textit{F.Malige}等人,Celest。机械。动态。阿童木。84,第3号,283--316(2002;Zbl 1026.70016) 全文: 内政部
什特拉科夫。;Denecke,K。 泛代数中的基本变量和可分集。 (英语) Zbl 1022.08002号 多重-有价值的日志。 8,第2期,165-181(2002).MSC公司:08A62号 03B50号 08A70号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Shtrakov}和\textit{K.Denecke},Mult-有价值的日志。8,第2号,165--181(2002;Zbl 1022.08002) 全文: arXiv公司
普雷沃斯托维吉尔;Damien Doligez FOC语言中的算法和证明继承。 (英语) Zbl 1064.68095号 J.自动化。推理 29,编号3-4,337-363(2002).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Prevosto}和\textit{D.Doligez},J.Autom。推理29,第3-4-337-363号(2002年;Zbl 1064.68095) 全文: 内政部
乔迪·科尔塔德拉(编辑);亚历克斯·雅科夫列夫(编辑);格列泽戈兹·罗森贝格(编辑) 并发和硬件设计。Petri网的进展。 (英语) 兹比尔1011.00018 计算机科学课堂讲稿. 2549. 柏林:斯普林格。xi,第343页(2002年)。MSC公司:00B15号机组 68-06 2007年7月68日 68问题85 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Cortadella}(编辑)等人,《并发和硬件设计》。Petri网的进展。柏林:施普林格出版社(2002;Zbl 1011.00018) 全文: 内政部 链接
松树。;卓尔科夫,S.V。 关于元素代数的可计算势标度的长度。 (俄语、英语) Zbl 1015.08003号 同胞。材料Zh。 43,第4期,858-863(2002); Sib中的翻译。数学。J.43,第4期,689-693(2002年)。 审核人:K.N.Pomarev(新西伯利亚) MSC公司:08A40号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.G.松树}和\textit{S.V.卓科夫},Sib。材料Zh。43,第4号,858--863(2002;Zbl 1015.08003);Sib中的翻译。数学。J.43,第4689-693号(2002年) 全文: 欧洲DML
曼弗雷德·格莱斯纳(编辑);彼得·齐普夫(编辑);米歇尔·雷诺维尔(编辑) 现场可编程逻辑和应用。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2-4日。诉讼程序。 (英语) Zbl 1010.68847号 计算机科学课堂讲稿2438.柏林:施普林格。xxii,1187页(2002年)。MSC公司:68-06 94立方厘米 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Glesner}(编辑)等人,《现场可编程逻辑和应用》。可重构计算正在成为主流。第十二届国际会议,FPL 2002,法国蒙彼利埃,2002年9月2-4日。诉讼程序。柏林:施普林格出版社(2002;Zbl 1010.68847) 全文: 内政部 链接
Denecke,K。;利拉塔纳瓦莱,S。 广义超代换定义的树变换。 (英语) Zbl 1029.08005号 科学。数学。日本。 56,第3527-538号(2002年). 审核人:马格努斯·斯坦比(图尔库) MSC公司:08B99号 08B15号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Denecke}和\textit{S.Leeratanavalee},科学。数学。日本。56,第3号,527--538(2002;Zbl 1029.08005)
伊尔迪林、内克米汀 单底物简单顺序多酶反应的准稳态动力学。 (英语) Zbl 1009.92017年9月 数学杂志。化学。 32,第3期,271-280(2002).MSC公司:92C40型 92-08 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.Yildirim},J.数学。化学。32,第3号,271--280(2002;Zbl 1009.92017) 全文: 内政部
大卫·法切里;亚历山德罗·加布里埃利;恩佐·甘多尔菲 用于高能物理的非常快速的2输入模糊处理器。 (英语) Zbl 1008.68580号 模糊集系统。 132,第2期,261-272(2002).MSC公司:68单位99 68M99型 68吨10 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Falchieri}等人,《模糊集系统》。132,No.2,261--272(2002;Zbl 1008.68580) 全文: 内政部
F.施瓦兹。 线性三阶微分方程的等价类、对称性和解。 (英语) Zbl 1025.34005号 计算 69,第2期,141-162(2002). 审核人:M.Ivanovic(克雷奥瓦) MSC公司:34A25型 34立方厘米 34A05型 34立方厘米 34B30码 PDF格式BibTeX公司 XML格式引用 \textit{F.Schwarz},《计算》69,第2期,141--162(2002;Zbl 1025.34005) 全文: 内政部
朱可夫,D.A。 用于乘法的快速细胞网络。 (俄语) Zbl 1016.68040号 Diskretn公司。分析。伊斯斯莱德。操作。,序列号。1 9,第3期,40-47(2002).MSC公司:65年第68季度 2007年7月68日 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.A.朱可夫},Diskretn。分析。伊斯斯莱德。操作。,序列号。1 9,第3号,40-47(2002;Zbl 1016.68040)
Alekhina,医学硕士。 在元件输入的单一类型故障下,某些基网络的不可靠性下限。 (俄语) Zbl 1029.68026号 Diskretn公司。分析。伊斯斯莱德。操作。,序列号。1 9,第3期,3-28(2002).MSC公司:68米15 94立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Alekhina},Diskretn。分析。伊斯斯莱德。操作。,序列号。1 9,3号,3--28(2002;Zbl 1029.68026) 全文: 链接
J.麦克菲。;Shi,P。;Piedbœf,J.-C。 使用虚拟工作和符号编程的多体系统动力学。 (英语) Zbl 1033.70001号 数学。计算。模型。动态。系统。 8,第2期,137-155(2002). 审核人:沃纳·M·塞勒(海德堡) MSC公司:70-08 70E55型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.McPhee}等人,数学。计算。模型。动态。系统。8,第2号,137--155(2002;Zbl 1033.70001) 全文: 内政部 链接
T·J·韦策尔。;H.E.贝兹。 用于计算CAD/CAM应用程序的精确有理参数的路径代数方法。 (英语) Zbl 1012.68210号 工程计算。(布拉德夫) 19,第5期,501-519(2002).MSC公司:68单位07 65D99型 PDF格式BibTeX公司 XML格式引用 \textit{T.J.Wetzel}和\textit{H.E.Bez},工程计算。(布拉德夫)19,第5期,501--519(2002;Zbl 1012.68210) 全文: 内政部
张景亮 关于传递闭包计算的注记。 (中文。英文摘要) Zbl 1006.68540号 《曲阜规范》。国立科学大学。 28,第3期,第41-43页(2002年).MSC公司:68卢比 03E20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang},J.曲阜规范。大学,自然科学。28,第3号,41-43(2002;Zbl 1006.68540)
伊琳·萨巴迪尼;丹尼尔·斯特鲁帕(Daniele C.Struppa)。 Clifford分析中的计算代数分析方法。 (英语) Zbl 1013.30034号 数学。方法应用。科学。 25,第16-18号,1415-1427(2002). 审核人:沃尔夫冈·斯普洛西格(弗莱堡) MSC公司:30克35 PDF格式BibTeX公司 XML格式引用 \textit{I.Sabadini}和\textit{D.C.Struppa},数学。方法应用。科学。25,编号16--18,1415--1427(2002;Zbl 1013.30034) 全文: 内政部
J.V.塔克。;朱克,J.I。 流代数的无限初始代数规范。 (英语) Zbl 1017.08003号 Sieg,Wilfried(编辑)等人,《数学基础的反思》。索罗门·费弗曼的散文。马萨诸塞州纳蒂克:A·K·彼得斯。莱克特。注释日志。15, 228-247 (2002). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:08A70号 68问题65 03C75号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},莱克特。注释日志。15、228--247(2002年;Zbl 1017.08003)
H.Peter Gumm;托拜厄斯·施罗德 有界类型的余代数。 (英语) Zbl 1011.08009号 数学。结构。计算。科学。 12,第5期,565-578(2002). 审核人:尤里·莫夫西扬(埃里温) MSC公司:08A70号 08C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Gumm}和\textit{T.Schröder},数学。结构。计算。科学。12,第5号,565--578(2002;Zbl 1011.08009) 全文: 内政部
约瑟夫·戈根;格兰特·马尔科姆;坎普,汤姆 隐藏的赫伯兰德定理:结合对象和逻辑范式。 (英语) Zbl 1012.03041号 J.日志。阿尔盖布。程序。 51,第1期,1-41页(2002年).MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Goguen}等人,J.Log。阿尔盖布。程序。51,第1号,1--41(2002;Zbl 1012.03041) 全文: 内政部
达米扬诺夫,I。;什特拉科夫。 基本输入和最小树自动机。 (英语) Zbl 1024.68069号 Shtrakov,Sl.(编辑)等人,《离散数学与应用》。第六届国际会议记录,2001年8月31日至9月2日,保加利亚班斯科。布拉戈夫格勒:西南大学。Res.数学。计算。科学。77-85 (2002). 审核人:马格努斯·斯坦比(图尔库) MSC公司:70年第68季度 08A70号 08A40号 05年3月 2015年3月1日 06B25号 PDF格式BibTeX公司 XML格式引用 \textit{I.Damyanov}和\textit{S.Shtrakov},《离散数学与应用》。第六届国际会议记录,2001年8月31日至9月2日,保加利亚班斯科。布拉戈夫格勒:西南大学。77——85(2002年;Zbl 1024.68069)
赫伯特·S·威尔夫。 算法和复杂性。第2版。 (英语) Zbl 1008.68057号 马萨诸塞州纳蒂克:A K Peters。ix,219页(2002年)。MSC公司:65年第68季度 2002年8月 68瓦99 15-04 05-04 11-04 94A60 PDF格式BibTeX公司 XML格式引用 \textit{H.S.Wilf},算法和复杂性。第二版Natick,MA:A K Peters(2002;Zbl 1008.68057)
弗里茨·施瓦兹 ALLTYPES:代数语言和类型系统。 (英语) Zbl 1057.68151号 Cohen,Arjeh M.(编辑)等人,《数学软件》。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学(ISBN 981-238-048-5)。486-500 (2002).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Schwarz},in:数学软件。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学。486--500(2002年;Zbl 1057.68151)
曼纽尔·布朗斯坦 \(Sigma^{it})–线性微分和差分方程的ALDOR库。(摘要)。 (英语) 兹比尔1012.68237 Cohen,Arjeh M.(编辑)等人,《数学软件》。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:《世界科学》,第485页(2002年)。MSC公司:68瓦30 34-04 35-04 39-04 05年12月12日 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{M.Bronstein},in:数学软件。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学。485(2002年;Zbl 1012.68237)
王明生;Kwong,C.P.公司。 使用syzygy算法计算GCLF。 (英语) Zbl 1014.65032号 Cohen,Arjeh M.(编辑)等人,《数学软件》。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学。93-103 (2002).MSC公司:65楼30 15A54号 2013年02月 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Wang}和\textit{C.P.Kwong},in:数学软件。第一届国际会议记录,中国北京,2002年8月17日至19日。新加坡:世界科学。93——103(2002;Zbl 1014.65032)
安蒂亚,H.M。 科学家和工程师的数值方法。带CD-ROM。第2版。 (英语) Zbl 1014.65001号 巴塞尔:Birkhä用户。xxii,842页(2002年)。 审核人:Matti Vuorinen(赫尔辛基) MSC公司:65-01年 65日元 65克50 65华氏度 65Dxx日 65华夏 65Kxx美元 65磅 6500万 65新元 65卢比 PDF格式BibTeX公司 XML格式引用 \textit{H.M.Antia},科学家和工程师的数值方法。光盘。第二版巴塞尔:Birkhäuser(2002;Zbl 1014.65001)
安德烈·泰斯 逻辑和数字系统理论。(数字系统逻辑) (法语) Zbl 1046.68038号 巴黎:爱马仕科学出版物(ISBN 2-7462-0586-6/pbk)。第272页。(2002). 审核人:塞尔吉乌·鲁迪亚努(布库雷什蒂) MSC公司:68N17号 94立方厘米 68米15 93元62角 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Thayse},Logique et theéorie des systèmes digitaux。巴黎:爱马仕科学出版社(2002年;Zbl 1046.68038)
英格马尔·卡吉 宽带通信系统中的随机建模。 (英语) Zbl 1020.94001号 SIAM数学建模与计算专著. 8. 宾夕法尼亚州费城:工业和应用数学学会(SIAM)。十六、177页(2002年)。 审核人:W.R.W.Scheinhardt(恩斯切德) MSC公司:94-01 60-01 68-01 94A05级 94立方厘米 68M10个 60J20型 68平方米 60K25码 PDF格式BibTeX公司 XML格式引用 \textit{I.Kaj},宽带通信系统中的随机建模。宾夕法尼亚州费城:工业和应用数学学会(SIAM)(2002;Zbl 1020.94001) 全文: 内政部
北布鲁诺。;J.海因茨。;G.马特拉。;Wachenchauzer,R。 计算机代数中的函数编程概念和直线程序。 (英语) Zbl 1005.68187号 数学。计算。模拟。 60,第6期,423-473(2002).MSC公司:68瓦30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Bruno}等人,数学。计算。模拟。60,第6号,423--473(2002;Zbl 1005.68187) 全文: 内政部