瓦尼切克,I。 信息方面理论-控制数据库中信息的独立性和冗余性的工具。 (英语。俄文原件) Zbl 0800.68375号 控制论 26,No.5,635-641(1990);翻译自Kibernetika 1990,第5期,13-17期(1990年)。MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{I.Vanichek},《控制论》第26卷第5期,第635--641页(1990年;Zbl 0800.68375);译自Kibernetika 1990,No.5,13--17(1990) 全文: 内政部
戈德列夫斯基,A.B。;Yu Kapitonova。五、。;克里沃伊,S.L。;Letichevskij,A.A。 程序分析的迭代方法。 (英语。俄文原件) 兹比尔0800.68546 控制论 25,第2期,139-152(1989);译自Kibernetika 1989,第2期,10-19(1989)。MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Godlevskij}等人,《控制论》25,第2期,139--152(1989;Zbl 0800.68546);译自Kibernetika 1989,No.2,10--19(1989) 全文: 内政部
Gyachas,K.K。 证明简单多模态程序属性的公理系统。 (英语。俄文原件) Zbl 0674.68015号 控制论 24,第2期,179-186(1988);译自Kibernetika 1988,第2期,33-38(1988)。 审核人:V.布尔扬 MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.K.Gyachas},《控制论》24,第2期,179--186(1988;Zbl 0674.68015);译自Kibernetika 1988,No.2,33--38(1988) 全文: 内政部
努里耶夫,R.M。 数据集定义的形式化系统是数据提取的高级工具。 (英语。俄文原件) Zbl 0718.68031号 控制论 23,第1期,21-30(1987);译自Kibernetika 1987年,第1期,第18-24、38页(1987年)。MSC公司:第68页,共15页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Nuriev},《控制论》第23卷第1期,第21--30页(1987年;Zbl 0718.68031);译自Kibernetika 1987,No.1,18-24,38(1987) 全文: 内政部
科马罗夫斯基,I.V。 加权二叉树的极值性质。 (英语。俄文原件) Zbl 0666.68066号 控制论 23,第4期,453-457(1987);翻译自Kibernetika 1987,第4期,15-18页(1987年)。 审核人:J.威克曼 MSC公司:68兰特 05二氧化碳 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Komarovskij},《控制论》23,第4期,第453--457页(1987;Zbl 0666.68066);译自Kibernetika 1987年,第4期,第15--18期(1987) 全文: 内政部
雷德科,V.N。;新南威尔士州尼基琴科。 程序设计的组成方面。一、。 (英语。俄文原件) Zbl 0646.68015号 控制论 23,第5期,627-637(1987);译自Kibernetika 1987,第5期,49-56(1987)。MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Red'ko}和\textit{N.S.Nikitchenko},《控制论》23,第5期,627--637(1987;Zbl 0646.68015);译自Kibernetika 1987,No.5,49-56(1987) 全文: 内政部
阿尼西莫夫。 图着色的局部优化。 (英语。俄文原件) Zbl 0639.68060号 控制论 第6期第22页,第683-692页(1986年);译自Kibernetika 1986年,1-8(1986)。 审核人:A.V.阿尼西莫夫 MSC公司:68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Anisimov},《控制论》22,第6期,683--692(1986;Zbl 0639.68060);翻译自Kibernetika 1986,1-8(1986) 全文: 内政部
克里沃伊,S.L。;Raksha,S.G。 在程序中搜索不变的线性关系。 (英语。俄文原件) Zbl 0577.68025号 控制论 20, 796-803 (1984);译自Kibernetika 1984,第6期,23-28(1984)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Krivoj}和\textit{S.G.Raksha},控制论20796--803(1984;Zbl 0577.68025);译自《Kibernetika 1984》,第6期,第23-28(1984) 全文: 内政部
Kozhevnikova,G.P。;A.K.Sinitskij。 微并行算法中的树变换问题。 (英语。俄文原件) Zbl 0573.68012号 控制论 19, 604-614 (1983);译自Kibernetika 1983年,第5期,14-21页(1983年)。 审核人:H.施梅克 MSC公司:65年第68季度 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{G.P.Kozhevnikova}和\textit{A.K.Sinitskij},控制论19,604--614(1983;Zbl 0573.68012);译自Kibernetika 1983年,第5期,第14至21期(1983年) 全文: 内政部
阿尼西莫夫。 具有可逆转换的结构上的堆栈和局部有限变换。 (英语。俄文原件) Zbl 0543.68007号 控制论 19, 1-11 (1983);翻译自Kibernetika 1983,第1期,1-10页(1983年)。MSC公司:68号01 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Anisimov},《控制论》19,1--11(1983;Zbl 0543.68007);译自Kibernetika 1983年,第1期,第1-10期(1983年) 全文: 内政部
尤先科,E.L。;I.V.卡萨基纳。 证明程序正确性的当前方法。 (英语。俄文原件) Zbl 0461.68020号 控制论 16, 832-861 (1981);译自Kibernetika 1980,第6期,37-62(1980)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Yushchenko}和\textit{I.V.Kasatkina},控制论16,832--861(1980;Zbl 0461.68020);Kibernetika 1980年译本,第6期,第37-62页(1980年) 全文: 内政部
Airapetyan,A.R。 两个处理器之间的非均匀图排序和作业分配。 (英语。俄文原件) Zbl 0454.68020号 控制论 16, 264-269 (1980);译自Kibernetika 1980,第2期,264-269(1980)。MSC公司:68平方米 68页第10页 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Airapetyan},控制论16,264--269(1980;Zbl 0454.68020);译自Kibernetika 1980,No.2,264--269(1980) 全文: 内政部
S.A.朱可夫。 双向解析器操作的时间复杂性。 (英语。俄文原件) Zbl 0452.68088号 控制论 15, 552-558 (1980);译自Kibernetika 1979,第4期,105-111(1979)。MSC公司:68N20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.朱可夫},《控制论》15,552--558(1979;Zbl 0452.68088);译自Kibernetika 1979,No.4,105-111(1979) 全文: 内政部
格卢什科夫(V.M.Glushkov)。;阿尼西莫夫。 Church-Rosser转换器。 (英语。俄文原件) Zbl 0452.68060号 控制论 15607-614(1980年);译自Kibernetika 1979年,第5期,第1-8页(1979年)。MSC公司:65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Glushkov}和\textit{A.V.Anisimov},控制论15,607--614(1979;Zbl 0452.68060);译自Kibernetika 1979,No.5,1-8(1979) 全文: 内政部
北卡罗来纳州米伦科夫。 进程同步。 (英语。俄文原件) Zbl 0445.68017号 控制论 15, 66-72 (1979);译自Kibernetika 1979,第1期,59-63(1979)。MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{N.N.米伦科夫},《控制论》15,66-72(1979;Zbl 0445.68017);译自Kibernetika 1979,No.1,59-63(1979) 全文: 内政部
阿尼西莫夫。 内存上的递归转换器。 (英语。俄文原件) Zbl 0442.68042号 控制论 14, 823-834 (1979);译自Kibernetika 1978,第6期,16-26(1978)。MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Anisimov},《控制论》14,823--834(1978;Zbl 0442.68042);译自Kibernetika 1978,No.6,16-26(1978) 全文: 内政部