沃尔夫冈·卡恩兹纳 在尺寸调整中使用Entwicklung。 （德语） 兹比尔0506.01002 登克斯克尔。，奥斯特。阿卡德。威斯。，数学-自然。克利尼亚。 116, 9. 阿布。，143-165 (1979)。 审核人：弗里德里希·亨德（哥廷根） MSC公司：01A05号 01A73号 PDF格式BibTeX公司 XML格式引用 \textit{W.Kaunzner}，登克斯克尔。，厄斯特尔。阿卡德。威斯。，数学-自然。Kl.116、9。阿布。，143--165（1979年；Zbl 0506.01002） 全文： 内政部
大卫·H·T·。;Kim，Geung-Ho先生 信息功能的语用优化。 （英语） Zbl 0499.90078号 统计学中的优化方法。《国际会议》，孟买，1977年，167-181年（1979年）。MSC公司：90 C90 90立方厘米 94A40型 PDF格式BibTeX公司 XML格式
罗伯特·肖斯塔克。 一种实用的函数符号算术判定程序。 （英语） Zbl 0496.03003号 J.协会计算。机器。 26, 351-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格式
苏珊娜·吉娜丽 正则树和自由迭代理论。 （英语） Zbl 0495.68042号 J.计算。系统。科学。 18, 228-242 (1979)。MSC公司：99年第68季度 70年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ginali}，J.计算。系统。科学。18、228--242（1979年；Zbl 0495.68042） 全文： 内政部
瓦尔加，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年；Zbl 0492.68017）
理查德·林格（Richard C.Linger）。;哈兰·D·米尔斯。;伯纳德·维特。 结构化编程：理论与实践。 （英语） Zbl 0488.68007号 系统编程系列。马萨诸塞州雷丁：艾迪生-卫斯理出版公司。XIV、 402页18.95美元（1979年）。MSC公司：68-01 68新元 PDF格式BibTeX公司 XML格式
拉尔夫·廷德尔 涵盖有向图和结构化程序方案。 （英语） Zbl 0486.68015号 《图论专题》，纽约科学院。科学。第328214-208页（1979年）。MSC公司：60年第68季度 68号01 68兰特 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格式
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） 全文： 内政部
Letichevskij，A.A。 一种程序分析方法。 （英语。俄文原件） Zbl 0469.68016号 控制论 15775-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）
莱斯利·兰波特 证明多进程程序正确性的新方法。 （英语） 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） 全文： 内政部
谢特林，G.E。 具有闭合逻辑条件的结构化程序方案的身份转换。 （英语。俄文原件） Zbl 0463.68020号 控制论 15, 652-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的定义。 （英语） 兹伯利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） 全文： 内政部
Jerzy Tiuryn 唯一固定点与最小固定点（扩展抽象）。 （英语） Zbl 0458.68003号 《自动化、语言和编程》，第六届Colloq.出版社，格拉茨，1979年，莱克托。注释计算。科学。71, 633-645 (1979).MSC公司：60年第68季度 68号01 68问题55 99年第68季度 2015年2月6日 PDF格式BibTeX公司 XML格式
Jerzy Tiuryn 无穷树幂集代数中的不动点（抽象）。 （英语） Zbl 0458.68002号 计算机科学数学基础。第八交响曲。，奥洛穆克语/捷克语。1979年，Lect。注释计算。科学。74, 443-452 (1979).MSC公司：60年第68季度 2015年2月6日 99年第68季度 PDF格式BibTeX公司 XML格式
Edsger W.Dijkstra。 程序反转。 （英语） Zbl 0457.68018号 项目建设，国际夏令营。，1978年马尔托贝尔多夫，勒克特。注释计算。科学。69, 54-57 (1979).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
Edsger W.Dijkstra。 找到并发程序的正确性证明。 （英语） Zbl 0457.68017号 项目建设，国际夏令营。，1978年马尔托贝尔多夫，勒克特。注释计算。科学。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格式
波德洛夫琴科，R.N。 程序方案的功能和其他等效项。 （俄语） Zbl 0456.68023号 问题。Kibern。 35, 185-198 (1979)。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.N.Podlovchenko}，Probl（问题）。基伯恩。35、185--198（1979年；Zbl 0456.68023）
A.布达。 一种在具有可解等价问题的商店上进行计算的模型。 （英语。俄文原件） Zbl 0456.68022号 苏联。物理。，多克。 24146-147（1979年）; Dokl翻译。阿卡德。Nauk SSSR 245，40-42（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Buda}，Sov（苏联）。物理。，多克。24、146--147（1979年；Zbl 0456.68022）；Dokl翻译。阿卡德。诺克SSSR 245，40-42（1979）
米拉·布拉特纳;贾亚什雷·拉马纳森 结构化程序自顶向下设计的语法模型。 （英语） Zbl 0456.68021号 计算理论基础’79，Proc。Conf.，柏林/Windisch-Rietz 1979，71-83（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
奥尔斯纳姆（G.Oulsnam）。 圈数并不能衡量非结构化程序的复杂性。 （英语） Zbl 0456.68020号 信息处理。莱特。 9, 207-211 (1979)。MSC公司：60年第68季度 65年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Oulsnam}，Inf.流程。莱特。9、207--211（1979；Zbl 0456.68020） 全文： 内政部
埃尔肖夫，A.P。 递归程序混合计算的组织。 （英语。俄文原件） Zbl 0456.68019号 苏联。数学。，多克。 20, 382-386 (1979); Dokl翻译。阿卡德。Nauk SSSR 2451041-1044（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Ershov}，Sov（苏联）。数学。，多克。20382-386（1979年；Zbl 0456.68019）；Dokl翻译。阿卡德。诺克SSSR 245，1041--1044（1979）
约瑟夫·戈根（Joseph A.Goguen）。 OBJ-0语言的一些设计原则和理论，OBJ-0是一种表示和执行程序代数规范的语言。 （英语） 兹标0456.68011 信息处理的数学研究。国际会议，1978年京都，Lect。注释计算。科学。75, 425-473 (1979).MSC公司：68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式
Allen B.jun塔克。 文本处理。算法、语言和应用程序。 （英语） Zbl 0456.68006号 计算机科学和应用数学。纽约等：学术出版社（Harcourt Brace Jovanovich的子公司，出版商）。十二、 第171页，16.50美元（1979年）。MSC公司：68-01 60年第68季度 第68页第50页 68第20页 PDF格式BibTeX公司 XML格式
Anatolij布达 顺序程序机器的语言是共规则的。 （俄语） Zbl 0455.68035号 数学与数学教育，Proc。第八届春季Conf.Union Bulg。数学。，《阳光海滩》1979，93-100（1979）。MSC公司：65年第68季度 70年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
亨特，H.B.III 观察正则表达式问题的复杂性。 （英语） Zbl 0453.68015号 J.计算。系统。科学。 19222-236（1979年）。MSC公司：65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Hunt III}，J.计算。系统。科学。19、222--236（1979年；Zbl 0453.68015） 全文： 内政部
大卫·C·勒克姆。;铃木、诺里希萨 验证Pascal中的数组、记录和指针操作。 （英语） Zbl 0452.68014号 ACM事务处理。程序。语言系统。 1, 226-244 (1979)。MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.C.Luckham}和\textit{N.铃木}，ACM Trans。程序。语言系统。1226--244（1979；Zbl 0452.68014） 全文： 内政部
格雷格·纳尔逊;Derek C.奥本。 通过合作决策程序简化。 （英语） Zbl 0452.68013号 ACM事务处理。程序。语言系统。 1, 245-257 (1979)。MSC公司：60年第68季度 68问题65 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛G.Nelson｝和\textit｛D.C.Oppen｝，ACM Trans。程序。语言系统。1245--257（1979；Zbl 0452.68013） 全文： 内政部
大卫·格里斯 有时候比以往更好吗？ （英语） Zbl 0452.68012号 ACM事务处理。程序。语言系统。 1, 258-265 (1979)。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Gries}，ACM事务处理。程序。语言系统。1258-265（1979年；兹bl 0452.68012） 全文： 内政部
利迪亚Rutynowska 使用H图对Pascal子集进行语义描述。 （英语） Zbl 0449.68042号 斯普拉夫。仪表信息Uniw。瓦兹。80，52 P.（1979）。MSC公司：68问题55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
艾克·哈根·里德曼 用标记Petri网控制并行计算：关于多文件自动机和并行程序模式的研究。 （英语） Zbl 0449.68023号 多特蒙德大学Abteilung Informatik der Universityät Dortmund。四、 290斯波尔滕（1979）。MSC公司：68问题85 65年第68季度 99年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式
塞恩，I。 指定语义有一般规则：抽象模型理论的观察。 （英语） Zbl 0449.68007号 计算。语言学家。计算。语言。 13, 195-250 (1979)。MSC公司：68问题65 03B60号 03C55号 03立方厘米95 03B10号机组 03B15号机组 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Sain}，计算。语言学家。计算。Lang.13，195--250（1979；Zbl 0449.68007）
克劳斯·詹特克。 识别递归函数的策略的自然属性。 （英语） Zbl 0448.68006号 Elektron公司。通知-藜芦。凯伯内提克 15, 487-496 (1979)。MSC公司：60年第68季度 03D45号 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{K.P.Jantke}，Elektron公司。Informationsverarbeitung Kybernetik 15，487--496（1979；Zbl 0448.68006）
罗伯特·汤森。 具有成本高昂的国家验证的最优合同和竞争性市场。 （英语） Zbl 0446.90007号 《经济学杂志》。理论 21, 265-293 (1979)。MSC公司：91B50型 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Townsend}，J.Econ。理论21，265--293（1979；Zbl 0446.90007） 全文： 内政部 内政部
安德烈·哈纳尔;内梅蒂，I。 泛代数、模型理论和范畴在计算机科学中的应用。 （英语） Zbl 0446.68021号 计算。语言学家。计算。语言。 13, 251-282 (1979)。MSC公司：68问题65 68-02 00年1月15日 65年第68季度 18秒20 08C15号 60年第68季度 68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Hajnal}和\textit{I.Nemeti}，计算。语言学家。计算。Lang.13，251--282（1979；Zbl 0446.68021）
利索维克，L.P。 关于元线性方案的可解问题。 （乌克兰语） Zbl 0446.68005号 多波夫。阿卡德。诺克乌克。RSR，序列号。一个 1979, 129-132 (1979)。MSC公司：60年第68季度 1999年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Lisovik}，多波夫。阿卡德。诺克乌克。RSR，序列号。A 1979，129--132（1979；Zbl 0446.68005）
沃尔特·桑纳伯格 Konzeptstrukturen für Programmerstellung und-adaption公司。 （德语） Zbl 0446.68002号 卡尔斯鲁厄大学Fakultät für Informatik der Universityät Karlsruhe（技术学院）。105 S.（1979）。MSC公司：68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式
普拉特，V.R。 动态逻辑。 （英语） Zbl 0446.03018号 计算机科学基础。三、 第2部分：语言、逻辑、语义；数学。美分。第109、53-82卷（1979年）。MSC公司：03B60号 03-02 68-02 68问题65 60年第68季度 68号01 PDF格式BibTeX公司 XML格式
瓦尔科夫斯基。 带有预测的计算。 （英语。俄文原件） Zbl 0445.68018号 控制论 15, 43-51 (1979); 译自Kibernetika 1979，第1期，38-45（1979）。MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Val'kovskij}，《控制论》15，43-51（1979；Zbl 0445.68018）；译自Kibernetika 1979，No.1，38-45（1979） 全文： 内政部
伊特金，V.呃。 程序的信息结构化。 （英语。俄文原件） Zbl 0445.68011号 控制论 15, 31-42 (1979); 译自Kibernetika 1979，第1期，29-37（1979）。MSC公司：60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{V.Eh.Itkin}，控制论15，31-42（1979；Zbl 0445.68011）；译自Kibernetika 1979，No.1，29-37（1979） 全文： 内政部
波德洛夫琴科，R.I。 用于研究程序功能等价性的顺序程序模型。 （英语。俄文原件） Zbl 0445.68010号 控制论 15, 22-31 (1979); 译自《Kibernetika 1979》，第1期，第20-28页（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.I.Podlovchenko}，《控制论》15，22--31（1979；Zbl 0445.68010）；译自Kibernetika 1979，No.1，20-28（1979） 全文： 内政部
R·M·努里耶夫。 阵列上程序方案中的信息逻辑连接。 （英语。俄文原件） Zbl 0445.68009号 控制论 15, 90-100 (1979); 翻译自Kibernetika 1979，编号1，78-86（1979）。MSC公司：60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Nuriev}，控制论15，90--100（1979；Zbl 0445.68009）；译自Kibernetika 1979，No.1，78--86（1979） 全文： 内政部
瓦尔科夫斯基。 可变数组上的并行算子模式和最大并行问题。 （英语。俄文原件） 兹比尔0445.68007 控制论 15, 661-673 (1980); 翻译自Kibernetika 1979，第5期，52-63页（1979年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Val'kovskij}，《控制论》15，661--673（1979；Zbl 0445.68007）；译自Kibernetika 1979年，第5期，第52-63页（1979） 全文： 内政部
巴萨拉布，I.A。 元线性LA（1）文法和一元递归格式的等价变换。 （英语。俄文原件） Zbl 0444.68071号 控制论 15476-481（1980年）; 译自Kibernetika 1979年，第4期，第36-40页（1979年）。MSC公司：68N20型 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Basarab}，控制论15，476--481（1979；Zbl 0444.68071）；译自Kibernetika 1979年，第4期，36-40（1979） 全文： 内政部
Sabel'feld，V.K。 逻辑项等价性识别复杂性的多项式估计。 （英语。俄文原件） Zbl 0443.68031号 苏联。物理。，多克。 24, 954-956 (1979); Dokl翻译。阿卡德。Nauk SSSR 249、793-796（1979）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Sabel'feld}，Sov。物理。，多克。24、954--956（1979年；Zbl 0443.68031）；Dokl翻译。阿卡德。诺克SSSR 249，793--796（1979）
理查德·卢露;迈克利德斯（Michaelides）、埃利夫瑟里奥斯（Eleftherios） 多维0-1背包问题的新型贪婪启发式。 （英语） Zbl 0442.90058号 操作。物件。 27, 1101-1114 (1979)。MSC公司：90C09型 65千5 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Loulou}和\textit{E.Michaelides}，Oper。第27号决议，1101--1114（1979年；Zbl 0442.90058） 全文： 内政部
欧内斯特·马内斯。 部分添加语义：进度报告。 （英语） Zbl 0442.68009号 计算理论基础’79，Proc。Conf.，Berlin/Windisch-Rietz 1979，279-290（1979）。MSC公司：60年第68季度 第18天99 PDF格式BibTeX公司 XML格式
哈伊纳尔·安德烈卡;伊斯特万·内梅蒂;伊尔迪科·赛因 逻辑内和逻辑外的程序验证。 （英语） Zbl 0441.68024号 牛市。第节。逻辑，Pol。阿卡德。科学。 8, 124-129 (1979)。MSC公司：68问题65 60年第68季度 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{H.Andreka}等人，公牛。第节。逻辑，Pol。阿卡德。科学。8124-129（1979年；Zbl 0441.68024）
诺维科夫，E.S。;亚·赫塔古洛夫。答：。 监控和修正计算方法的可靠性。 （英语。俄文原件） Zbl 0439.68045号 程序。计算。软件 5, 414-420 (1979); 译自Programmirovanie 1979，第6期，75-82（1979）。MSC公司：68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.S.Novikov}和\textit{Ya.A.Khetagurov}，程序。计算。柔和。5、414--420（1979年；Zbl 0439.68045）；译自Programmirovanie 1979，No.6，75-82（1979）
南澳州奈吉扬。 具有记忆的图式的非等价性问题。 （英语。俄文原件） Zbl 0439.68030号 程序。计算。软件 5, 303-309 (1980); 译自Programmirovanie 1979，No.5，11-17（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Nigiyan}，程序。计算。柔和。5303--309（1979年；Zbl 0439.68030）；译自Programmirovanie 1979，No.5，11-17（1979）
阿尔汉格尔斯基，B.V。 一种分离算子方案中变量恒常域的算法。 （英语。俄文原件） 兹伯利0439.68029 程序。计算。软件 5, 235-244 (1979); 译自Programmirovanie 1979，第4期，16-28页（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.V.Arkhangel'skij}，程序。计算。柔和。5235-244（1979年；Zbl 0439.68029）；译自Programmirovanie 1979，No.4，16-28（1979）
Nepomnyashchij，V.A。;Sabel'feld，V.K。 消除标准程序模式中的身份分配。 （英语。俄文原件） Zbl 0439.68028号 程序。计算。软件 5, 249-256 (1979); 译自Programmirovanie 1979，第4期，34-43（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepomnyashchij}和\textit{V.K.Sabel'feld}，程序。计算。柔和。5249--256（1979年；Zbl 0439.68028）；译自Programmirovanie 1979，第4期，34-43（1979）
R·M·努里耶夫。 数组上的细分循环。 （英语。俄文原件） Zbl 0439.68027号 程序。计算。软件 5, 173-181 (1979); 译自Programmirovanie 1979，第3期，33-43（1979）。MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Nuriev}，程序。计算。柔和。5、173--181（1979年；Zbl 0439.68027）；译自Programmirovanie 1979，No.3，33-43（1979）
Trakhtenbrot，学士。 算法逻辑中的松弛规则。 （英语） Zbl 0438.68003号 计算机科学数学基础。第8次研讨会。，奥洛穆克语/捷克语。1979年，勒克特。注释计算。科学。74, 453-462 (1979).MSC公司：68问题65 60年第68季度 03B60号 PDF格式BibTeX公司 XML格式
格拉兹纳·米尔考斯卡 关于命题算法逻辑。 （英语） Zbl 0438.68002号 计算机科学数学基础。第八交响曲。，奥洛穆克语/捷克语。1979年，Lect。注释计算。科学。74, 381-389 (1979).MSC公司：68问题65 60年第68季度 03B45号 03B60号 PDF格式BibTeX公司 XML格式
威廉·W·阿格雷斯蒂。 树结构程序中的寄存器分配。 （英语） Zbl 0436.68016号 信息科学。 18, 83-94 (1979)。MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.W.Agresti}，信息科学。18、83——94（1979年；Zbl 0436.68016） 全文： 内政部 链接
Maggiolo-Schettini，A。;Uccella，G。 SOL：定义语言的练习。 （英语） Zbl 0436.68014号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 2, 337-349 (1979)。MSC公司：60年第68季度 68问题65 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{A.Maggiolo-Schettini}和\textit{G.Uccella}，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.2，337--349（1979；Zbl 0436.68014）
里扎德·贾尼基 利用协同程序向量分析协同程序。 （英语） 兹伯利0436.68013 安.社会.数学。政策。，序列号。四、 芬丹。信息。 2, 289-316 (1979)。MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}，安.社会数学。政策。，序列号。四、 芬丹。Inf.2，289--316（1979；Zbl 0436.68013）
劳赫，E。 在一个wendungsorientierten系统中，Einige Aspekte der Auswahl und Realisierung numerischer Verfahren。 （德语） Zbl 0435.65005号 理论与实践中的近似，交响乐。Siegen 1979，269-290（1979）。MSC公司：65C20个 65吨40 90B10型 00A06号 60年第68季度 65D20个 PDF格式BibTeX公司 XML格式
克劳斯·罗勒夫 一种稳定的线性SIP多重交换算法。 （英语） Zbl 0434.90057号 半无限编程。Bad Honnef 1978车间，Lect。票据控制信息科学。15, 83-96 (1979).MSC公司：90C05（二氧化碳） 65千5 60年第68季度 PDF格式BibTeX公司 XML格式
尼西姆·弗朗西兹;C.A.R.霍尔。;丹尼尔·莱曼。;de Roever，Willem P。 不确定性、并发性和通信的语义。 （英语） Zbl 0434.68066号 J.计算。系统。科学。 19, 290-308 (1979)。MSC公司：68问题55 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人，J.Compute。系统。科学。19、290--308（1979年；Zbl 0434.68066） 全文： 内政部 链接
阿尔弗雷德·洛塔尔 Zur enginieurwissenschaftlichen Theorye von Rechensystemen。 （德语） Zbl 0434.68005号 纽伦堡爱尔兰根大学数学研究所与Datenverabeitung（Informatik）第12页，第4页。爱尔兰根大学：爱尔兰根-纽伦堡大学，马萨诸塞州数学研究所和Datenverabeitung（Informatik）。165页。(1979).MSC公司：68N99型 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Luft}，Zur enginieurwissenschaftlichen Theorye von Rechensystemen。埃朗根大学：埃朗根-纽伦堡大学数学研究所与Datenverabeitung（Informatik）（1979；Zbl 0434.68005）
布丽塔·辛泽尔 有限域上转换的复杂性。 （英语） Zbl 0433.68042号 Elektron公司。通知-藜芦。凯伯内提克 15, 621-628 (1979)。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Schinzel}，Elektron公司。Informationsverarbeitung Kybernetik 15，621--628（1979；Zbl 0433.68042）
普拉特，V.R。 动态逻辑。 （英语） Zbl 0433.68031号 计算机科学基础。三、 第2部分：语言、逻辑、语义；数学。美分。第109、53-82卷（1979年）。MSC公司：68问题65 68瓦99 68号01 03B45号 PDF格式BibTeX公司 XML格式
回来，Ralph Johan 关于正确细化程序的概念。 （英语） Zbl 0433.68018号 程序。第五次扫描。逻辑交响乐。，奥尔堡1979，45-57（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
马加里亚，I。;梅奥（Meo，A.R.）。;M.扎基。 并行计算结构化模型中的确定性和最大并行性。 （英语） Zbl 0431.68020号 卡尔科洛 16, 305-333 (1979)。MSC公司：60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{I.Margaria}等人，Calcolo 16，305-333（1979；Zbl 0431.68020） 全文： 内政部
纳鸿·德肖维茨;佐哈尔·曼纳 用多集排序证明终止。 （英语） Zbl 0431.68016号 Commun公司。ACM公司 465-476年（1979年）。MSC公司：60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{Z.Manna}，Commun。ACM 22，465--476（1979；Zbl 0431.68016） 全文： 内政部
J.莱维。;德弗拉米克，K。;休恩斯，J。;Huybrechts，M。 编译器构造中的编程方法。第1部分：概念。 （英语） Zbl 0431.68006号 阿姆斯特丹、纽约、牛津：北荷兰出版公司。二十、 308页41.50美元；英国国防部。85.00 (1979).MSC公司：68-02 68号01 60年第68季度 PDF格式BibTeX公司 XML格式
D.兰考。（编辑） 操作系统。理论与实践。第二届操作系统理论与实践国际研讨会论文集，由IRIA和卡内基梅隆大学组织，法国罗克森科特，1978年10月2日至4日。 （英语） 兹伯利0431.68001 阿姆斯特丹、纽约、牛津：北荷兰出版公司。八、 398页48.75美元；英国国防部。100.00 (1979).MSC公司：68-06 00亿Bxx 60年第68季度 68N25号 68平方米 65年第68季度 PDF格式BibTeX公司 XML格式
阿拉泽夫，B.M。;科科托夫，V.M。 程序中检查点之间的最佳间隔。 （英语。俄文原件） Zbl 0429.68039号 自动化。远程控制 40, 1531-1536 (1980); Avtom翻译。Telemekh公司。1979年，第10期，157-164（1979）。MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛B.M.Aladzev｝和\textit｛V.M.Kokotov｝，奥托姆。遥控器40，1531--1536（1979；Zbl 0429.68039）；Avtom翻译。Telemekh公司。1979年，第10157-164号（1979年）
Pravil’schchikov，P.A.公司。;什切宾，V.S。 以对话模式编译结构程序，并生成并发测试。 （英语。俄文原件） Zbl 0429.68027号 自动化。远程控制 40, 1205-1213 (1980); Avtom翻译。泰尔梅克。1979年，第8期，129-138（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Pravil’schchikov}和\textit{V.S.Shchepin}，汽车。遥控器40，1205--1213（1979；Zbl 0429.68027）；Avtom翻译。泰尔梅克。1979年，第8期，129--138（1979）
G.D.泰勒。 数据拟合：一些自适应方法。 （英语） Zbl 0429.65005号 理论与实践中的近似，交响乐。Siegen 1979，291-304（1979）。MSC公司：65日第10天 60年第68季度 PDF格式BibTeX公司 XML格式
土地，A。;鲍威尔，S。 整数编程问题的计算机代码。 （英语） Zbl 0428.90048号 离散数学。5, 221-269 (1979).MSC公司：90立方厘米 90立方厘米 90-04 60年第68季度 65千5 PDF格式BibTeX公司 XML格式引用 \textit{A.Land}和\textit{S.Powell}，Ann.离散数学。5221-269（1979年；兹bl 0428.90048） 全文： 内政部
乔治·杰尔马诺;安德烈亚·马吉奥洛·谢蒂尼 用于堆栈程序语义的可计算堆栈函数。 （英语） Zbl 0428.68057号 J.计算。系统。科学。 19, 133-144 (1979)。MSC公司：03D60年 03D20日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Germano}和\textit{A.Maggiolo-Schettini}，J.Compute。系统。科学。19、133--144（1979年；Zbl 0428.68057） 全文： 内政部
赫尔曼·威贾贾 优化Zerlegung von Netzen和Optimierung des Proze verhaltens im Adre raum的模具。 （德语） Zbl 0428.68038号 纽伦堡爱尔兰根大学数学研究所与Datenverabeitung（Informatik）12号，第8条。埃朗根大学：埃朗根-纽伦堡大学，数学研究所与Datenverabeitung（Informatik）（Diss.）。iv，第236页。(1979).MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Widjaja}，Die optimize Zerlegung von Netzen und Die Optimierung des Prozeßverhaltens im Adre \223]raum。埃朗根大学：埃朗根-纽伦堡大学数学研究所与Datenverabeitung（Informatik）（Diss.）（1979；Zbl 0428.68038）
保罗·W·亚伯拉罕。;Lori A.Clarke。 编写数据列表的时间分析-格式列表对应关系。 （英语） Zbl 0428.68037号 IEEE传输。软件工程。 5, 612-617 (1979)。MSC公司：68N25号 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.W.Abrahams}和\textit{L.A.Clarke}，IEEE Trans。柔和。工程5，612--617（1979；Zbl 0428.68037） 全文： 内政部
佩奎诺，T.H。;C.J.卢塞纳。 数据类型规范的一种方法及其在程序验证中的使用。 （英语） Zbl 0428.68026号 信息处理。莱特。 8, 98-103 (1979)。MSC公司：68第05页 68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.H.Pequeno}和\textit{C.J.Lucena}，Inf.Process。莱特。8、98——103（1979年；Zbl 0428.68026） 全文： 内政部
波托辛，I.V。 程序优化算法基础。 （英语。俄文原件） 兹比尔0428.68025 程序。计算。软件 5, 77-85 (1979); 译自Programmirovanie 1979，No.2，3-13（1979）。MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Pottosin}，程序。计算。柔和。5、77-85（1979年；Zbl 0428.68025）；译自Programmirovanie 1979，No.2，3--13（1979）
Carlos J.P.卢塞纳。;塔里西奥·H·C·佩奎诺。 使用数据类型派生程序：案例研究。 （英语） Zbl 0428.68023号 IEEE传输。软件工程。 5, 586-592 (1979)。MSC公司：60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.J.P.Lucena}和\textit{T.H.C.Pequeno}，IEEE Trans。柔和。工程5，586--592（1979；Zbl 0428.68023） 全文： 内政部
Shukuryan，S.K。 关于程序模式与非退化语句的功能等价性的一个结果。 （英语。俄文原件） Zbl 0428.68022号 程序。计算。软件 5, 106-113 (1979); 译自Programmirovanie 1979，第2期，41-49（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Shukuryan}，程序。计算。柔和。5、106-113（1979年；Zbl 0428.68022）；译自Programmirovanie 1979，No.2，41-49（1979）
哈恰特里安，V.E。 Yanov模式的D-等价表示变换（一般情况）。 （英语。俄文原件） Zbl 0428.68021号 程序。计算。软件 5，1-7（1979年）; 译自Programmirovanie 1979，No.1，3-10（1979）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.E.Khachatryan}，程序。计算。柔和。5、1--7（1979年；Zbl 0428.68021）；译自Programmirovanie 1979，No.1，3--10（1979）
Nepejvoda，N.N。 用正确的子程序合成正确的程序。 （英语。俄文原件） Zbl 0428.68020号 程序。计算。软件 5, 10-19 (1979); 译自Programmirovanie 1979，第1期，15-25页（1979）。MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Nepejvoda}，程序。计算。柔和。5、10-19（1979年；Zbl 0428.68020）；译自Programmirovanie 1979，No.1，15-25（1979）
艾伦·F·巴比奇。 证明并行程序的完全正确性。 （英语） Zbl 0428.68019号 IEEE传输。软件工程。 5, 558-574 (1979)。MSC公司：60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Babich}，IEEE Trans。柔和。工程师5558-574（1979年；Zbl 0428.68019） 全文： 内政部
迪米特里·贝尔塞卡斯;埃利·加夫尼;Kenneth S.Vastola。 网络中流量最优路由算法的验证。 （英语） Zbl 0427.90084号 程序。1978年IEEE决策和控制会议，包括第17交响乐团。关于自适应过程，圣地亚哥/加利福尼亚，1979，220-227（1979）。MSC公司：90立方厘米 90B10型 60年第68季度 65千5 94A05型 PDF格式BibTeX公司 XML格式
哈克巴思，K.D。 在Netzen的Algorithmen zur Berechnung minimaler disjunkter Wege。 （德语） Zbl 0427.90081号 程序。操作。DGOR ann.Meet第8号决议。，柏林1978，87-93（1979）。MSC公司：90立方厘米 90B10型 65千5 60年第68季度 05C35号 PDF格式BibTeX公司 XML格式
广岛基斯;茨城，东芝;我的，久志 具有准备时间的单机最大延迟调度问题的六种近似算法的性能分析。 （英语） Zbl 0427.90049号 《运营杂志》。Res.Soc.日本 22, 205-224 (1979)。MSC公司：90B35型 65千5 65K10码 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kise}等人，J.Oper。日本研究院22，205-224（1979；Zbl 0427.90049） 全文： 内政部
格热戈兹·贾泽姆布斯基 斯科特流程图的代数方法。 （英语） Zbl 0427.68043号 代数模型，Kategorien和Gruppoide；Stud.代数Anwend。，Bd.7105-109（1979）。MSC公司：68问题65 68号01 60年第68季度 18个C20 06B23号 PDF格式BibTeX公司 XML格式
P·萨尔。 注意控制结构语义。 （法语） Zbl 0427.68027号 泰奥尔新闻，拉伊罗。 13, 185-188 (1979)。MSC公司：68N25号 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Salle}，RAIRO，Inf.Théor。13、185--188（1979年；Zbl 0427.68027） 全文： 欧洲DML
托马斯·穆尔德纳 关于并行程序的编译。 （英语） Zbl 0427.68024号 Pr.Inst.Podstaw Inf.Pol.公司。阿卡德。Nauk 354，39 P.（1979年）。MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;理查德·沃尔丁格 程序综合的演绎方法。 （英语） Zbl 0427.68023号 程序。第五次扫描。逻辑交响乐。，奥尔堡1979，97-141（1979）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式
Koh和Hikyoo;Chuang，Henry Y.H。 寻找程序的最小基路径集。 （英语） Zbl 0427.68020号 国际计算机杂志。通知。科学。 8, 473-488 (1979)。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Koh}和\textit{H.Y.H.Chuang}，国际计算机杂志。通知。科学。8473-488（1979年；Zbl 0427.68020） 全文： 内政部
伊夫·科德拉托夫 由有限个示例和LISP程序方案合成的一类函数。 （英语） 兹比尔0427.68019 国际计算机杂志。通知。科学。 8, 489-521 (1979)。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kodratoff}，国际计算机杂志。通知。科学。8、489--521（1979年；Zbl 0427.68019） 全文： 内政部
南澳州奈吉扬。 自由图式不等价的部分可判定性。 （英语。俄文原件） Zbl 0427.68018号 程序。计算。软件 5, 93-101 (1979); 译自Programmirovanie 1979，第2期，23-33（1979）。MSC公司：60年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Nigiyan}，程序。计算。柔和。5、93——101（1979年；Zbl 0427.68018）；译自Programmirovanie 1979，No.2，23-33（1979）
伊莱恩·韦尤克。 程序模式结果对程序的适用性。 （英语） Zbl 0427.68017号 国际计算机杂志。通知。科学。 8, 387-403 (1979)。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Weyuker}，国际计算机杂志。通知。科学。8、387--403（1979年；Zbl 0427.68017） 全文： 内政部
罗伯特·B·安德森。 证明程序正确。 （英语） Zbl 0427.68007号 纽约、奇切斯特、布里斯班、多伦多：John Wiley&Sons。八、 184页10.75美元；£5.40 (1979).MSC公司：60年第68季度 68-01 PDF格式BibTeX公司 XML格式