罗宾·惠蒂 在最弱的前提条件下进行的练习。 (英语) Zbl 0757.68078号 牛市。EATCS公司 42, 195-197 (1990).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Whitty},公牛。EATCS 42195-197(1990年;兹bl 0757.68078)
托马斯·卡夫;尼古拉斯·扎贝尔 程序验证器的定理证明器塔佐蠕虫. (英语) Zbl 1509.68310号 Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 657-658 (1990).MSC公司:68伏15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Käufl}和\textit{N.Zabel},莱克特。注释计算。科学。449、657--658(1990年;Zbl 1509.68310) 全文: 内政部
Masami Hagiya 利用高阶统一性进行示例编程和示例证明。 (英语) Zbl 1509.68307号 Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 588-602 (1990).MSC公司:68伏15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Hagiya},莱克特。注释计算。科学。449588--602(1990年;Zbl 1509.68307) 全文: 内政部
威廉·皮尔斯 简化证明的机械方法。 (英语) Zbl 1509.68317号 Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 351-365 (1990).MSC公司:68伏15 68号30 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。449351-365(1990年;Zbl 1509.68317) 全文: 内政部
费尔蒂,艾米;戴尔·米勒 在逻辑编程语言中对依赖型演算进行编码。 (英语) Zbl 1509.68163号 Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 221-235 (1990).MSC公司:60年第68季度 03B40型 03B70号 68N17号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Felty}和\textit{D.Miller},莱克特。注释计算。科学。449、221--235(1990年;Zbl 1509.68163) 全文: 内政部
海塞尔,M。;莱夫·W·。;斯蒂芬·W·。 程序验证中的战术定理证明。 (英语) Zbl 1509.68165号 Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 117-131 (1990).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Heisel}等人,Lect。注释计算。科学。449、117--131(1990年;Zbl 1509.68165) 全文: 内政部
何继峰;C.A.R.霍尔。 编程语言的分类语义。 (英语) Zbl 1509.68035号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 402-417 (1990).MSC公司:68甲15 18立方厘米50 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Jifeng}和\textit{C.A.R.Hoare},莱克特。注释计算。科学。442402--417(1990年;Zbl 1509.68035) 全文: 内政部
鲍尔,A.J。 用于数据优化的代数公式。 (英语) Zbl 1509.68174号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 390-401 (1990).MSC公司:68问题65 18立方厘米 18D20天 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Power},莱克特。注释计算。科学。442390-401(1990年;兹比尔1509.68174) 全文: 内政部
安娜·帕兹托 “N+1次”证明了比“N次”更多的程序正确吗? (英语) Zbl 1509.68169号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 373-389 (1990).MSC公司:60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Pasztor},莱克特。注释计算。科学。442373-389(1990年;Zbl 1509.68169) 全文: 内政部
海兰德,J.M.E。;罗宾逊,E.P。;罗索里尼,G。 PER模型中的代数类型。 (英语) Zbl 1509.68049号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 333-350 (1990).MSC公司:68号30 03B40型 第68季度55 PDF格式BibTeX公司 XML格式引用 \文本{J.M.E.Hyland}等人,Lect。注释计算。科学。442333-350(1990年;Zbl 1509.68049) 全文: 内政部
帕南加登,普拉卡什;詹姆斯·罗素。 无界不确定性的分类理论语义。 (英语) Zbl 1509.68052号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 319-332 (1990).MSC公司:68号30 18立方厘米50 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Panangaden}和\textit{J.R.Russell},莱克特。注释计算。科学。442319-332(1990年;Zbl 1509.68052) 全文: 内政部
艾伦·斯托顿 PCF的等式完全抽象模型。 (英语) Zbl 1509.68054号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 271-283 (1990).MSC公司:68号30 03B40型 18立方厘米 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.斯托顿},莱克特。注释计算。科学。442、271--283(1990年;Zbl 1509.68054) 全文: 内政部
迈克尔·梅因(Michael G.Main)。;布莱克,大卫·L。 完全正确和公平的语义模型。 (英语) Zbl 1509.68050号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 247-270 (1990).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Main}和\textit{D.L.Black},莱克特。注释计算。科学。442247-270(1990年;Zbl 1509.68050) 全文: 内政部
Malmkjr,卡罗琳 关于反射塔中的一些语义问题。 (英语) Zbl 1509.68051号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 229-246 (1990).MSC公司:68号30 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Malmkjr},莱克托。注释计算。科学。44229--246(1990年;Zbl 1509.68051) 全文: 内政部
弗兰克·芬宁;克里斯汀·保林·莫林 构造演算中的归纳定义类型。 (英语) 兹比尔1509.68053 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 209-228 (1990).MSC公司:68号30 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{F.Pfenning}和\textit{C.Paulin-Mohring},莱克特。注释计算。科学。442209--228(1990年;Zbl 1509.68053) 全文: 内政部
吉姆·戴维斯;史蒂夫·施耐德 在定时CSP中分解证明。 (英语) Zbl 1509.68079号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 129-159 (1990).MSC公司:2010年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Davies}和\textit{S.Schneider},Lect。注释计算。科学。442、129--159(1990年;Zbl 1509.68079) 全文: 内政部
纳鸿·德肖维茨;密特拉,Subrata;西瓦库马尔,G。 条件AC理论中的方程求解。 (英语) Zbl 1493.68105号 Kirchner,Hélène(编辑)等人,《代数和逻辑编程》。第二届国际会议,1990年10月1日至3日,法国南希。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。463, 283-297 (1990).MSC公司:68号30 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人,Lect。注释计算。科学。463283--297(1990年;Zbl 1493.68105) 全文: 内政部 链接
法国贝勒加德 分类产品理论的匹配过程。 (英语) Zbl 1493.68100号 Kirchner,Hélène(编辑)等人,《代数和逻辑编程》。第二届国际会议,1990年10月1日至3日,法国南希。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。463, 270-282 (1990).MSC公司:68号30 18A30型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.Bellegarde},莱克特。注释计算。科学。463270--282(1990年;Zbl 1493.68100) 全文: 内政部
弗朗索瓦·布隆萨德;美国雷迪。 函数逻辑语言的公理化。 (英语) Zbl 1493.68055号 Kirchner,Hélène(编辑)等人,《代数和逻辑编程》。第二届国际会议,1990年10月1日至3日,法国南希。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。463, 101-116 (1990).MSC公司:68甲15 68N17号 68甲18 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{F.Bronsard}和\textit{U.S.Reddy},Lect。注释计算。科学。463101-116(1990年;兹bl 1493.68055) 全文: 内政部
约旦扎舍夫 对象上具有笛卡尔结构的单体范畴中的最小不动点。 (英语) Zbl 0812.18006号 上帝。索菲吉。法国大学。材料通知。 84(1993),第1期,23-42(1990).MSC公司:18日第10天 18天35分 60年第68季度 18立方厘米 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.扎舍夫},上帝。沙发。法国大学。材料通知。84,编号1,23--42(1990;Zbl 0812.18006)
Yu Golunkov。五、。 程序类型的功能系统中的完全模理想。 (英语。俄文原件) Zbl 0804.03029号 离散数学。申请。 2,第1号,59-68(1992); 从Diskretn翻译。材料2,编号2,112-120(1990)。MSC公司:03D20日 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Golunkov},离散数学。申请。2,编号1,1(1990年;Zbl 0804.03029);从Diskretn翻译。材料2,编号2,112-120(1990) 全文: 内政部
Nakao,Mitsuhiro T。 函数方程解存在性的数值验证方法。 (英语。日语原件) Zbl 0796.65089号 Sugaku博览会。 5,第1期,71-91(1992); 翻译自Sögaku 42,No.1,16-31(1990)。MSC公司:65升10 65升70 65G30型 34B15号机组 35J25型 65奈拉 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Nakao},Sugaku博览会。5,No.1,1(1990;Zbl 0796.65089);翻译自Sögaku 42,No.1,16-31(1990)
科林·D·沃尔特。;斯蒂芬·埃尔德里奇。 Brickell快速模乘算法的验证。 (英语) Zbl 0825.68373号 国际期刊计算。数学。 33,编号3-4,153-169(1990).MSC公司:68第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Walter}和\textit{S.E.Eldridge},国际计算机杂志。数学。33,编号3--4,153-169(1990;Zbl 0825.68373) 全文: 内政部
尼西姆·弗朗西兹 勘误:具有多方交互的分布式程序的合作证明。 (英语) Zbl 0800.68551号 Inf.流程。莱特。 35,No.5,275(1990).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez},Inf.流程。莱特。35,第5号,275(1990;Zbl 0800.68551) 全文: 内政部
Buj,D.B。;波戈斯扬。 最小合成语言MCL中合成的互不可导性。 (英语。俄文原件) Zbl 0800.68280号 控制论 26,No.1,43-46(1990); 译自Kibernetika 1990,No.1,37-39(1990)。MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Buj}和\textit{V.Pogosyan},控制论26,No.1,43-46(1990;Zbl 0800.68280);译自Kibernetika 1990,No.1,37-39(1990)
I.V.卡萨基纳。;科瓦列夫,A.L。;埃尔肖夫,S.V。 R模式的公理语义和图形程序的验证。 (英语。俄文原件) Zbl 0800.68548号 控制论 第26页,第1期,22-31页(1990年); 译自Kibernetika 1990,No.1,21-27(1990)。MSC公司:60年第68季度 第68季度55 68甲15 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Kasatkina}等人,《控制论》第26卷第1期,第22-31页(1990年;Zbl 0800.68548);译自Kibernetika 1990,No.1,21-27(1990)
戈德列夫斯基,A.B。;Yu Kapitonova。五、。;克里沃伊,S.L。;Letichevskij,A.A。 程序分析等式和不等式的迭代方法。 (英语。俄文原件) Zbl 0800.68549号 控制论 26,第3号,307-318(1990); 译自Kibernetika 1990,No.3,1-10,104(1990)。MSC公司:60年第68季度 68问题65 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Godlevskij}等人,《控制论》26,第3期,307--318(1990;Zbl 0800.68549);译自Kibernetika 1990,No.3,1--10,104(1990) 全文: 内政部
Drobushevich,G.A.公司。;K.A.祖博维奇。 功能程序的自动验证。 (英语。俄文原件) Zbl 0800.68565号 控制论 26,第4期,491-502(1990); 译自Kibernetika 1990年,第4期,30-39页(1990年)。MSC公司:65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Drobushevich}和\textit{K.A.Zubovich},控制论26,第4期,491--502(1990;Zbl 0800.68565);译自Kibernetika 1990,No.4,30-39(1990) 全文: 内政部
谢尔盖·柯托夫。 \(\西格玛^+\)程序的操作解释\(r)-程序及其语义。 (俄语) Zbl 0792.68097号 维奇尔。西斯特。 135, 160-184 (1990).MSC公司:60年第68季度 03B70号 第68季度55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Kotov},维奇尔。修女。135、160--184(1990年;Zbl 0792.68097)
谢尔盖·柯托夫。 (Sigma^+)程序的操作解释。过程的语言。 (俄语) Zbl 0792.68098号 维奇尔。西斯特。 135, 131-159 (1990).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Kotov},维奇尔。修女。135、131--159(1990年;Zbl 0792.68098)
阿查索娃,S.M。;O.L.班德曼。 并行计算过程的正确性。编辑:N.N.Mirenkov。(Korrektnost“平行”ykh vychislitel“ykh protessov。) (俄语) Zbl 0783.68006号 新西伯利亚:瑙卡。第253页(1990年)。 审核人:A.V.阿尼西莫夫(基辅) MSC公司:68-02 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Achasova}和\textit{O.L.Bandman},Korrektnost‘parallel'nykh vychislitel'nykh protessov(俄语)。新西伯利亚:瑙卡(1990;Zbl 0783.68006)
Wee,Nam-Sook公司 计算机软件的最佳维护计划。 (英语) Zbl 1134.90532号 普罗巴伯。工程信息科学。 4,No.2,243-255(1990).MSC公司:90立方厘米 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.-S.Wee},Probab(概率)。工程信息科学。4,第2号,243--255(1990;Zbl 1134.90532) 全文: 内政部
赫伯特·克拉伦 Vom问题zum程序。Eine Einführung在die Informatik中。(从问题到程序。计算机科学导论。)。 (德语) Zbl 0743.68005号 Leitfäden und Monographien der Informatik公司。斯图加特:B.G.Teubner Verlag。第228页(1990年)。 审核人:R.Horsch(马克多夫) MSC公司:68-01年 68号01 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaeren},Vom Problem zum Programm。Eine Einführung在die Informatik中。(从问题到程序。计算机科学导论。)。斯图加特:B.G.Teubner Verlag(1990;Zbl 0743.68005)
肯·萨卡穆拉(编辑) 1990年TRON项目。开放式体系结构计算机系统。第七届TRON项目研讨会会议记录,1990年,日本东京。 (英语) Zbl 0810.68046号 东京等地:施普林格-弗拉格。十一、 第436页(1990年)。MSC公司:68-06 68M99型 60年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{K.Sakamura}(编辑),TRON Project 1990。开放式体系结构计算机系统。第七届TRON项目研讨会会议记录,1990年,日本东京。东京等:Springer-Verlag(1990;Zbl 0810.68046)
安东尼·迪勒 Z.形式方法简介。 (英语) Zbl 0729.68044号 奇切斯特等:John Wiley&Sons。二十一、 第309页(1990年)。 审核人:H.基洛夫(莫里斯敦) MSC公司:60年第68季度 65年第68季度 68号01 68-01年 PDF格式BibTeX公司 XML格式引用 \textit{A.Diller},Z.形式方法简介。奇切斯特等:约翰·威利父子(1990;Zbl 0729.68044)
电话,Gerard 分布式算法主题。 (英语) 兹比尔0755.68062 剑桥国际并行计算系列. 1. 英国剑桥等:剑桥大学出版社。十、 240页(1990年)。 审核人:B.扎达赫 MSC公司:68宽15 68-01年 PDF格式BibTeX公司 XML格式引用 \textit{G.Tel},分布式算法主题。英国剑桥等:剑桥大学出版社(1990;Zbl 0755.68062)
Frank Markham布朗 布尔推理。布尔方程的逻辑。 (英语) Zbl 0719.03002号 马萨诸塞州波士顿等:Kluwer学术出版社。第十八章,第273页(1990年)。MSC公司:03-01 05年3月 06E30年 94立方厘米 03-04 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Brown},布尔推理。布尔方程的逻辑。马萨诸塞州波士顿等:Kluwer学术出版社(1990;Zbl 0719.03002)
沃尔夫·齐默尔曼 功能程序的自动复杂性分析。(Automatische Komplexitätsanalysis funktionaler Programme) (德语) Zbl 0802.68080号 信息-Fachberichte. 261. 柏林等:Springer-Verlag。卡尔斯鲁厄:TH Karlsruhe,194 p.(1990)。MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.Zimmermann},Automatische Komplexitätsanalysis funktionaler Programme公司。柏林等:斯普林格·弗拉格;卡尔斯鲁厄:TH Karlsruhe(1990;Zbl 0802.68080)
大卫·勒克姆 使用规范进行编程。介绍ANNA,一种用于指定阿达程序的语言。 (英语) Zbl 0729.68007号 计算机科学的文本和专著。纽约等地:Springer-Verlag。十六、 416 p.DM 98.00(1990年)。 审核人:G.Schmidt(纽比堡) MSC公司:68甲15 60年第68季度 68-01年 PDF格式BibTeX公司 XML格式引用 \textit{D.Luckham},使用规范编程。介绍ANNA,一种用于指定Ada程序的语言。纽约等:Springer-Verlag(1990;Zbl 0729.68007)
拉兹洛·萨巴(编辑);锡恩提瓦尼(Szentiványi,Tibor)(编辑);凯蒂·塔尔内(编辑) 计算机网络。1990年5月8日至10日在匈牙利布达佩斯举行的90年代COMNET IFIP TC 6会议记录。 (英语) Zbl 0745.68008号 阿姆斯特丹等地:荷兰北部。十一、 第507页(1990年)。 审核人:J.Woźniak(哥丹斯克) MSC公司:68-06 68M10个 90B18号机组 94A05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Csaba}(编辑)等人,《计算机网络》。1990年5月8日至10日在匈牙利布达佩斯举行的90年代COMNET IFIP TC 6会议记录。阿姆斯特丹等:北荷兰(1990;Zbl 0745.68008)
布罗伊,M。(编辑);C.B.琼斯。(编辑) 编程概念和方法。IFIP工作组2.2/2.3工作会议记录,以色列加利利海,1990年4月2日至5日。 (英语) Zbl 0744.68016号 阿姆斯特丹等地:荷兰北部。八、 第581页(1990年)。 审核人:N.Curteanu(伊阿什) MSC公司:68-06 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}(编辑)和\textit{C.B.Jones}(编),编程概念和方法。IFIP工作组2.2/2.3工作会议记录,以色列加利利海,1990年4月2日至5日。阿姆斯特丹等:北荷兰(1990;Zbl 0744.68016)
路易吉·洛格里波(编辑);罗伯特·普罗伯特。(编辑);哈桑·乌拉尔(编辑) 协议规范、测试和验证,X.IFIP WG 6.1第十届国际研讨会论文集,加拿大安大略省渥太华,1990年6月12-15日。 (英语) Zbl 0800.68102号 阿姆斯特丹等地:荷兰北部。十一、 第415页(1990年)。MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Logrippo}(ed.)等人,《协议规范、测试和验证》,X.《IFIP WG 6.1第十届国际研讨会论文集》,加拿大安大略省渥太华,1990年6月12-15日。阿姆斯特丹等:北荷兰(1990;Zbl 0800.68102)
约根·斯坦斯特鲁普(编辑) 超大规模集成电路设计的形式化方法。 (英语) Zbl 0743.68033号 阿姆斯特丹等地:荷兰北部。第329页(1990年)。 审核人:P.Molitor(萨尔布吕肯) MSC公司:68-06 94C99号 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Staunstrup}(编辑),超大规模集成电路设计的形式化方法。阿姆斯特丹等地:北荷兰(1990年;兹bl 0743.6803)
伯恩德·罗伊斯(编辑) 计算机辅助设计和微电子系统的体系结构。(Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme.GME/GI/ITG-Fachtagung,多特蒙德,FRG,1.-2)。1990年10月。诉讼程序。) (德语) Zbl 0825.68097号 信息-Fachberichte. 255. 柏林等:Springer-Verlag。第298页(1990年)。MSC公司:68-06 68岁20岁 68单位07 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Reusch}(编辑),Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme。GME/GI/ITG-Fachtagung,多特蒙德,FRG,1.-2。1990年10月。诉讼程序。柏林等:施普林格出版社(1990年;Zbl 0825.68097)
范·列文(Jan van Leeuwen)(编辑) 形式化模型和语义。理论计算机科学手册。第二卷。 (英语) Zbl 0714.68001号 阿姆斯特丹等:爱思唯尔。十四、 1273 p.英国国防部。325.00 (1990). 审核人:S.布鲁姆 MSC公司:68-00 第68季度55 68问题65 65年第68季度 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.van Leeuwen}(编辑),形式模型和语义。理论计算机科学手册。第二卷阿姆斯特丹等:Elsevier(1990;Zbl 0714.68001)
Rüdiger Köster 通信协议的描述、实现和测试方法。(Ein Verfahren zum Beschreiben,Realisieren und Testen von Kommunikationsprotokollen) (德语) Zbl 0789.68006号 Fortschritt-Berichte VDI公司。Reihe 10,Informatik/Kommunikationstechnik。141.杜塞尔多夫:VDI Verlag。七、 第139页(1990年)。 审核人:H.Loefler(德累斯顿) MSC公司:68M10个 68-01年 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Köster}、Ein Verfahren zum Beschreiben、Realisieren和Testen von Kommunikationsprotokollen。杜塞尔多夫:VDI Verlag(1990;Zbl 0789.68006)
巴顿,J.C.M。(编辑);Klop,J.W。(编辑) 1990年开始。并发理论:统一与扩展。荷兰阿姆斯特丹,1990年8月。诉讼程序。 (英语) Zbl 0746.68005号 计算机科学课堂讲稿458.柏林等:斯普林格·弗拉格。七、 第536页(1990年)。 审核人:F.-L.Tiplea(拉什) MSC公司:68-06 2010年第68季度 第68季度55 60年第68季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}(编辑)和textit{J.W.Klop}(主编),CONCUR’90。并发理论:统一与扩展。荷兰阿姆斯特丹,1990年8月。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0746.68005)
多萝西·塞特利夫(Dorothy E.Setliff)。;罗布·鲁滕巴尔(Rob A.Rutenbar)。 应用于VLSI CAD软件的自动编程:案例研究。 (英语) Zbl 0718.68016号 Kluwer国际工程与计算机科学系列, 101. 波士顿等:Kluwer学术出版社。十七、 第228页,59.95美元(1990年)。 审核人:P.Molitor(萨尔布吕肯) MSC公司:68号01 68-02 68层35 68单位07 68N99型 60年第68季度 94C99号 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Setliff}和\textit{R.A.Rutenbar},应用于VLSI CAD软件的自动编程:案例研究。波士顿等:Kluwer学术出版社(1990;Zbl 0718.68016)
海科·克鲁姆 Funktitionelle分析von Kommunikationsprotokollen。(通信协议的功能分析)。 (德语) Zbl 0732.68016号 信息-Fachberichte, 247. 柏林等:Springer-Verlag。九、 122 p.DM 28.50(1990)。 审核人:W.卡尔法(德累斯顿) MSC公司:68M10个 68米15 68-02 PDF格式BibTeX公司 XML格式引用 \textit{H.Krumm},Funktionelle分析von Kommunikationsprotokollen。(通信协议的功能分析)。柏林等:Springer-Verlag(1990;Zbl 0732.68016)
海因里希·克尔斯滕(编辑) 安全软件。会议,德国波恩,1989年11月27日至28日。(Sichere Software,波恩塔贡,1989年11月27日至28日) (德语) 兹伯利0812.68049 海德堡:Hüthig Verlag。315页(1990年)。MSC公司:68-06 00B25型 68N99型 68M99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kersten}(编辑),Sichere Software。波恩塔贡,1989年11月27日至28日。海德堡:Hüthig Verlag(1990;Zbl 0812.68049)
梅因,M。(编辑);梅尔顿,A。(编辑);Mislove,M。(编辑);施密特,D。(编辑) 编程语义的数学基础。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。 (英语) Zbl 0751.68005号 计算机科学课堂讲稿442.柏林等:斯普林格·弗拉格。VI、 439页(1990年)。 审核人:E.P.de Vink公司 MSC公司:68-06 68号30 第68季度55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Main}(ed.)等人,编程语义的数学基础。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0751.68005) 全文: 内政部
范·加斯特伦(Antonetta J.M.van Gasteren)。 关于数学论点的形状。 (英语) Zbl 0705.68004号 计算机科学课堂讲稿, 445. 柏林等:Springer-Verlag。八、 181 p.DM 33.00(1990年)。 审核人:S.P.Yukna公司 MSC公司:68-02 68吨15 60年第68季度 03B35型 03F99型 03-02 PDF格式BibTeX公司 XML格式引用 \textit{A.J.M.van Gasteren},关于数学论点的形状。柏林等:Springer-Verlag(1990;Zbl 0705.68004)
查尔斯·Rattray(编辑) 并发系统的规范和验证。1988年7月6日至8日在苏格兰斯特林大学举行的BCS-FACS研讨会会议记录。 (英语) Zbl 0745.68014号 计算机研讨会。柏林等:Springer-Verlag。八、 第612页(1990年)。 审核人:D.Gruska(布拉迪斯拉发) MSC公司:68-06 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Rattray}(编辑),并发系统的规范和验证。1988年7月6日至8日在苏格兰斯特林大学举行的BCS-FACS研讨会会议记录。柏林等:Springer-Verlag(1990;Zbl 0745.68014)
彼得·利格斯迈耶 模块测试和模块验证。最新技术。(模块测试和模块验证。最新技术)。 (德语) Zbl 0715.68001号 Angewandte Informatik,4岁。曼海姆等:B.I.-Wissenschaftsverlag。321页,58.00德国马克(geb.)(1990年)。 审核人:G.温克勒 MSC公司:68-02 60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Liggesmeyer},模块测试和模块验证。最新技术。(模块测试和模块验证。最新技术)。曼海姆等:B.I.-Wissenschaftsverlag(1990;Zbl 0715.68001)
克利夫·琼斯。 使用VDM进行系统软件开发。第2版。 (英语) Zbl 0743.68048号 普伦蒂斯·霍尔计算机科学国际系列。纽约等地:普伦蒂斯·霍尔。十四、 第333页(1990年)。 审核人:E.E.Doberkat(埃森) MSC公司:68N99型 60年第68季度 68-01年 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones},使用VDM进行系统软件开发。第二版,纽约等:普伦蒂斯·霍尔(1990;Zbl 0743.68048)
Jean-Louis Krivine Lambda-calcul,类型和型号。(Lambda微积分、类型和模型)。 (法语) Zbl 0697.03004号 信息学教育与研究。巴黎等:马森。viii,176 p.FF 198.00(1990)。 审核人:C.柏林 MSC公司:03B40型 68号01 60年第68季度 03-01 68-01年 68问题65 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Krivine},Lambda-calcul,类型和型号。(Lambda演算、类型和模型)。巴黎等:Masson(1990;Zbl 0697.03004)
W.H.J.费扬。(编辑);范·加斯特伦(A.J.M.van Gasteren)。(编辑);大卫·格里斯(编辑);J·米斯拉。(编辑) 美丽是我们的事业。向Edsger W.Dijkstra致敬。 (英语) 兹比尔0718.68004 计算机科学的文本和专著。柏林等:Springer-Verlag。二十一、 453 p.DM 98.00(1990)。 审核人:P.van Emde Boas(阿姆斯特丹) MSC公司:68-06 60年第68季度 68号01 00立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{W.H.J.Feijen}(编辑)等,美容是我们的业务。向Edsger W.Dijkstra致敬。柏林等:施普林格出版社(1990年;Zbl 0718.68004)
克利夫·琼斯。(编辑);Roger C.F.肖。(编辑) 系统软件开发中的案例研究。 (英语) Zbl 0716.68006号 计算机科学国际丛书。纽约等地:普伦蒂斯·霍尔。十七、 第387页(1990年)。 审核人:J.勒克斯 MSC公司:68-06 60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}(编辑)和\textit{R.C.F.Shaw}(编),系统软件开发中的案例研究。纽约等:普伦蒂斯·霍尔(1990;Zbl 0716.68006)
赫尔穆特·帕奇。 程序的规范和转换。一种正式的软件开发方法。 (英语) Zbl 0751.68036号 计算机科学的文本和专著。柏林等:Springer-Verlag,。十三、 第493页(1990年)。 审核人:G.Riedewald(罗斯托克) MSC公司:60年第68季度 68问题65 68N99型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{H.A.Partsch},程序的规范和转换。软件开发的正式方法。柏林等:Springer-Verlag(1990;Zbl 0751.68036)
比约纳,迪内斯(编辑);C.A.R.霍尔。(编辑);汉斯·朗马克(编辑) VDM’90。软件开发中的VDM和Z形式化方法。第三届VDM欧洲国际研讨会,基尔,FRG,1990年4月17日至21日。诉讼程序。 (英语) Zbl 0746.68006号 计算机科学课堂讲稿. 428. 柏林等:Springer-Verlag。十七、 第580页(1990年)。 审核人:H.基洛夫(莫里斯敦) MSC公司:68-06 60年第68季度 第68季度55 68N99型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner}(编辑)等人,VDM’90。软件开发中的VDM和Z形式化方法。第三届VDM欧洲国际研讨会,基尔,FRG,1990年4月17日至21日。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0746.68006)
克里斯蒂安·费德 objektorientierten Programmiersprachen中的Ausnahmebehandung。 (德语) Zbl 0701.68006号 信息-Fachberichte,第235页。柏林等:Springer-Verlag。九、 250 p.DM 45.00(1990)。 审核人:H.-J.霍夫曼 MSC公司:68米15 68-02 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Feder},Ausnahmebehandlung in objektorientierten Programmiersprachen。柏林等:Springer-Verlag(1990;Zbl 0701.68006)
C.A.R.霍尔。(编辑) 并发和通信的发展。 (英语) Zbl 0734.68035号 阿姆斯特丹等:Addison-Wesley Publishing Co.XIV,335 p.$33.95(1990)。MSC公司:2010年第68季度 60年第68季度 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}(编辑),并发和通信的发展。阿姆斯特丹等:Addison-Wesley Publishing Co.(1990;Zbl 0734.68035)
米丽亚姆·利瑟(编辑);杰弗里·布朗(编辑) 硬件规范、验证和综合:数学方面。数学科学研究所研讨会,1989年7月5日至7日,美国纽约州伊萨卡。诉讼程序。 (英语) Zbl 0799.68018号 计算机科学课堂讲稿408.柏林等:施普林格出版社。六、 第402页(1990年)。MSC公司:68-06 60年第68季度 68个月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.Leeser}(编辑)和\textit{G.Brown}(编),硬件规范、验证和合成:数学方面。数学科学研究所研讨会,美国纽约州伊萨卡,1989年7月5-7日。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0799.68018)
约瑟夫·西法基斯(编辑) 有限状态系统的自动验证方法。国际研讨会,法国格勒诺布尔,1989年6月12日至14日。诉讼程序。 (英语) Zbl 0745.68017号 计算机科学课堂讲稿. 407. 柏林等:Springer-Verlag。七、 第382页(1990年)。 审核人:M.K(布尔诺) MSC公司:68-06 2010年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Sifakis}(编辑),有限状态系统的自动验证方法。国际研讨会,法国格勒诺布尔,1989年6月12日至14日。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0745.68017)
Nakao,Mitsuhiro T。 非线性边值问题解存在性的数值验证方法。 (英语) 兹伯利0784.65066 Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Compute。申请。数学。7, 329-339 (1990).MSC公司:65升10 34B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Nakao},IMACS Ann.计算。申请。数学。7329-339(1990年;Zbl 0784.65066)
凯尔赫、雷纳 具有自动结果验证的自适应数值求积程序。 (英语) Zbl 0784.65015号 Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一次国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Compute。申请。数学。7, 301-317 (1990).MSC公司:65天32分 41A55型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kelch},IMACS Ann.计算。申请。数学。7301--317(1990年;Zbl 0784.65015)
格罗泽夫(Georgi R.Grozev)。;Svetoslav M.马尔科夫。 边值问题的数值方法及其结果验证。 (英语) Zbl 0784.65076号 Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Comput。申请。数学。7, 291-299 (1990).MSC公司:65N30型 65号35 65奈拉 35J65型 PDF格式BibTeX公司 XML格式引用 \textit{G.R.Grozev}和\textit{S.M.Markov},IMACS Ann.Compute。申请。数学。7291-299(1990年;Zbl 0784.65076)
Dimitrova,N。;马尔科夫,S.M。 同时计算所有多项式零点的区间算法。 (英语) Zbl 0784.65042号 Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Compute。申请。数学。7, 183-195 (1990).MSC公司:65小时05 65G30型 26立方厘米 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{N.Dimitrova}和\textit{S.M.Markov},IMACS Ann.Compute。申请。数学。7、183--195(1990年;Zbl 0784.65042)
Svetoslav M.马尔科夫。 区间输入数据下的最小二乘近似。 (英语) Zbl 0784.65028号 Christian Ullrich(编辑),《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔:J.C.Baltzer AG,IMACS Ann.Compute。申请。数学。7, 133-147 (1990).MSC公司:65层20 65G30型 65C99个 65天10分 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Markov},IMACS Ann.Compute公司。申请。数学。7、133--147(1990年;Zbl 0784.65028)
赢了,郑哈 程序方案等价性研究。 (韩语。英文摘要) 兹比尔0780.68094 苏哈克 1990年,第1期,33-35(1990).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Won},Suhak 1990年,第1期,33-35(1990年;Zbl 0780.68094)
彼得·格林;托马斯·奎斯特,尼尔森;汉斯·亨里克·勒文格林 使用辅助变量细化和合成基于转换的可靠性保证规范。 (英语) Zbl 0733.68054号 软件技术和理论计算机科学基础。第十届会议,班加罗尔/印度,1990年,法律。注释计算。科学。472, 332-348 (1990).MSC公司:60年第68季度 68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式
伊恩·帕贝里 单例外排序网络和最优排序网络验证的计算复杂性。 (英语) Zbl 0731.68052号 数学。系统。理论 23,No.2,81-93(1990).MSC公司:65年第68季度 68瓦35 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{I.Parberry},数学。系统。理论23,第2号,81-93(1990;Zbl 0731.68052) 全文: 内政部
阿诺拉,阿尼什;穆罕默德·古达 分布式重置。 (英语) Zbl 0731.68013号 软件技术和理论计算机科学基础。第十届会议,班加罗尔/印度,1990年,法律。注释计算。科学。472, 316-331 (1990).MSC公司:68M10个 68N25号 68兰特 PDF格式BibTeX公司 XML格式
沃尔夫冈·托马斯 词上的无限树和自动机可定义关系。 (英语) Zbl 0731.03007号 计算机科学的理论方面。第7年。交响乐团。,STACS’90,鲁昂/Fr.1990,Lect。注释计算。科学。415, 263-277 (1990).MSC公司:03年2月25日 68兰特 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式
卡尔·H·史密斯。;马亨德兰·维拉萨皮莱 关于近似程序的推理。 (英语) Zbl 0727.03029号 西奥。计算。科学。 77,第3号,249-266(1990). 审核人:A.Kreczmar(华沙) MSC公司:03天80 60年第68季度 03日第10天 03D20日 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Smith}和\textit{M.Velauthapillai},Theor。计算。科学。77,No.3,249--266(1990;Zbl 0727.03029) 全文: 内政部
谢,甘泉;李建华 非线性积分方程波动方程的逆散射问题及其迭代。 (英语) Zbl 0724.65112号 J.计算。数学。 8,No.4,289-297(1990). 审核人:R.S.安德森(堪培拉) MSC公司:65Z05个 65兰特 35升15 35兰特 35立方厘米 45G10型 PDF格式BibTeX公司 XML格式引用 \textit{G.Xie}和\textit{J.Li},J.Compute。数学。8,第4号,289--297(1990;Zbl 0724.65112)
何塞·费亚德罗;阿米尔卡尔·塞尔纳达斯 系统规范的模态术语逻辑。 (英语) Zbl 0723.68070号 J.日志。计算。 第1卷第2期,187-227页(1990年).MSC公司:60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}和\textit{A.Sernadas},J.Log。计算。1,第2号,187--227(1990;Zbl 0723.68070) 全文: 内政部
约赫维德·多坦;本杰明·阿拉齐 基于逻辑编程的数字系统设计验证。 (英语) Zbl 0723.68027号 计算。选举人。工程师。 16,第3期,125-138(1990).MSC公司:68N17号 68T99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Dotan}和\textit{B.Arazi},计算。选举人。Eng.16,编号3,125-138(1990;Zbl 0723.68027) 全文: 内政部
德布鲁因,N.G。 为综合语义使用正当化系统。 (英语) Zbl 0722.68077号 科罗格-88,Proc。国际会议,塔林/苏联1988年,法律。不是。计算。科学。417,9-24(1990)中所述。 审核人:E.Melis(萨尔布吕肯) MSC公司:60年第68季度 03B80号 03B40型 PDF格式BibTeX公司 XML格式
Starchenko,S.S。;沃伦科夫,A.A。 论经典语义学和建构语义学之间的联系。 (英语) Zbl 0721.03044号 科罗格-88,Proc。国际会议,塔林/苏联1988年,法律。不是。计算。科学。417, 275-285 (1990). 审核人:D.布里奇斯(哈密尔顿/新西兰) MSC公司:03楼50 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式
E.Pascal格里博蒙特 逐步细化和并发:有限状态案例。 (英语) Zbl 0719.68041号 科学。计算。程序。 14,编号2-3,185-228(1990). 审核人:J.-J.Ch.Meyer(阿姆斯特丹) MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Gribomont},科学。计算。程序。14,编号2--3,185-228(1990;Zbl 0719.68041) 全文: 内政部
E.亚当斯。 定期解决方案:封装、验证和应用。 (英语) Zbl 0719.65062号 计算机算法和自验证数值方法。国际会议,巴塞尔/瑞士。1989年,Notes Rep.Math。科学。工程7,199-245(1990)。 审核人:A.de Castro(塞维利亚) MSC公司:65升05 65G30型 34A34飞机 34C25型 PDF格式BibTeX公司 XML格式
拉斯维塔耶夫。 布尔递归程序的一种命题逻辑,其中谓词变量出现在条件中。 (英语。俄文原件) 兹伯利0719.03012 数学。笔记 48,第3号,958-964(1990); 翻译自Mat.Zametki 48,No.3,119-127(1990)。MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Rastsvetaev},数学。注释48,第3号,958-964(1990;Zbl 0719.03012);翻译自Mat.Zametki 48,No.31119-127(1990) 全文: 内政部
安妮·德斯普兰;莫妮克·马扎德;雷蒙德·拉科托萨菲 使用重写技术生成代码生成器并证明它们是正确的。 (英语) Zbl 0718.68022号 科学。计算。程序。 15,第1期,第15-54页(1990年). 审核人:M.Zimand(布库雷什蒂) MSC公司:68N20型 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Despland}等人,科学。计算。程序。15,编号1,15--54(1990;Zbl 0718.68022) 全文: 内政部
安娜·帕兹托 程序绝对逻辑中的递归程序和指称语义。 (英语) Zbl 0718.03021号 西奥。计算。科学。 70,第1号,127-150(1990). 审核人:J.-J.Ch.Meyer(阿姆斯特丹) MSC公司:03B70号 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \文本{A.Pasztor},Theor。计算。科学。70,编号1,127--150(1990;Zbl 0718.03021) 全文: 内政部
Shmuel Katz;多龙·贝利德 交错集时序逻辑。 (英语) Zbl 0718.03014号 西奥。计算。科学。 75,第3期,第263-287页(1990年). 审核人:J.-J.Ch.Meyer(阿姆斯特丹) MSC公司:03B45号 60年第68季度 2010年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled},Theor。计算。科学。75,第3号,263--287(1990;Zbl 0718.03014) 全文: 内政部
里扎德·贾尼基;托马斯·穆尔德纳 同步保护将顺序规范转换为并发规范。 (英语) Zbl 0717.68065号 西奥。计算。科学。 77,No.1-2,97-129(1990).MSC公司:60年第68季度 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{T.Müldner},Theor。计算。科学。77,编号1-2,97-129(1990年;兹bl 0717.68065) 全文: 内政部
考彻,E。;C.舒尔兹·林恩。 Banach空间中自验证数值的方面。 (英语) Zbl 0717.65102号 计算机算法和自验证数值方法。国际会议,巴塞尔/瑞士。1989年,Notes Rep.Math。科学。工程7,269-299(1990)。 审核人:Y.切尔鲁 MSC公司:65Z05个 65J15年 47时10分 PDF格式BibTeX公司 XML格式
E.S.班布里奇。;弗雷德,P.J。;A.斯克洛夫。;P.J.斯科特。 功能多态性。 (英语) Zbl 0717.18005号 西奥。计算。科学。 70,第1号,35-64(1990). 审核人:V.Kurkova-Pohlova(沃尔科瓦·波洛娃) MSC公司:18日第15天 03B40型 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.S.Bainbridge}等人,Theor。计算。科学。70,编号1,35--64(1990;Zbl 0717.18005) 全文: 内政部
宋方敏 程序的关系逻辑。 (中文。英文摘要) Zbl 0717.03007号 南京大学数学系。清单。 第7期,第1期,26-30页(1990年). 审核人:宋方敏 MSC公司:03B70号 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Song},J.南京大学数学系。清单。7,编号1,26--30(1990;Zbl 0717.03007)
Chang,Chun先生 最优债务契约的动态结构。 (英语) Zbl 0716.90013号 《经济学杂志》。理论 52,No.1,68-86(1990).MSC公司:91磅62 91B38型 PDF格式BibTeX公司 XML格式引用 \textit{C.Chang},J.Econ(经济)。理论52,No.1,68--86(1990;Zbl 0716.90013) 全文: 内政部
亚克尼斯,亚历山大;弗拉基米尔·亚克尼斯 Gurevich-Harrington限制记忆确定性定理的推广:获胜球员的标准和一类明确的获胜策略。 (英语) Zbl 0716.03036号 Ann.纯粹应用。逻辑 48,第3期,277-297(1990). 审核人:李翔 MSC公司:05年3月 91A05型 2010年第68季度 03年2月25日 91A80型 03E60年 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Yakhnis}和\textit{V.Yakhnis},Ann.纯粹应用。逻辑48,No.3,277--297(1990;Zbl 0716.03036) 全文: 内政部
恩斯特·斯内珀 当我们做数学时,我们做什么? (捷克语) Zbl 0716.01031号 Pokroky Mat.Fyz公司。阿童木。 35,第5241-249号(1990年). 审核人:V.N.萨利吉 MSC公司:01A70号 01A65号 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Snapper},Pokroky Mat.Fyz。阿童木。35,第5号,241--249(1990;Zbl 0716.01031) 全文: 欧洲DML
Loyens,L.D.J.C。;范德福斯特(J.G.G.van de Vorst)。 两个小型并行编程练习。 (英语) Zbl 0715.68058号 科学。计算。程序。 15,编号2-3,159-169(1990).MSC公司:60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{L.D.J.C.Loyens}和\textit{J.G.G.van de Vorst},科学。计算。程序。15,No.2--3159--169(1990;Zbl 0715.68058) 全文: 内政部
陈伟;扬·蒂杰曼(Jan Tijmen Udding) 程序反转:不仅仅是乐趣! (英语) Zbl 0715.68055号 科学。计算。程序。 15,第1号,1-13(1990).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.Chen}和\textit{J.T.Udding},科学。计算。程序。15,编号1,1-13(1990;Zbl 0715.68055) 全文: 内政部
Jean-Pierre,Banátre;勒梅塔耶,丹尼尔 伽马模型及其编程原则。 (英语) Zbl 0715.68054号 科学。计算。程序。 15,No.1,55-77(1990).MSC公司:60年第68季度 68号01 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Banátre}和\textit{D.Le Métayer},科学。计算。程序。15,第1号,55-77(1990年;兹bl 0715.68054) 全文: 内政部
安妮·卡尔德瓦伊;杰勒德·茨瓦恩 常规语言接受者的收缩设计。 (英语) Zbl 0715.68048号 科学。计算。程序。 15,编号2-3,171-183(1990).MSC公司:65年第68季度 2005年第68季度 60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaldewaij}和\textit{G.Zwaan},科学。计算。程序。15,编号2--3,171-183(1990;Zbl 0715.68048) 全文: 内政部
范登·艾因德,J.P.H.W。 左下和右上部分。 (英语) Zbl 0715.68006号 科学。计算。程序。 15,第1号,79-94(1990).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.H.W.van den Eijnde},科学。计算。程序。15,编号1,79--94(1990;Zbl 0715.68006) 全文: 内政部
Nakao,Mitsuhiro T。 函数方程存在性的数值验证方法。 (日语) 兹比尔0715.65058 斯加库 42,第1期,16-31页(1990年). 审核人:T.三井 MSC公司:65升10 65升70 65G30型 34B15号机组 35J25型 65奈拉 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Nakao},Ságaku 42,No.1,16-31(1990;Zbl 0715.65058)
Yu Golunkov。五、。 程序类型的功能系统中具有给定精度的完整性。 (俄语) Zbl 0714.03033号 磁盘重新启动。材料。 2,第3号,42-49(1990). 审核人:L.布里姆 MSC公司:03D20日 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Golunkov},Diskretn。材料2,编号3,42-49(1990;Zbl 0714.03033)