陶仁济 有限自动机的可逆性。 （中文） Zbl 0609.68041号 北京：科学出版社。二、 第300页（1979年）。MSC公司：65年第68季度 94立方厘米 68-01 PDF格式BibTeX公司 XML格式
雷纳托·卡波切利（Renato M.Capocelli）。 具有有限解码延迟的代码的组合特性。 （英语） Zbl 0591.94025号 扑朔迷离。，序列号。三、 问题。申请。Calcolo 177，15页（1979年）。MSC公司：94A45型 65年第68季度 20立方米 94B50型 PDF格式BibTeX公司 XML格式
南卡罗来纳州帕洛蒂诺。;托弗利，T。 一种确定“后进先出”分支定界勘探方案中最长死路径长度的有效算法。 （英语） Zbl 0589.90058号 扑朔迷离。，序列号。三、 问题。申请。Calcolo 188，14页（1979年）。MSC公司：90立方厘米 65千5 65年第68季度 PDF格式BibTeX公司 XML格式
卢切西（Cláudio I）。;西蒙·艾姆雷;伊斯特凡·西蒙;Janos西蒙;托马斯·科瓦尔托夫斯基 计算的理论方面。（Aspectos teóricos da computaço）。 （葡萄牙语） Zbl 0574.68004号 欧几里德项目, 8. 里约热内卢：马提马提卡研究所，CNPq。十二、 第292页（1979年）。 审核人：B.L.麦卡利斯特 MSC公司：68-01 68-02 68号01 65年第68季度 65年第68季度 68兰特 70年第68季度 2005年第68季度 68瓦99 PDF格式BibTeX公司 XML格式
M.K.奇尔科夫。 关于部分pi-自动机的最小化。 （俄语） Zbl 0544.68040号 维奇尔。泰克。沃普。基伯恩。 16, 109-137 (1979). 审核人：S.M.戈伯斯坦 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Chirkov}，维奇尔。泰克。沃普。基伯恩。16109-137（1979年；兹bl 0544.68040）
Bui Min Chi公司;阮定丹 关于自动机的噪声稳定逼近。 （俄语） Zbl 0542.68038号 维奇尔。泰肯。沃普。基伯恩。 16, 158-173 (1979). 审核人：G.B.马兰日扬 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Bui Min Chi}和\textit{Nguyen Dinh Dan}，维奇尔。泰克。沃普。基伯恩。16、158--173（1979年；Zbl 0542.68038）
卜敏驰 关于概率自动机的稳定性。 （俄语） Zbl 0542.68037号 维奇尔。泰肯。沃普。基伯恩。 16, 146-158 (1979). 审核人：G.B.马兰日扬 MSC公司：65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Bui Min Chi}，维奇尔。泰克。沃普。基伯恩。16、146--158（1979年；Zbl 0542.68037）
Dang Zuj阮 无补运算生成方案的有限自动机复杂度的上限估计。 （俄语） Zbl 0533.68058号 维奇尔。泰克。沃普。基伯恩。 16, 137-145 (1979). 审核人：H.沙龙 MSC公司：65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Dang Zuj Ruan}，维奇尔。泰克。沃普。基伯恩。16、137--145（1979年；Zbl 0533.68058）
曼弗雷德·纳格尔 Graph-Grammatiken公司。理论，安文敦根，实施。 （德语） 兹伯利0517.68069 Studienbücher信息学。布伦瑞克，威斯巴登：弗里德尔。维埃格·桑恩（Vieweg&Sohn）。六、 375 S.，150 Abb。(1979).MSC公司：65年第68季度 68-02 PDF格式BibTeX公司 XML格式
A.阿霍。;霍珀洛夫特，J。;J·乌尔曼。 计算机算法的设计和分析。（Postroenie i analiz vychislitel’nykh algoritmov）。Transl.公司。来自英国。 （俄语） Zbl 0516.68040号 莫斯科：“和平号”。第536页（1979年）。MSC公司：65年第68季度 68-02 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式
彼得·鲁齐卡 产生某些部分订单的时空权衡。 （英语） Zbl 0515.68044号 安理大学。布达普。罗兰多·Eötvös，Sect。计算。 2, 97-113 (1979).MSC公司：65年第68季度 20层03 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{P.Ruzicka}，安理工大学。布达普。罗兰多·Eötvös，Sect。计算。297--113（1979年；Zbl 0515.68044）
Adel's on Velskij，G.M.（通用汽车公司）。;阿基莫夫，V.P。;阿尔拉佐罗夫，V.L。;科西科娃，I.E。 在完全信息的二人游戏编程中，使用概率方法改进移动的选择。 （俄语） Zbl 0513.90093号 Semiotika公司。 12, 222-233 (1979).MSC公司：91A05型 65年第68季度 68T05年 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Adel'son-Velskij}等人，Semiotika Inf.12，222--233（1979；Zbl 0513.90093）
阿德尔·桑·维尔斯基，G.M。;阿尔拉佐罗夫，V.L。 用完全信息模拟两人游戏的概率方法。 （英语） Zbl 0513.90092号 Semiotika公司。 12, 211-221 (1979).MSC公司：91A05型 65年第68季度 68T05年 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Adel'son-Vel'skij}和\textit{V.L.Arlazorov}，Semiotika Inf.12，211--221（1979；Zbl 0513.90092）
斯捷潘尼克，P。 计算过程的数学基础。 （捷克语） Zbl 0512.68032号 数学、科学。确认工厂。数学。物理。，查尔斯大学，布拉格，1978年，第1部分，162-166（1979）。MSC公司：65年第68季度 68-01 PDF格式BibTeX公司 XML格式
安德烈·斯科伦 迭代系统中的有效性。（O efektywnosci w systemach iteracyjnych）。 （波兰语） Zbl 0509.68044号 Polska Akademia Nauk，Instytut Podstaw Informatyki公司。瓦尔萨瓦·洛兹：瓦尔萨瓦-洛兹（Warszawa-Lodz:Panstwowe Wydawnictwo Naukowe）。157 p.zl 35.00（1979年）。MSC公司：65年第68季度 68-02 2005年第68季度 68N25号 05年3月 PDF格式BibTeX公司 XML格式
迈克尔·阿尔比布（Michael A.Arbib）。;欧内斯特·马内斯。 多项式系统的并行分解。 （英语） 兹比尔0507.93018 网络与系统的数学理论，int.Symp。，Delft 1979，第3卷，214-219（1979）。MSC公司：93B25型 70年第68季度 93立方厘米 08A99号 93B20型 PDF格式BibTeX公司 XML格式
罗斯、特奥多尔 数据结构和操作系统。Transl.公司。来自罗马尼亚。 （英语） Zbl 0503.68002号 威利计算机系列。Wiley-Interscience出版物。奇切斯特-纽约-布里斯班：John Wiley&Sons；Bucuresti：编辑学院。十一、 第364页，31.25美元（1979年）。MSC公司：68-01 68N25号 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式
内米洛夫斯基。;尤丁，D.B。 优化中的问题复杂性和方法效率。（Slozhnost‘zadach i ehffektivnost’metodov optimizatsii）。 （俄语） Zbl 0501.90061号 Teoriya i Metody Sistemnogo Analiza公司。莫斯科：伊兹达特。“Nauka”。384 p.R 2.70（1979年）。MSC公司：90C25型 65千5 65年第68季度 90-02 90 C55 PDF格式BibTeX公司 XML格式
海因茨卢内堡 Galoisfelder、Kresteilungskoerper和Schieberegisterfolgen。 （德语） Zbl 0499.12015号 苏黎世维恩曼海姆：书目研究所AG.143 S.DM 32.00（1979）。MSC公司：11个Txx 94比99 12-01 11T55型 11兰特 65年第68季度 11T22号 11T99型 PDF格式BibTeX公司 XML格式
阿里·塔米尔 将作业调度到两台机器上，并进行批量到货订购。 （英语） Zbl 0496.90043号 导航。Res.Logist公司。问：。 26, 521-525 (1979).MSC公司：90B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Tamir}，海军。Res.Logist公司。Q.26、521--525（1979；Zbl 0496.90043） 全文： 内政部
阿方索·卡塔拉诺;格内西、斯特凡尼亚;乌戈州蒙塔纳里 最短路径问题和树文法：代数框架。 （英语） Zbl 0496.68055号 图文法及其在计算机科学和生物学中的应用，Bad Honnef国际研讨会，1978年，Lect。注释计算。科学。73, 167-179 (1979).MSC公司：68问题55 05C38号 68页第10页 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式
米歇尔·拉特奥;珍妮·勒古伊 这是一份家庭财产。 （法语） Zbl 0496.68051号 计算理论基础’79，Proc。Conf.，柏林/Windisch-Rietz 1979，255-261（1979）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式
罗伯特·肖斯塔克（Robert E.Shostak）。 一种实用的函数符号算术判定程序。 （英语） Zbl 0496.03003号 J.协会计算。机器。 26351-360（1979年）.MSC公司：03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Shostak}，J.协会计算。机器。26、351--360（1979；Zbl 0496.03003） 全文： 内政部
普拉特·T·W·。 使用层次图语法定义编程语言语义。 （英语） Zbl 0495.68076号 图文法及其在计算机科学和生物学中的应用，Bad Honneff国际研讨会，1978年，Lect。注释计算。科学。73, 389-400 (1979).MSC公司：68问题55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
罗纳德·奥尔特;约翰逊·M·哈特。 枚举语法图和派生格。 （英语） Zbl 0495.68072号 国际期刊计算。通知。科学。 8, 261-277 (1979).MSC公司：65年第68季度 05C25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alter}和\textit{J.M.Hart}，国际计算机杂志。通知。科学。8261--277（1979年；Zbl 0495.68072） 全文： 内政部
普尔金，B.V。 关于条件相关媒体中行为的模拟。 （俄语） Zbl 0495.68044号 沃普。基伯恩。，莫斯科。 50, 122-138 (1979).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.V.Pul'kin}，Vopr。基伯恩。，莫斯科。50、122——138（1979年；Zbl 0495.68044）
苏珊娜·吉娜丽 正则树和自由迭代理论。 （英语） Zbl 0495.68042号 J.计算。系统。科学。 18, 228-242 (1979).MSC公司：第68季度99 70年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ginali}，J.计算。系统。科学。18、228--242（1979年；Zbl 0495.68042） 全文： 内政部
弗兰茨·施韦杰特 Zur同构endlicher Graphen und Strukturen。 （德语） Zbl 0495.05060号 TUM，Inst.Stat.Unternehmensforsch公司。TUM-ISU-7922，142 S.（1979）。MSC公司：05C99年 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式
Podkolzin，A.S。 关于一维普遍均匀结构。 （俄语） Zbl 0494.68062号 安理大学。布达普。罗兰多·Eötvös，Sect。计算。 2, 49-61 (1979).MSC公司：68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Podkolzin}，安理工大学。布达普。罗兰多·Eötvös，Sect。计算。2、49-61（1979年；Zbl 0494.68062）
瓦尔加，L。 抽象图行走算法。 （英语） Zbl 0492.68017号 安理大学。布达普。罗兰多·Eötvös，Sect。计算。 2, 63-83 (1979).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Varga｝，安大学科学院。布达普。罗兰多·Eötvös，Sect。计算。2，63-83（1979年；兹bl 0492.68017）
吉里·贝内斯 大系统中的自动成形：自组织系统的复兴。 （英语） Zbl 0491.93007号 大型系统分析的数学方法，Proc。第三格式器交响曲。，利比利斯/捷克。1978, 15-28 (1979).MSC公司：93甲15 93C40型 68问题80 93B15号机组 93甲13 PDF格式BibTeX公司 XML格式
德内科，V.G。 赋值问题的特例。 （俄语） Zbl 0489.90067号 研究现代函数求和和逼近问题及其应用，收藏。科学。作品，第聂伯罗彼得罗夫斯克1979年，80-83（1979）。MSC公司：90C09型 65年第68季度 PDF格式BibTeX公司 XML格式
德拉甘·布拉戈耶维奇 语法的一种特殊形式。 （英语） Zbl 0489.68070号 马特·维森。 3(16)(31), 263-265 (1979).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Blagojevic}，马特·维森。3（16）（31），263--265（1979；Zbl 0489.68070）
拉兹洛·洪雅德瓦里 L-fuzzy Kleene定理。 （英语） Zbl 0488.68042号 安理大学。布达普。罗兰多·Eötvös，Sect。计算。 2, 39-48 (1979).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Hunyadvari｝，安大学科学院。布达普。罗兰多·Eötvös，Sect。计算。2，39-48（1979年；兹bl 0488.68042）
拉尔夫·廷德尔 涵盖有向图和结构化程序方案。 （英语） Zbl 0486.68015号 《图论专题》，纽约科学院。科学。328, 214-208 (1979).MSC公司：60年第68季度 68号01 68兰特 PDF格式BibTeX公司 XML格式
L.V.Reshodko。;科拉尔，P。;N.V.库利科娃。 细胞组织的生物系统及其自动机模型。 （英语） Zbl 0485.92001号 大型系统分析的数学方法，Proc。第三格式器交响曲。，利比利斯/捷克。1978, 81-92 (1979).MSC公司：92B05型 68问题80 68平方英寸 PDF格式BibTeX公司 XML格式
加布里埃尔·奥尔曼 F-等价上下文无关文法。 （英语） Zbl 0484.68060号 运营研究，Proc。第三科洛克，克鲁伊·纳波卡/罗马，1978年，199-204年（1979年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式
沃尔夫冈·埃特尔;亚历山大·莱奇 Aufzählung subrekursiver Klassen und konstruierende Automaten公司。 （德语） Zbl 0484.03021号 Sitzungsber.公司。，阿布特二世。阿卡德。威斯。，数学-大自然。克利尼亚。 188, 23-46 (1979).MSC公司：03D20日 68问题80 PDF格式BibTeX公司 XML格式引用 \textit｛W.Ettl｝和\textit｛A.Leitsch｝，锡宗斯伯。，阿布特二世。阿卡德。威斯。，数学-大自然。Kl.188，23-46（1979年；兹bl 0484.03021）
Nepejvoda，N.N。 证明理论在正确程序构造问题中的应用。 （英语。俄文原件） Zbl 0483.68031号 控制论 15, 202-210 (1979); 译自Kibernetika 1979，第2期，43-48（1979）。MSC公司：68问题65 03楼55 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Nepejvoda}，控制论15，202--210（1979；Zbl 0483.68031）；译自Kibernetika 1979，No.2，43-48（1979）
皮埃尔·弗格兹 [M.福利亚。] 自动绘制卡特尔图。福利亚序言。 （法语） Zbl 0482.94036号 系统后勤部，II。巴黎：技术与文献。十一、 第351页，FF 235.00（1979年）。MSC公司：94C15号机组 94立方厘米 94-01 68-01 65年第68季度 PDF格式BibTeX公司 XML格式
弗雷瓦尔德，R.V。 通过有限多头概率和确定性自动机识别语言。 （英语。俄文原件） Zbl 0481.68077号 自动。控制计算。科学。 13，第3期，15-20页（1979年）; Avtom翻译。维奇尔。泰克。1979年，第3期，15-20页（1979年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Frejvald}，自动。控制计算。科学。13，编号3，15-20（1979年；Zbl 048168077）；Avtom翻译。维奇尔。泰克。1979年，第3、15-20号（1979年）
亨纳，E.C.R。;霍斯普，R.N.S。 一种新的有理数表示法，用于快速简便的运算。 （英语） Zbl 0479.68039号 SIAM J.计算。 8, 124-134 (1979); 勘误表同上，9217（1980）。MSC公司：68瓦99 11A63型 68N99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner}和\textit{R.N.S.Horspool}，SIAM J.Compute。8124--134（1979年；Zbl 0479.68039） 全文： 内政部
莫夫肖维奇，S.M。;O.A.丘卡维纳。 一类集合关于拟交的有效闭包。 （俄语） Zbl 0478.68080号 《现代拓扑学与集合论》，Interuniv第2期。工作收集。，Izhevsk 1979，67-71（1979）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式
尼古拉·坦达雷努 关于自动机实现的概率事件。 （英语） Zbl 0478.68053号 Craiova大学。材料Fiz-蜂鸣器。 7, 29-33 (1979).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Tandareanu}，Craiova大学，Ser。材料Fiz-蜂鸣器。7，29-33（1979年；兹bl 0478.68053）
约瑟夫·法尔金格 Universalität und Reduzierbarkeit von partiell rekursiven Funktitonen，Automaten，und deren Numerierungen。（论文）。 （德语） Zbl 0478.03021号 约翰内斯·开普勒林茨大学。117 S.（1979）。MSC公司：03日第10天 03D20日 03D45号 第68季度99 PDF格式BibTeX公司 XML格式
配件，Melvin C。 计算机的公理方法。 （英语） Zbl 0476.68038号 理论 45, 97-113 (1979).MSC公司：2005年第68季度 03天80 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Fitting}，理论45，97--113（1979；Zbl 0476.68038） 全文： 内政部
Khatskevich，V.Kh。;查查纳什维利（A.R.Chachanashvili）。 单参数两阶段非位置码的构造问题。 （俄语） Zbl 0475.94014号 特雷，维奇尔。Tsentr进口。N.I.Muskhelishvili 19，No.2，46-57（1979）。MSC公司：94磅40 65年第68季度 PDF格式BibTeX公司 XML格式
利索维克，L.P。 正则事件的刚性集有限覆盖。 （乌克兰语） 兹伯利0475.68033 多波夫。阿卡德。诺克乌克。RSR，序列号。A类 1979年，第5期，第374-376页（1979年）.MSC公司：65年第68季度 70年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Lisovik}，多波夫。阿卡德。诺克乌克。RSR，序列号。A 1979，374--376（1979；Zbl 0475.68033）
费伦茨·盖塞格;马格纳斯·斯坦比 树自动机的代数理论。二、。 （匈牙利语） Zbl 0475.68032号 Mat.笔记本电脑 27(1976), 283-336 (1979).MSC公司：70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Gécseg}和\textit{M.Steinby}，Mat.Lapok 27，283--336（1979；Zbl 0475.68032）
沃尔特·萨维奇。 处理器图形。 （英语） Zbl 0475.68005号 图文法及其在计算机科学和生物学中的应用，Bad Honnef国际研讨会，1978年，Lect。注释计算。科学。73, 418-425 (1979).MSC公司：68N25号 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
阿尼西莫夫。 离散回溯变换器。 （英语。俄文原件） Zbl 0475.68001号 控制论 15, 810-816 (1980); 译自Kibernetika 1979，第6期，35-40（1979）。MSC公司：68号01 68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Anisimov}，《控制论》15，810--816（1979；Zbl 0475.68001）；译自Kibernetika 1979年，第6期，第35-40页（1979） 全文： 内政部
埃德温·克鲁泽 象征着Mehrkörpersystemen的Bewegungsgleichungen。 （德语） Zbl 0473.70001号 Fortschritt-Berichte der VDI-Zeitschriften，Reihe 11:Schwingunstechnik，Lärmbekämpfung 32。杜塞尔多夫：VDI-Verlag GmbH.120 S.（1979）。 MSC公司：70B15号机组 70-04 68单位99 70层20 68问题55 70层25 68T50型 PDF格式BibTeX公司 XML格式
斯坦尼斯劳·拉齐索夫斯基 同步并行计算的逻辑和复杂性。 （英语） Zbl 0473.68018号 Pr.Inst.Podstaw Inf.Pol.公司。阿卡德。Nauk 353，31 p.（1979年）。MSC公司：68瓦99 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
瓦茨拉夫·拉吉利奇 计算机理论导论。（Uvod do teorie pocitacu）。 （捷克语） Zbl 0472.68002号 Matematicky硕士研讨会SNTL。12.普拉哈：SNTL-Nakladatelsvi Technike Literatury。161页Kcs。21.00 (1979).MSC公司：68-01 60年第68季度 68第05页 68N25号 PDF格式BibTeX公司 XML格式
阿兹里尔·罗森菲尔德 图片语言。图片识别的形式化模型。 （英语） Zbl 0471.68074号 计算机科学和应用数学。纽约-旧金山-伦敦：学术出版社。XIII、 225页31.50美元（1979年）。MSC公司：68吨10 65年第68季度 68-01 68-02 68问题80 PDF格式BibTeX公司 XML格式
格卢什科夫（V.M.Glushkov）。 从程序员的角度看形式理论的不完全性定理。 （英语。俄文原件） Zbl 0471.68023号 控制论 15, 155-159 (1979); 译自《Kibernetika 1979》，第2期，第1-5页（1979年）。MSC公司：68问题65 03D60年 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Glushkov}，控制论15，155--159（1979；Zbl 0471.68023）；译自Kibernetika 1979，No.2，1--5（1979） 全文： 内政部
Trakhtenbrot，学士。 算法语言的语义和逻辑。 （俄语） Zbl 0471.68022号 Semiotika公司。 13, 47-85 (1979).MSC公司：68问题65 68号01 68-02 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Trakhtenbrot}，Semiotika Inf.13，47--85（1979；Zbl 0471.68022）
A.唐。 波美加连锁酒店。 （英语） Zbl 0471.68009号 西奥。计算。科学。 9, 153-172 (1979).MSC公司：68第05页 06B99号 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \西奥，textit{A.Tang}。计算。科学。9、153--172（1979年；Zbl 0471.68009） 全文： 内政部
Gvozdev，S.E。 关于一些离散极值问题的ε最优解。 （俄语） 兹比尔0469.90059 向上。修女。 19, 31-39 (1979).MSC公司：90C09型 90立方厘米 65千5 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.E.Gvozdev}，Upr。修女。19、31——39（1979；Zbl 0469.90059）
Letichevskij，A.A。 一种程序分析方法。 （英语。俄文原件） Zbl 0469.68016号 控制论 15, 775-782 (1980); 译自Kibernetika 1979年，第6期，第1-8页（1979年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Letichevskij}，控制论15，775--782（1979；Zbl 0469.68016）；译自Kibernetika 1979，No.6，1-8（1979）
格沃兹德夫，S.E。 关于离散优化的两个问题。 （俄语） Zbl 0468.90049号 向上。修女。 19, 22-30 (1979).MSC公司：90立方厘米 90C09型 05C35号 65年第68季度 90立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{S.E.Gvozdev}，Upr。修女。19、22至30（1979年；Zbl 0468.90049）
珍妮斯·乌桑;佐兰·斯托亚科维奇 部分拟群的D-完全正交系。 （俄语） Zbl 0467.20053号 Zb.公司。Rad.、Prir.-Mat.Fak.、。，Novom Sadu大学 175-184年9月（1979年）.MSC公司：2005年5月20日 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Usan}和\textit{Z.Stojakovic}，Zb。Rad.、Prir.-Mat.Fak.、。，Novom Sadu大学。材料9，175--184（1979；Zbl 0467.20053）
迪特里希·施瓦茨 Beitrag zur代数。 （德语） Zbl 0467.03036号 数学。纳克里斯。 90, 249-256 (1979).MSC公司：05年3月 70年第68季度 03D20日 08A02号 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Schwartz}，数学。纳克里斯。90、249--256（1979年；Zbl 0467.03036） 全文： 内政部
Chebotarev，A.N。;V.N.Nikokenko。 异步电路的简单分解。 （英语。俄文原件） Zbl 0466.94035号 控制论 15, 828-834 (1980); 译自Kibernetika 1979，第6期，51-55（1979）。MSC公司：94立方厘米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Chebotarev}和\textit{V.N.Nikokenko}，控制论15，828--834（1979；Zbl 0466.94035）；译自Kibernetika 1979，No.6，51-55（1979） 全文： 内政部
科莫洛夫S.V。;马克耶夫，S.P。;塞洛夫，G.P。;谢赫诺夫，I.F。 具有模糊约束和模糊目标的有限自动机的最优控制。 （英语。俄文原件） 兹伯利0466.68049 控制论 15805-810（1980年）; 译自Kibernetika 1979，第6期，30-34（1979）。MSC公司：65年第68季度 91B06型 93英镑 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Komolov}等人，《控制论》15，805--810（1979；Zbl 0466.68049）；译自Kibernetika 1979年，第6期，30-34（1979）
约翰·霍普克罗夫特;珍妮·雅克·帕尼西奥 关于五维向量加法系统的可达性问题。 （英语） Zbl 0466.68048号 西奥。计算。科学。 8, 135-159 (1979).MSC公司：68问题85 03B25号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{J.Hopcroft}和\textit{J.-J.Pansiot}，Theor。计算。科学。8135-159（1979年；Zbl 0466.68048） 全文： 内政部 链接
海伦娜·拉西奥瓦 算法逻辑。多值扩展。 （英语） Zbl 0466.03009号 螺柱日志。 38, 317-335 (1979).MSC公司：03B60号 68瓦99 68号01 68问题65 03B50号 03G20年 PDF格式BibTeX公司 XML格式引用 \textit{H.Rasiowa}，研究日志。38、317--335（1979年；Zbl 0466.03009） 全文： 内政部
加布里埃尔·奥尔曼 控制图灵机的一些派生函数。 （英语） Zbl 0465.68039号 灯泡。塞尔维亚布拉索夫大学。C类 2103-112（1979年）.MSC公司：65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{G.Orman}，布尔。Brașov大学，Ser。C 21、103——112（1979年；Zbl 0465.68039）
普拉森，V.A。 有限自动机的弱等价性。 （英语。俄文原件） Zbl 0465.68024号 工程师Cybern。 17，第6号，90-95（1979）; Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1979年，第6期，117-122（1979）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Plaksin}，工程师Cybern。17，第6号，90-95（1979；Zbl 0465.68024）；Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1979年，第6期，117-122（1979）
刘易斯，P.M。;D.J.罗森克兰茨。;R.E.斯特恩斯。 编译器设计理论。（理论学家赫斯基·奥斯诺维·普罗克蒂罗瓦尼亚·科皮拉托罗夫）。Transl.公司。V.N.Arafonov摘自《英语》。 （俄语） Zbl 0464.68004号 莫斯科：“和平号”。第654页（1979年）。MSC公司：68-02 68季度xx 68T50型 68新元 PDF格式BibTeX公司 XML格式
埃米尔·波佩斯库 《盖纳特人的终结》倒排了类别形态。 （法语） Zbl 0464.18007号 灯泡。布拉索夫大学。C类 21, 123-126 (1979).MSC公司：18B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Popescu}，布尔。Brașov大学，Ser。C 21，123-126（1979；Zbl 0464.18007）
波佩斯库，E。 伽罗瓦省苏尔-莱斯连接。 （法语） Zbl 0463.68070号 数学在系统理论中的应用。内部符号。，布拉索夫/罗马尼亚，1978年，第二卷，321-324（1979）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式
约翰·普法尔茨。 描述二维表面网络集的图形语法。 （英语） Zbl 0463.68066号 图文法及其在计算机科学和生物学中的应用，Bad Honnef国际研讨会，1978年，Lect。注释计算。科学。73, 379-388 (1979).MSC公司：65年第68季度 05C99年 57卢比70 94C15号机组 PDF格式BibTeX公司 XML格式
莱斯利·兰波特 证明多进程程序正确性的新方法。 （英语） Zbl 0463.68022号 ACM事务处理。程序。语言系统。 1, 84-97 (1979).MSC公司：60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lamport}，ACM事务处理。程序。语言系统。184-97（1979年；Zbl 0463.68022） 全文： 内政部
Tsejtlin，G.E。 具有闭合逻辑条件的结构化程序方案的身份转换。 （英语。俄文原件） 兹伯利0463.68020 控制论 15652-660（1980年）; 翻译自Kibernetika 1979，编号5，44-51（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Tsejtlin}，控制论15，652--660（1979；Zbl 0463.68020）；译自Kibernetika 1979，No.5，44-51（1979） 全文： 内政部
汉斯·朗马克 关于程序设计语言中的决策问题理论。 （英语） Zbl 0463.68019号 信息处理的数学研究。国际会议，1978年京都，Lect。注释计算。科学。75, 538-558 (1979).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
罗伯特·康斯特布尔。;詹姆斯·多纳休（James E.Donahue）。 形式语义的层次方法，应用于PL/CS的定义。 （英语） Zbl 0463.68013号 ACM事务处理。程序。语言系统。 1, 98-114 (1979).MSC公司：68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Constable}和\textit{J.E.Donahue}，ACM Trans。程序。语言系统。1、98——114（1979年；Zbl 0463.68013） 全文： 内政部
A.波宁。;J.帕洛。 更改括号n-aires。二、。 （法语） Zbl 0462.68059号 牛市。数学。社会科学。数学。Répub餐厅。Soc.Roum公司。，努夫。Sér。 23(71), 231-236 (1979).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bonnin｝和\textit｛J.Pallo｝，公牛。数学。社会科学。数学。Répub。Soc.Roum公司。，努夫。Sér。23（71），231--236（1979；Zbl 0462.68059）
弗里瓦兹，R。 关于确定性和非确定性图灵机的运行时间。 （俄语） Zbl 0462.68028号 拉丁美洲。Mat.Ezheg公司。 23, 158-165 (1979).MSC公司：65年第68季度 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Freivalds}，拉丁。Mat.Ezheg公司。23、158--165（1979年；Zbl 0462.68028）
川原康夫;山口美里 关于状态行为机的最小实现和响应类别。 （英语） Zbl 0461.68058号 牛市。九州理工学院。，数学。自然科学。 26, 25-30 (1979).MSC公司：70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kawahara}和\textit{M.Yamaguchi}，公牛。九州理工学院。，数学。自然科学。26、25-30（1979年；Zbl 0461.68058）
彼得·德姆宾斯基;马卢斯·津斯基（Maluszynski，Jan） 两级语法：CF-grammars with equation schemes。 （英语） Zbl 0459.68048号 《自动化、语言和编程》，第六届Colloq.出版社，格拉茨，1979年，莱克托。注释计算。科学。71, 171-187 (1979).MSC公司：65年第68季度 68N20型 PDF格式BibTeX公司 XML格式
Marta S.de Gallego。 无上下文语言的特征。 （英语） 兹比尔0459.68046 美国科学院。布鲁塞尔，Sér。我 93, 155-158 (1979).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.S.de Gallego}，Ann.社会科学。布鲁克斯。，Sér。I 93，155--158（1979；Zbl 0459.68046）
卡尔顿·J·麦克森。;Kirby C.史密斯。 线性自动机的自同构。 （英语） Zbl 0459.68022号 J.计算。系统。科学。 19, 18-26 (1979).MSC公司：65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Maxson}和\textit{K.C.Smith}，J.Compute。系统。科学。19、18-26（1979年；Zbl 0459.68022） 全文： 内政部
Trakhtenbrot，学士。 算法逻辑的完整性。 （英语。俄文原件） Zbl 0459.68002号 控制论 15, 160-166 (1979); 译自《Kibernetika 1979》，第2期，第6-11页（1979年）。MSC公司：68瓦99 03B60号 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Trakhtenbrot}，《控制论》第15卷，第160-166页（1979年；Zbl 0459.68002）；译自Kibernetika 1979，No.2，6--11（1979） 全文： 内政部
霍尔，G。（编辑）;J.M.瓦特。（编辑） 常微分方程的现代数值方法。（Soveremennye chislennye metody resheniya obyknovennykh differential’nkh uravnenij）。Transl.公司。由V.V.Pospelov编辑的《英语》，A.D.Gorbunov编辑。 （俄语） 兹比尔0459.65048 莫斯科：“和平号”。第312页（1979年）。MSC公司：65磅 65-06 00A06号 65年第68季度 35K15型 35K20码 65N30型 65号35 34亿 65N40型 65N12号 34K10型 45J05型 PDF格式BibTeX公司 XML格式
雅科夫列夫，V.V。 内存有限的逻辑方案输出时随机序列的矩。 （英语。俄文原件） Zbl 0458.94066号 工程师Cybern。 17，第6期，96-102（1979）; Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1979年，第6期，第123-128页（1979年）。MSC公司：94立方厘米 94年04月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Yakovlev}，工程师Cybern。17，No.6，96--102（1979；Zbl 0458.94066）；Izv的翻译。阿卡德。Tekh Nauk SSSR公司。基伯恩。1979年，第6期，第123-128页（1979年）
Shyamasundar，R.K。 关于无语境语法的句法导向翻译的涵盖。 （英语） Zbl 0458.68030号 程序。印度科学院。科学。，第节。A、 第三部分 88，第1期，第1-19页（1979年）.MSC公司：68N20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Shyamasundar}，程序。印度科学院。科学。，第节。A、 第三部分88，编号1，1--19（1979；Zbl 0458.68030）
D.希什科夫。 自动机作为离散系统的基本模型。 （保加利亚语） Zbl 0458.68019号 Avtom公司。伊兹奇塞尔。泰克。 13，第5号，49-61（1979）.MSC公司：65年第68季度 93B99号 PDF格式BibTeX公司 XML格式引用 \文本{D.Shishkov}，Avtom。伊奇斯利特尔娜·泰克。13，编号5，49-61（1979年；Zbl 0458.68019）
Jerzy Tiuryn 唯一固定点与最小固定点（扩展抽象）。 （英语） Zbl 0458.68003号 《自动化、语言和编程》，第六届Colloq.出版社，格拉茨，1979年，莱克托。注释计算。科学。71, 633-645 (1979).MSC公司：60年第68季度 68号01 68问题55 第68季度99 2015年2月6日 PDF格式BibTeX公司 XML格式
Jerzy Tiuryn 无穷树幂集代数中的不动点（抽象）。 （英语） Zbl 0458.68002号 计算机科学数学基础。第八交响曲。，奥洛穆克语/捷克语。1979年，Lect。注释计算。科学。74, 443-452 (1979).MSC公司：60年第68季度 2015年2月6日 第68季度99 PDF格式BibTeX公司 XML格式
米歇尔·梅德斯法国 莫尔斯套房建议。 （英语） Zbl 0458.10008号 塞明。西奥。Nombres 1978-1979，Expose No.13，11 p.（1979）。MSC公司：11A63型 11路16号 2006年11月 65年第68季度 PDF格式BibTeX公司 XML格式 全文： 欧洲DML
Edsger W.Dijkstra。 程序反转。 （英语） Zbl 0457.68018号 项目建设，国际夏令营。，马克托伯多夫1978年，Lect。注释计算。科学。69, 54-57 (1979).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
Edsger W.Dijkstra。 找到并发程序的正确性证明。 （英语） Zbl 0457.68017号 项目建设，国际夏令营。，马克托伯多夫1978年，Lect。注释计算。科学。69, 24-34 (1979).MSC公司：60年第68季度 68N25号 03B10号机组 PDF格式BibTeX公司 XML格式
德巴克，J.W。 一个健全完整的部分程序正确性证明系统。 （英语） Zbl 0457.68016号 计算机科学数学基础。第八交响曲。，奥洛穆克语/捷克语。1979年，Lect。注释计算。科学。74, 1-12 (1979).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
阿基奥·阿达奇;Takumi Kasai;Etsuro Moriya 节目时间分析的理论研究。 （英语） Zbl 0457.68015号 计算机科学数学基础。第八交响曲。，奥洛穆克语/捷克语。1979年，Lect。注释计算。科学。74, 201-207 (1979).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
Sklyarevich，A.N.公司。 在“初始”情况下，具有可能故障的自动机的特征的析取表示。 （俄语） 兹比尔0456.94019 特奥。Konechnykh Avtom公司。普里洛日。 10, 115-130 (1979).MSC公司：94立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Sklyarevich}，特奥。科内克尼赫·阿夫托姆。普里洛日。10115--130（1979年；Zbl 0456.94019）
罗伯特·罗森 关于激活和抑制的一些评论。 （英语） Zbl 0456.92001号 牛市。数学。生物。 41, 427-445 (1979).MSC公司：92B05型 92Cxx码 37倍X 34天30分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rosen}，公牛。数学。生物学41，427--445（1979；Zbl 0456.92001） 全文： 内政部
克里斯托夫·鲁特瑙尔 林登迈耶安全协会。 （法语） Zbl 0456.68084号 西奥。计算。科学。 9, 363-375 (1979).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Reutenauer}，Theor。计算。科学。9363-375（1979年；Zbl 0456.68084） 全文： 内政部
卡雷尔·库利克二世;朱哈尼·卡胡马基 具有几乎无交互行为的交互L系统。 （英语） 兹比尔0456.68083 计算机科学数学基础。第8次研讨会。，奥洛穆克/捷克语。1979年，Lect。注释计算。科学。74, 246-257 (1979).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式
佐治亚州格罗兹基。;J·苏拉威基。 在确定性（k，m）机器上。二、。 （英语） Zbl 0456.68059号 修订版Roum。数学。Pures应用程序。 24, 567-572 (1979).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Grodzki}和\textit{J.Zurawiecki}，Rev.Roum。数学。Pures应用程序。24567--572（1979年；Zbl 0456.68059）