吕迪格Reinecke 霍尔的通信顺序过程:跟踪模型的扩展。(Hoares通信顺序过程:Erweiterung des Spurenmodels。) (德语) Zbl 1062.68562号 凯泽斯劳滕大学:凯泽斯劳滕大学FB Informatik。147秒。(1985).MSC公司:65年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{R.Reinecke},《Hoares通信顺序过程:Erweiterung des Sprenmodells》。凯泽斯劳滕:凯泽斯劳滕大学FB Informatik(1985;Zbl 1062.68562)
莫德凯·容格(Yung,Mordechai) 密码协议:订阅公钥、秘密阻止和多人智能扑克游戏(扩展抽象)。 (英语) Zbl 1359.94633号 Blakley,G.R.(编辑)等人,《密码学进展》。1984年《密码学学报》(1984年8月19日至22日在加州大学圣巴巴拉分校举办的密码技术理论和应用研讨会)。柏林:斯普林格。计算机科学课堂讲稿196,439-453(1985)。MSC公司:94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Yung},莱克特。注释计算。科学。196439--453(1985年;Zbl 1359.94633) 全文: 内政部
泰德里克,汤姆 公平交换秘密(扩展摘要)。 (英语) Zbl 1359.94628号 Blakley,G.R.(编辑)等人,《密码学进展》。1984年《密码学学报》(1984年8月19日至22日在加州大学圣巴巴拉分校举办的密码技术理论和应用研讨会)。柏林:斯普林格。计算机科学课堂讲稿196,434-438(1985)。MSC公司:94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{T.Tedrick},莱克特。注释计算。科学。196、434--438(1985年;Zbl 1359.94628) 全文: 内政部
伊沃·德斯梅特;Jean-Jacques,Quishuter;马克·达维奥 DES中输出对输入的依赖性:小雪崩特性。 (英语) Zbl 1359.94587号 Blakley,G.R.(编辑)等人,《密码学进展》。1984年《密码学学报》(1984年8月19日至22日在加州大学圣巴巴拉分校举办的密码技术理论和应用研讨会)。柏林:斯普林格。计算机科学课堂讲稿196,359-376(1985)。MSC公司:94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Desmedt}等人,Lect。注释计算。科学。196、359--376(1985年;Zbl 1359.94587) 全文: 内政部
乔·本尼;奥德·戈尔德雷奇 RSA/Rabin最低有效位是安全的({{1\over2}+1/\mathrm{poly}(\log N)})(扩展抽象)。 (英语) Zbl 1359.94577号 Blakley,G.R.(编辑)等人,《密码学进展》。1984年《密码学学报》(1984年8月19日至22日在加州大学圣巴巴拉分校举办的密码技术理论和应用研讨会)。柏林:斯普林格。计算机科学课堂讲稿196,303-313(1985)。MSC公司:94A60型 68第25页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Chor}和\textit{O.Goldreich},莱克特。注释计算。科学。196、303--313(1985年;Zbl 1359.94577) 全文: 内政部
奥德·戈尔德雷奇;沙菲·戈德瓦瑟;西尔维奥·米卡利 关于随机函数的密码应用(扩展抽象)。 (英语) Zbl 1359.94599号 Blakley,G.R.(编辑)等人,《密码学进展》。1984年《密码学学报》(1984年8月19日至22日在加州大学圣巴巴拉分校举办的密码技术理论和应用研讨会)。柏林:斯普林格。计算机科学课堂讲稿196,276-288(1985)。MSC公司:94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{O.Goldreich}等人,Lect。注释计算。科学。196276--288(1985年;Zbl 1359.94599) 全文: 内政部
G.R.布莱克利。;凯瑟琳·梅多斯 坡道方案的安全性。 (英语) 兹比尔1359.68062 Blakley,G.R.(编辑)等人,《密码学进展》。1984年《密码学学报》(1984年8月19日至22日在加州大学圣巴巴拉分校举办的密码技术理论和应用研讨会)。柏林:斯普林格。计算机科学课堂讲稿196,242-268(1985)。MSC公司:68第25页 68页30 PDF格式BibTeX公司 XML格式引用 \textit{G.R.Blakley}和\textit{C.Meadows},莱克特。注释计算。科学。196242--268(1985年;Zbl 1359.68062) 全文: 内政部
塔哈尔ElGamal 基于离散对数的公钥密码系统和签名方案。 (英语) Zbl 1359.94590号 Blakley,G.R.(编辑)等人,《密码学进展》。1984年《密码学学报》(1984年8月19日至22日在加州大学圣巴巴拉分校举办的密码技术理论和应用研讨会)。柏林:斯普林格。计算机科学课堂讲稿196,10-18(1985)。MSC公司:94A60型 11T71型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{T.ElGamal},莱克特。注释计算。科学。196、10-18(1985年;Zbl 1359.94590) 全文: 内政部
G·鲁古。 密码学和复杂性理论。 (英语) Zbl 1391.94792号 Beth,T.(编辑)等人,《密码学进展》。1984年4月9日至11日,法国巴黎,《84年欧洲密码会议论文集,密码技术理论与应用研讨会》。计算机科学课堂讲稿209,3-9(1985)。MSC公司:94A60型 62第25页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Ruggiu},莱克特。注释计算。科学。209,3--9(1985;Zbl 1391.94792) 全文: 内政部
Vajnshtejn,医学博士。 简单二维矩形装箱问题在线算法的性能下限。 (英语。俄文原件) 兹伯利0813.05016 翻译。,序列号。2,美国数学。《社会学杂志》第158、217-221页(1994年);《复杂系统设计自动化和科学研究自动化的理论和方法》,明斯克,22-25(1985)。MSC公司:05B40号 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Vajnshtejn},翻译。,序列号。2,美国数学。Soc.158、217--221(1985;Zbl 0813.05016);《复杂系统设计自动化和科学研究自动化的理论和方法》,明斯克,22-25(1985)
阿明·哈肯 难以解决的问题。 (俄语。英文原件) Zbl 0797.03010号 基伯恩。Sb.,11月序列号。 28, 179-194 (1991); Theor的翻译。计算。科学。39, 297-308 (1985).MSC公司:03B35型 2015年3月1日 20层03 03B05号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Haken},Kibern(基伯恩)。Sb.,11月序列号。28179--194(1985;Zbl 0797.03010);Theor的翻译。计算。科学。39, 297--308 (1985)
库兹涅佐夫,O.P。;阿德尔·桑·维尔斯基,G.M。 工程师离散数学。 (英语) Zbl 0788.0004号 计算机数学专题. 2. 宾夕法尼亚州费城:Gordon和Breach科学出版社。xiv,410页(1985)。 审核人:H.Alt(柏林) MSC公司:00A06级 00-01 2005年第68季度 03英镑05 05年3月 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.P.Kuznetsov}和\textit{G.M.Adel'son-Vel'skii},工程师离散数学。宾夕法尼亚州费城:Gordon和Breach科学出版社(1985;Zbl 0788.0004)
吉恩·戈登;肖特利夫,爱德华·H。 在层次假设空间中管理证据推理的方法:回顾。 (英语) Zbl 1134.68530号 Artif公司。智力。 26, 323-357 (1985).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.Gordon}和\textit{E.H.Shortiffe},Artif。智力。26323--357(1985年;Zbl 1134.68530) 全文: 内政部
沃沃丁,V.V。(编辑) 计算机体系结构和计算方法。科学著作集。(Arkhitektura EhVM i chislennye metody,Sbornik nauchnykh trudov) (俄语) Zbl 0706.68009号 莫斯科:Otdel Vychislitel’noj Matematiki AN SSSR。《p.R.1.00》第170页(1985年)。 审核人:J·沃·尼亚克 MSC公司:68-06 65年第68季度 68米01 42B10型 2006年10月15日 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Voevodin}(编辑),Arkhitektura EhVM i chislennye metody。Sbornik nauchnykh trudov(俄语)。莫斯科:Otdel Vychislitel’noj Matematiki AN SSSR(1985;Zbl 0706.68009)
莱瓦尔迪,S。(编辑) 并行图像处理的集成技术。 (英语) 兹伯利0816.68133 伦敦等:学术出版社。X、 236页(1985年)。 审核人:D.Kövari(布凯什蒂) MSC公司:68单位10 68-06 PDF格式BibTeX公司 XML格式引用 \textit{S.Levialdi}(编辑),并行图像处理集成技术。伦敦等:学术出版社(1985;Zbl 0816.68133)
亚瑟·雨果(Arthur Hugo Veen) 误解的分号。协调命令式语言和数据流机器。普罗夫施里夫。 (英语) Zbl 0825.68445号 埃因霍温:技术学院,XII,176页(1985)。MSC公司:65年第68季度 68-02 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Veen},错误的分号。协调命令式语言和数据流机器。普罗夫施里夫。埃因霍温:技术学院(1985;Zbl 0825.68445)
瓦拉赫,Y。 交替顺序/并行处理。(Posledovatel‘no-parallel’ye vychisleniya)。Transl.公司。来自英国。(Posledovatel‘no-parallel’ye vychisleniya) (俄语) Zbl 0674.68007号 莫斯科:和平号。456 p.R.2.30(1985年)。MSC公司:68N99型 第68页第25页 65-04 15-04 35-04 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wallach},Posledovatel“非平行”ye vychiseleniya(俄语)。Transl.公司。来自英国。莫斯科:米尔(1985;Zbl 0674.68007)
尼克劳斯·沃思 算法和数据结构。(算法\(+\)struktury dannykh-程序)。Transl.公司。来自英国。(算法+结构dannykh程序。) (俄语) Zbl 0674.68005号 Matematicheskoe Obespechenie EhVM公司。莫斯科:和平号。406 p.R.1.70(1985年)。MSC公司:68-02 68页第10页 68第05页 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{N.Wirth},Algoritmy+struktury dannykh-programmy(俄语)。Transl.公司。来自英国。莫斯科:米尔(1985;Zbl 0674.68005)
克里斯汀·迈克尔·哈曼 在LISP的das Programmieren中的Einführung。(LISP编程简介)。Mit e.Anhang“LISP-Dialekte für个人计算机”。第二版,扩展版。 (德语) Zbl 0667.68002号 德格鲁伊特·勒布赫。柏林等:de Gruyter。第343页(1985年)。MSC公司:68-01 68号01 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Hamann},Einführung在LISP的das Programmieren中。(LISP编程简介)。Mit e.Anhang“LISP-Dialekte für个人计算机”。第二版,柏林等:de Gruyter(1985;Zbl 0667.68002)
沃尔夫冈·斯皮斯(Wolfgang E.Spiess)。;弗里德里希·莱因根斯(Friedrich G.Rheingans)。 基于FORTRAN 77的FORTRAN编程简介。第7版,扩展版。(Einführung在FORTRAN中的das Programmieren auf der Grundlage von FORTRAN77。) (德语) Zbl 0667.68003号 德格鲁伊特·勒布赫。柏林等:de Gruyter。第250页(1985年)。MSC公司:68-01 PDF格式BibTeX公司 XML格式引用 \textit{W.E.Spiess}和\textit{F.G.Rheingans},Einführung,《FORTRAN》中的《Programmieren》,《Grundlage von FORTRAN77》。第7版,柏林等:de Gruyter(1985;Zbl 0667.68003)
狄奥尼西奥斯·齐克里蒂斯。(编辑) 办公自动化。概念和工具。 (英语) Zbl 0825.68129号 信息系统主题。柏林:Springer-Verlag。十二、 第441页(1985年)。MSC公司:68-06 68单位15 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{D.C.Tsichritzis}(编辑),办公自动化。概念和工具。柏林:Springer-Verlag(1985;Zbl 0825.68129)
Preparia,Franco P。;迈克尔·沙莫斯。 计算几何。引言。 (英语) 兹伯利0759.68037 计算机科学的文本和专著。纽约等:施普林格出版社。十四、 第398页(1985年)。 审核人:H.D.Hecker(耶拿) MSC公司:68-01 65年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{F.P.Prepartia}和\textit{M.I.Shamos},计算几何。引言。纽约等:Springer-Verlag(1985;Zbl 0759.68037)
安德鲁·帕莱。 用概率搜索。 (英语) Zbl 0668.68113号 人工智能研究笔记,3。波士顿-朗登-墨尔本:皮特曼高级出版计划。八、 192页。;£17.95 (1985). 审核人:F.T.布鲁斯 MSC公司:68T20型 68页第10页 68-02 91A35型 90B50型 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Palay},用概率搜索。伦敦等:皮特曼出版社(1985;Zbl 0668.68113)
乔治·斯莫莱克;马丁·威森博克 编程语言PL/1的基础。(Grundlagen der Programmiersprache PL/1) (德语) Zbl 0816.68029号 海德堡:Hüthig Verlag。150页(1985年)。MSC公司:68甲15 68-01 68号01 PDF格式BibTeX公司 XML格式引用 \textit{G.Smolek}和\textit{M.Weissenboeck},Grundlagen der Programmiersprache PL/1。海德堡:Hüthig Verlag(1985;Zbl 0816.68029)
Diederich Wermser公司 基于视觉系统分析的自动纹理评价。(视觉系统分析基础自动化文本) (德语) Zbl 0752.68072号 Fortschritt-Berichte VDI公司。Reihe 10,Informatik/Kommunikationstechnik。46.杜塞尔多夫:VDI Verlag。四、 108页(1985年)。 审核人:G.斯坦克(柏林) MSC公司:68吨10 68-02 PDF格式BibTeX公司 XML格式引用 \textit{D.Wermser},《视觉系统分析基础自动化》。杜塞尔多夫:VDI Verlag(1985;Zbl 0752.68072)
哈拉尔德·卢茨 逻辑设计算法及其在工作站上的有效实现。(Algorithmen für den logischen Entwurf und ihre effiziente实现了Arbeitsplatzrechnern。) (德语) Zbl 0811.68002号 Fortschritt-Berichte VDI公司。Reihe 10,Informatik/Kommunikationstechnik。43.杜塞尔多夫:VDI Verlag。九、 206页(1985年)。 MSC公司:68-01 68宽15 68兰特 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Lutz},逻辑算法Entwurfür den logischen Entwurf and ihre efficiziente Implementierung auf Arbeitsplatztechnern。杜塞尔多夫:VDI Verlag(1985;Zbl 0811.68002)
赫尔曼·Härtig 关于从高级编程语言的程序开始构建专门的计算系统。(例如Konstruktion spezialisierter Rechensysteme aus Programmen höherer Programmiersprachen。) (德语) Zbl 0811.68003号 Fortschritt-Berichte VDI公司。Reihe 10,Informatik/Kommunikationstechnik。39.杜塞尔多夫:VDI Verlag。71页(1985年)。 MSC公司:68-01 68M99型 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{H.Härtig},u ber die Konstruktion spezialisierter Rechensysteme aus Programmen Höherer Programmiersprachen。杜塞尔多夫:VDI Verlag(1985;Zbl 0811.68003)
Kondrat’ev,A.I。 自动分类和识别信息系统。 (英语。俄文原件) Zbl 0779.68071号 J.索夫。数学。 60,第2期,1407-1410(1992); 翻译自Din.Sist。,基辅4,96-101(1985)。MSC公司:68吨10 68第20页 第68页,共15页 PDF格式BibTeX公司 XML格式 全文: 内政部
埃尔肖夫,A.P。(编辑);斯科德夫,D。(编辑) 编程的数学理论。苏联联邦科学著作集。(Matematicheskaya teoriya项目mirovaniya。Sovetsko-bolgarskij sbornik nauchnykh trudov。) (俄语) Zbl 1081.68504号 新西伯利亚(苏联):Vychislitel’nyj Tsentr SO AN SSSR。176页(1985年)。MSC公司:68-06 03-06 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Ershov}(编辑)和\textit{D.Skordev}(编辑),Matematicheskaya teoriya programmirovaniya。Sovetsko bolgarskij sbornik nauchnykh trudov(俄语)。新西伯利亚(苏联):Vychislitel'nyj Tsentr SO AN SSSR(1985年;兹bl 1081.68504)
Ajlamazyan,A.K。;M.M.吉卢拉。 信息机基础语言的设计。 (英语。俄文原件) Zbl 0709.68513号 苏联。物理。,多克。 30, 14-16 (1985); 翻译自Dokl。阿卡德。Nauk SSSR 280、309-313(1985)。MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Ajlamazyan}和\textit{M.Gilula},Sov。物理。,多克。30、14-16(1985;Zbl 0709.68513);翻译自Dokl。阿卡德。诺克SSSR 280,309--313(1985)
A.K.普拉托夫。 时滞排队系统控制的自动机模型。 (英语。俄文原件) Zbl 0688.90030号 苏联。J.计算。系统。科学。 23,第2号,63-68(1985); 翻译自Izv。阿卡德。Tekh Nauk SSSR公司。基伯恩。1984年,第6期,94-99(1984)。MSC公司:90B22型 60K25码 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Pulatov},苏联。J.计算。系统。科学。23,No.2,63--68(1985;Zbl 0688.90030);翻译自Izv。阿卡德。Tekh Nauk SSSR公司。基伯恩。1984年,第6期,94-99(1984)
第六届控制系统和计算机科学国际会议,罗马尼亚布加勒斯特,1985年5月22日至25日。预印本。第一卷至第三卷。 (英语) Zbl 0682.93002号 布加勒斯特:布加勒斯坦理工学院,控制与计算机系。第一卷:第七卷,460页。;第二卷:第六卷,442页。;第三卷:第三卷,139页(1985年)。MSC公司:93-06 00亿Bxx 68-06 PDF格式BibTeX公司 XML格式
特鲁宾,V.A。 平面上具有直线度量的Steiner问题的一个子类。 (英语。俄文原件) Zbl 0681.68075号 控制论 21, 320-324 (1985); 译自Kibernetika 1985,第3期,37-40(1985)。MSC公司:68平方米 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Trubin},《控制论》21,320-324(1985;Zbl 0681.68075);译自Kibernetika 1985,第3期,37-40(1985) 全文: 内政部
N.A.利霍拉特。 关于用增长或树覆盖图问题的代数算法。 (俄语) Zbl 0679.05057号 非线性问题的解决方法和数据处理,收集。科学。Works,第聂伯罗彼得罗夫斯克,1985,136-138(1985)。MSC公司:05C70号 05二氧化碳 68兰特 PDF格式BibTeX公司 XML格式
J.B.卡丹。;Wasilkowski,G.W。 平均情况——计算机科学中的复杂性——贝叶斯观点。 (英语) Zbl 0678.68040号 贝叶斯统计2,Proc。第二届国际会议。,巴伦西亚/西班牙1983,361-374(1985)。MSC公司:65年第68季度 2015年1月62日 PDF格式BibTeX公司 XML格式
德内科,V.G。 旅行商问题指数邻域最优解的多项式搜索算法。 (俄语) Zbl 0676.90090号 非线性问题的解决方法和数据处理,收集。科学。作品,第聂伯罗彼得罗夫斯克1985,82-86(1985)。MSC公司:90立方厘米 90立方厘米 65年第68季度 90C27型 65千5 PDF格式BibTeX公司 XML格式
T.A.Burdyuk。;维贡斯卡娅,V.V。 关于带阻塞的三台机器问题的近似解的一种方法。 (俄语) Zbl 0676.90028号 非线性问题的解决方法和数据处理,收集。科学。Works,第聂伯罗彼得罗夫斯克,1985,40-44(1985)。MSC公司:90B35型 65年第68季度 PDF格式BibTeX公司 XML格式
迪迪埃·杜布瓦;亨利·普拉德 可能性分析。信息含义的应用。Avec la collab公司。de Henri Farreny、Roger Martin-Clouaire和Claudette Testemale。 (法语) Zbl 0674.68059号 Méthode+计划。巴黎等:马森。七、 248页(1985年)。 审核人:G.朱马里 MSC公司:68T99型 68第20页 68-02 94D05型 PDF格式BibTeX公司 XML格式
潘,V.Y。 线性代数中矩阵乘法和相关计算的位复杂性。分段的(lambda)算法。 (英语) Zbl 0674.68027号 计算。数学。申请。 11,第9期,919-928(1985).MSC公司:68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Y.Pan},计算。数学。申请。11、919--928(1985;Zbl 0674.68027) 全文: 内政部
T·福村。;Y.稻垣祯一。 自动机、形式语言和计算。第2版。 (日语) Zbl 0666.68001号 岩手县, 6. 东京:Iwanami Shoten出版社。八、 235页(1985年)。MSC公司:68-01 65年第68季度 2005年第68季度 68T50型 05年3月 03日第10天 2015年3月1日 PDF格式BibTeX公司 XML格式
A.G.库什尼伦科。;瓦尔桑诺夫。;Dymchenko,A.G。;列别捷夫,G.V。 实用编程。对话系统的设计和阐述。非常规方法。(Prakticheskoe程序mirovanie。Proektirovanie i razrabotka dialogovykh sismem。Netraditionnyj podkhod)。 (俄语) Zbl 0663.68002号 莫斯科:莫斯科大学伊兹datel’stvo Moskovskogo Universiteta。88页。;R.0.15(1985)。 审核人:于。M.沃洛欣 MSC公司:68-01 第68页第25页 68号01 PDF格式BibTeX公司 XML格式
托马斯·马德伦。;泰特·C·尼尔;罗伯特·G·布鲁克郡。 在研究中使用微型计算机。 (英语) Zbl 0663.68001号 圣哲大学社会科学定量应用系列论文,编号07-052。Beverly Hills-London新德里:Sage出版社。87页。;£5.50 (1985). 审核人:M.斯捷潘诺娃 MSC公司:68-01 68N99型 62-07 68单位99 PDF格式BibTeX公司 XML格式
谢尔久科夫,A.I。 旅行商问题的带估计的多项式算法。 (俄语) 兹比尔0662.90084 Graphen und Netzwerke-理论与实践,30岁。国际威斯康辛州。科洛克。,《伊尔梅诺1985》,《赫夫特》第5卷,第105-108页(1985年)。MSC公司:90立方厘米 65年第68季度 90立方厘米 65千5 PDF格式BibTeX公司 XML格式
迈克尔·沃特曼(Michael S.Waterman)。 图片比较的动态编程算法。 (英语) Zbl 0659.68110号 高级应用程序。数学。 6, 129-134 (1985).MSC公司:68吨10 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Waterman},高级应用程序。数学。6、129--134(1985年;Zbl 0659.68110) 全文: 内政部
斯坦·瓦贡 垃圾桶包装。 (英语) Zbl 0659.68070号 数学。智力。 7,第4号,65-68(1985).MSC公司:65年第68季度 68卢比99 05B40号 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{S.货车},数学。智力。7,第4号,65-68(1985;Zbl 0659.68070) 全文: 内政部
Rychkov,K.L。 对Khrapchenko方法的改进及其在码函数(Pi)-格式复杂性估计中的应用。 (俄语) Zbl 0659.68064号 Metody Diskretn公司。分析。 42, 91-98 (1985).MSC公司:65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{K.L.Rychkov},Metody磁盘。分析。42,91-98(1985年;兹bl 0659.68064)
阿兰·德塞耶斯 Calcul符号和信息。计算数字和计算量。基础课程。符号计算和信息学.从数值计算到代数计算。 (法语) Zbl 0659.68055号 Méthode+计划。巴黎等:马森。十二、 172页(1985年)。 审核人:D.格里戈拉什 MSC公司:68瓦30 65-04 65千5 68-01 PDF格式BibTeX公司 XML格式
勒·维兰德(D.Le Verrand)。 评估Ada。Transl.公司。J.Howlett的《来自法国》。 (英语) Zbl 0659.68004号 牛津:北牛津学院。七、 第288页(1985年)。 审核人:G.格里加斯 MSC公司:68-02 68号01 PDF格式BibTeX公司 XML格式
理查德·科尔夫(Richard E.Korf)。 学习通过寻找宏观经营者来解决问题。 (英语) Zbl 0658.68112号 人工智能研究笔记,5。波士顿-朗登-墨尔本:皮特曼高级出版计划。七、 147页。;£15.95 (1985). 审核人:L.šerbţna \355]i MSC公司:68T20型 68T05型 PDF格式BibTeX公司 XML格式
长谷川,Toshiharu(编辑) 排队理论及相关主题。1985年3月18日至19日在京都大学数学科学研究所举行的研讨会论文集。 (日语) Zbl 0658.60008号 RIMS Kokyuroku公司, 564. 京都:京都大学,数学科学研究所。三、 第262页(1985年)。MSC公司:60-06 60K25码 90B22型 68-06 00B25型 PDF格式BibTeX公司 XML格式
马塞尔·施滕贝格(Marcel Schützenberger) 计算机科学和数学。 (保加利亚语。法语原件) Zbl 0658.01014号 菲兹-Mat.Spis公司。 27(60), 319-323 (1985); C.R.Acad.翻译。科学。,巴黎,Sér。盖恩。,《科学观点》。1, 175-179 (1984).MSC公司:01A60型 68-03 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schützenberger},菲兹-Mat.Spis公司。27(60),319--323(1985;Zbl 0658.01014);C.R.Acad.翻译。科学。,巴黎,Sér。盖恩。,《科学观点》。1, 175--179 (1984)
塞利姆·G·阿克尔。 并行排序算法。 (英语) Zbl 0657.68070号 计算机科学和应用数学笔记和报告, 12. 奥兰多等:学术出版社(Harcourt Brace Jovanovich,出版商)。十三、 229页;$26.00 (1985). 审核人:W.詹科 MSC公司:68页第10页 68-02 68N99型 PDF格式BibTeX公司 XML格式
Belyj,S.B.公司。 使用电子计算机解决Ramsey图理论中的一些组合问题。 (俄语) Zbl 0657.05057号 Kibernetika岛 1985年,第2期,116-118(1985).MSC公司:05元55分 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Belyj},Kibernetika 1985,第2期,116--118(1985;Zbl 0657.05057)
卡拉什尼科夫。;利特维年科,V.A。 关于图的团族的确定问题。 (俄语) Zbl 0657.05039号 Graphen und Netzwerke-Theorye und Anwendungen,第30页。内部宽度。科洛克。,《伊勒梅瑙》1985,《赫夫特》5,41-44(1985)。MSC公司:05C35号 05-04 68兰特 PDF格式BibTeX公司 XML格式
加罗德·博尔斯(Garold J.Borse)。 FORTRAN 77适用于工程师。 (英语) Zbl 0656.68003号 波士顿:PWS Engineering.XVII,420 p。;£13.95 (1985). 审核人:F.霍夫曼 MSC公司:68-01 PDF格式BibTeX公司 XML格式
加罗德·博尔斯(Garold J.Borse)。 FORTRAN 77和工程师的数值方法。 (英语) 兹比尔0656.68002 波士顿:PWS工程。XIV,656页。;14.95英镑(1985年)。 审核人:F.霍夫曼 MSC公司:68-01 65-01 PDF格式BibTeX公司 XML格式
销,J.E。 各种正式语言。(法语翻译)。 (英语) Zbl 0655.68095号 牛津:北牛津学院。150页(1985年)。MSC公司:65年第68季度 20立方米 68-02 70年第68季度 2005年5月20日 2007年7月20日 PDF格式BibTeX公司 XML格式
科尔,A.J。 关于皮亚诺多边形和格雷码的注释。 (英语) Zbl 0655.68092号 国际期刊计算。数学。 18,第1号,3-13(1985).MSC公司:68卢比99 94B40码 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Cole},国际计算机杂志。数学。18,No.1,3--13(1985;Zbl 0655.68092) 全文: 内政部
J.帕洛。;R·拉卡。 关于生成A阶和B阶二叉树的注记。 (英语) Zbl 0655.68080号 国际期刊计算。数学。 18,第1号,27-39(1985).MSC公司:68兰特 68第05页 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.Pallo}和\textit{R.Racca},国际计算机学会。数学。18,编号1,27--39(1985;Zbl 0655.68080) 全文: 内政部
托马斯·奥特曼;彼得·维德迈尔;伍德,德里克 一种最坏情况下有效的隐藏线消除算法。 (英语) Zbl 0655.68047号 国际期刊计算。数学。 18,第2期,93-119(1985).MSC公司:65年第68季度 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{T.Ottmann}等人,《国际计算杂志》。数学。18,No.2,93--119(1985;Zbl 0655.68047) 全文: 内政部
卡拉比达塔 Cholesky分解和QR分解的并行复杂性和计算。 (英语) Zbl 0655.68038号 国际期刊计算。数学。 18,第1号,67-82(1985).MSC公司:65年第68季度 65楼30 2005年5月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{K.Datta},国际计算杂志。数学。18,编号1,67--82(1985;Zbl 0655.68038) 全文: 内政部
帕特里克·库索特;拉迪亚·库索特 “A la Floyd”归纳原则,用于证明程序的必然性。 (英语) Zbl 0655.68020号 语义代数方法,塞明。枫丹白露/法国1982,277-312(1985)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
丹尼尔·马丁 技术先锋为多内斯注入基础。(高级数据库技术)。 (法语) Zbl 0654.68002号 Dunod Informatique公司。巴黎:博尔达斯。XVII、 364页。;FF 180.00(1985年)。MSC公司:68-01 68第20页 68第05页 PDF格式BibTeX公司 XML格式
沃伊切赫·科瓦尔奇克 关于算法上某些操作的有效性。 (英语) Zbl 0654.03028号 计算理论,Proc。第五交响曲。,扎博罗w/Pol。1984年,Lect。注释计算。科学。208, 127-133 (1985).MSC公司:2015年3月1日 03D20日 65年第68季度 PDF格式BibTeX公司 XML格式
理查德·帕维尔(编辑) 计算机代数的应用。1984年8月26日至27日在宾夕法尼亚州费城举行的科学计算中符号代数操作研讨会上的论文。 (英语) Zbl 0653.65004号 马萨诸塞州波士顿:Kluwer-Nijhoff出版社。十、 第433页。;£59.95 (1985).MSC公司:65-06 00亿Bxx 68-06 00A79号 PDF格式BibTeX公司 XML格式
沃罗诺夫,A.A。;Rutkovskij,V.Yu。 自适应系统的现状和发展前景。 (俄语) Zbl 0652.93030号 沃普。基伯恩。,莫斯科。 59, 5-48 (1985). 审核人:V.雅库波维奇 MSC公司:93C40型 93-02 93亿B50 90C52型 68T05型 93B35型 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Voronov}和\textit{V.Yu.Rutkovskij},Vopr。基伯恩。,莫斯科。59,5-48(1985年;兹bl 0652.93030)
J·恶魔。(编辑);E.戈尔斯。(编辑);Tchuente,M。(编辑) 动力系统和细胞自动机。1983年9月13日至17日在法国卢米尼举行的会议记录。 (英语) Zbl 0652.68009号 伦敦-纽约:学术出版社(Harcourt Brace Jovanovich,出版商)。十五、 399页;$39.50 (1985).MSC公司:68-06 00B25型 92-06 37A99型 PDF格式BibTeX公司 XML格式
布德根,D。 使用UNIX。 (英语) Zbl 0652.68001号 伦敦:爱德华·阿诺德。七、 194页(1985年)。 审核人:H.Kröger先生 MSC公司:68-01 第68页第25页 PDF格式BibTeX公司 XML格式
塞拉菲诺·阿莫罗佐;乔治·英加吉奥拉 Ada:介绍程序设计和编码。 (英语) Zbl 0649.68005号 波士顿等:皮特曼。九、 第353页。;£19.95 (1985). 审核人:V.阿拉德耶夫 MSC公司:68-01 68号01 PDF格式BibTeX公司 XML格式
大卫·D·姚。 细化M/G/M队列的扩散近似。 (英语) 兹比尔0649.60101 操作。物件。 33, 1266-1277 (1985).MSC公司:60K25码 90B22型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Yao},Oper(操作人员)。第33号决议,第1266号决议——第1277号决议(1985年;Zbl 0649.60101) 全文: 内政部
伯杰,P。;大德,M。;弗拉布尔,中国。 经验丰富的并行算法为MIMD体系结构注入了活力。使用异步方法。(MIMD体系结构数值算法并行化的经验。异步方法的使用)。 (法语) Zbl 0648.73038号 里奇。Aérosp。 1985, 325-340 (1985).MSC公司:74K99型 74-04 2005年5月 74S30型 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.Berger}等人,Rech。埃罗斯普。1985年,325--340(1985年;Zbl 0648.73038)
乔治·克莱尔。 系统问题解决架构。 (英语) Zbl 0648.68105号 纽约-伦敦:Plenum出版社。十六、 540页;$75.00 (1985).MSC公司:68T20型 93-01 PDF格式BibTeX公司 XML格式
莫罗霍夫茨,M.K。 寻求演绎程序和传递关系。 (英语。俄文原件) Zbl 0648.68097号 控制论 21702-708(1985年); 翻译自Kibernetika 1985,编号5111-115(1985)。 审核人:V.Ja'kl公司 MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Morokhovets},控制论21,702--708(1985;Zbl 0648.68097);译自Kibernetika 1985,No.5,111-115(1985) 全文: 内政部
Unland,雷纳 Optimistische Synchronisationsverfahren und ihre Leistungsfähigkeit im Vergleich zu Sperrverfahren。(与锁定相比,同步过程及其性能更为乐观)。 (德语) Zbl 0648.68025号 哈根(FRG):费努尼夫。哈根,Fachbereich Mathematik und Informatik,Diss。223 S.(1985)。 审核人:R.Unland公司 MSC公司:68第05页 68第20页 第68页第25页 PDF格式BibTeX公司 XML格式
北太平洋特列夫诺夫。;格罗米科,V.I。 ES-计算机自动代码中的编程。教科书。(Programmirovanie na avtocode EC EhVM)。 (俄语) Zbl 0648.68006号 莫斯科:瑙卡。504 p.R.1.40(1985年)。 审核人:O.谢尔比纳 MSC公司:68-01 PDF格式BibTeX公司 XML格式
Z.A.日特尼科娃。 在程序逻辑的层次结构上。 (俄语) Zbl 0648.03020号 代数结构理论,收藏。科学。Works,卡拉干达1985年,40-45(1985)。 审核人:G.薄荷 MSC公司:03B70号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式
陈,M.-L。;弗朗西斯,R.L。;J.F.劳伦斯。;T·J·洛。;南图菲科奇。 块-向量对偶和单中值问题。 (英语) Zbl 0647.90031号 网络 15,第4号,395-412(1985).MSC公司:90B05型 05二氧化碳 90立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Chen}等人,Networks 15,395--412(1985;Zbl 0647.90031) 全文: 内政部
弗朗索瓦斯·安德烈;丹尼尔·赫尔曼;Jean-Pierre,Verjus 并行程序的同步。Transl.公司。J.Howlett的《来自法国》。 (英语) Zbl 0647.68002号 计算机科学研究。牛津:北牛津学院。十、 110页(TIB:FN 2601)(1985年)。 审核人:前言 MSC公司:68-01 第68页第25页 68N99型 PDF格式BibTeX公司 XML格式
克里沃伊,S.L。 组合群论某些算法的效率。 (英语。俄文原件) Zbl 0647.20015号 控制论 21, 284-292 (1985); 译自Kibernetika 1985,第3期,9-14(1985)。MSC公司:20E05年 20-04 68瓦30 65年第68季度 20F05型 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Krivoj},控制论21,284--292(1985;Zbl 0647.20015);Kibernetika 1985年第3、9-14号译本(1985年) 全文: 内政部
威廉·坎宁安。 关于子模函数最小化。 (英语) Zbl 0647.05018号 组合数学 5, 185-192 (1985).MSC公司:05年8月99日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Cunningham},组合数学5,185--192(1985;Zbl 0647.05018) 全文: 内政部
萨默维尔,I。 软件工程,第2版。 (英语) Zbl 0646.68003号 国际计算机科学系列。伦敦等:Addison-Wesley出版公司。318页(1985年)。MSC公司:68-01 68号01 PDF格式BibTeX公司 XML格式
Fan R.K.钟。;迈克尔·R·加里。;Robert E.Tarjan。 混合多重图的强连通方向。 (英语) Zbl 0645.90097号 网络 15,第4期,477-484(1985).MSC公司:90立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.R.K.Chung}等人,Networks 15,477--484(1985;Zbl 0645.90097) 全文: 内政部
科姆洛斯,贾诺斯;Shing,M.T.(麻省理工)。 直线Steiner问题的概率划分算法。 (英语) Zbl 0645.90096号 网络 15,第4期,413-423(1985).MSC公司:90立方厘米 65年第68季度 90B05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Komlós}和\textit{M.T.Shing},网络15413-423(1985;Zbl 0645.90096) 全文: 内政部
布赫伯格,布鲁诺 关于解决多元多项式系统相关问题的Gröbner基方法的综述。 (英语) Zbl 0645.68057号 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 69-83 (1985).MSC公司:68瓦30 13层20 12-04 13-04 13甲15 2011年9月 PDF格式BibTeX公司 XML格式
劳伦斯·斯奈德(编辑);Leah H.杰米森。(编辑);丹尼斯·B·甘农。(编辑);霍华德·杰伊·西格尔(编辑) 算法专用的并行计算机。(基于1982年9月29日至10月1日在印第安纳州西拉斐特普渡大学举办的研讨会)。 (英语) Zbl 0645.68006号 奥兰多等:学术出版社(Harcourt Brace Jovanovich,出版商)。十三、 第252页(1985年)。MSC公司:68-06 00亿Bxx 68N99型 68单位99 2005年5月 PDF格式BibTeX公司 XML格式
巴鲁克·奥尔布奇 通过网络同步降低分布式最大流和宽度优先搜索算法的复杂性。 (英语) Zbl 0644.90033号 网络 15,第4期,425-437(1985).MSC公司:90B10型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Awerbuch},网络15,425--437(1985;Zbl 0644.90033) 全文: 内政部
A.普格。(编辑) 机器智能。第二届机器智能国际会议论文集,英国伦敦,1985年11月26-28日。 (英语) 兹比尔0644.68005 英国贝德福德肯普斯顿:IFS(出版)有限公司。;阿姆斯特丹:北荷兰(爱思唯尔科学出版社)。六、 412页;$94.75; 英国国防部。275.00 (1985). 审核人:N.Curteanu公司 MSC公司:68-06 68T99型 68单位99 00B25型 PDF格式BibTeX公司 XML格式
列夫·戈德法布 一种新的模式识别方法。 (英语) Zbl 0643.68131号 模式识别进展2,马赫。智力。模式识别1,241-402(1985)。MSC公司:68吨10 62H30型 PDF格式BibTeX公司 XML格式
大卫·R·斯托特迈尔。 多项式余数序列-重访最大公约数。 (英语) Zbl 0643.68042号 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 1-12 (1985).MSC公司:68瓦30 2005年12月 PDF格式BibTeX公司 XML格式
J.H.达文波特。 常微分方程的闭式解。 (英语) Zbl 0642.65059号 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 183-195 (1985).MSC公司:65升05 68瓦30 34A30型 PDF格式BibTeX公司 XML格式
Moritsugu,S。;Inada,N。;E.戈托。 符号牛顿迭代及其应用。 (英语) Zbl 0642.65030号 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 105-117 (1985).MSC公司:65小时05 68瓦30 PDF格式BibTeX公司 XML格式
张兆志 关于de Bruijn序列相关函数的进一步结果。 (英语) Zbl 0641.94013号 数学学报。申请。罪。,英语。序列号。 2, 257-262 (1985).MSC公司:94A99型 94B99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang},《数学学报》。申请。罪。,英语。序列号。2257--262(1985;Zbl 0641.94013) 全文: 内政部
洛伊,起亚福克;诺里塔卡·奥萨瓦;Eiichi后藤 用计算机代数生成电路仿真代码。 (英语) Zbl 0641.68168号 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 87-103 (1985).MSC公司:68平方英寸 94立方厘米 68瓦30 PDF格式BibTeX公司 XML格式
高桥索玛 REDUCE在RIKEN中的最新应用。 (英语) Zbl 0641.68053号 计算机符号和代数计算,第二届理工国际学术研讨会。,和光市/日本。1984年,序列号。计算。科学。2, 181-182 (1985).MSC公司:68瓦30 2005年5月 PDF格式BibTeX公司 XML格式
Anthony C.赫恩。 结构:改进代数计算的关键。 (英语) Zbl 0641.68052号 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 215-230 (1985).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式
Yun,David Y.Y。 面向符号数学知识库。 (英语) Zbl 0641.68051号 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 67 (1985).MSC公司:68瓦30 68T99型 PDF格式BibTeX公司 XML格式
杰德·马蒂。 解释在符号计算中的作用。 (英语) Zbl 0641.68050号 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 13-34 (1985).MSC公司:68瓦30 68T99型 68N99型 PDF格式BibTeX公司 XML格式
朱利安·帕吉特;惠誉,约翰 留置权的基本原理;经过考虑的LISP。 (英语) Zbl 0641.68049号 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 41-53 (1985).MSC公司:68瓦30 68号01 60年第68季度 PDF格式BibTeX公司 XML格式
艾达、铁雄 朝向并行简化架构。 (英语) Zbl 0641.68036号 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 85 (1985).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式
克拉克·T·J·W·。;A.C.诺曼。;斯托伊,W.R。 使用缓存加速SKIM列表处理器。 (英语) Zbl 0641.68008号 计算机符号和代数计算,第二届里肯国际交响乐团。,Wako-shi/日本。1984年,Ser。计算。科学。2, 197-204 (1985).MSC公司:68N99型 第68页第25页 PDF格式BibTeX公司 XML格式