乔治·克雷塞尔 证明理论在寻找计算机程序中的一些应用。 （英文） Zbl 0439.03044号 Colloq.int.de Logique，Clermont-Fleard 1975，Colloq int.CNRS，第249号，第123-134页（1977年）。MSC公司：05年3月 20层03 60年第68季度 PDF格式BibTeX公司 XML格式
A.托恩。 聚类分析是全局优化模型中的一种工具。 （英文） 兹伯利0433.90071 控制论和系统的现代趋势，Proc。第三国际商会。，布加勒斯特1975年，第二卷，249-260（1977年）。MSC公司：90立方厘米 62H30型 65千5 60年第68季度 PDF格式BibTeX公司 XML格式
杜米特鲁，V。;鲁班，佛罗里达州。;莫加，S。;塞尔维亚人，R。 用于优化的混合类型算法。 （英文） Zbl 0433.90070号 控制论和系统的现代趋势，Proc。第三国际商会。，布加勒斯特1975年，第二卷，433-444（1977）。MSC公司：90立方厘米 65千5 90 C90 60年第68季度 91B62型 PDF格式BibTeX公司 XML格式
D.M.贝里。 高级语言中的指针和数据抽象。二： 正确性证明。 （英文） Zbl 0433.68013号 计算。语言。 2, 149-170 (1977).MSC公司：68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Berry}，计算。语言2，149--170（1977；Zbl 0433.68013） 全文： 内政部
D.M.贝里。;Z.埃利希。;C.J.卢塞纳。 高级语言中的指针和数据抽象。一： 语言建议。 （英文） 兹伯利0433.68012 计算。语言。 2, 135-148 (1977).MSC公司：68号01 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Berry}等人，计算。语言2，135--148（1977；Zbl 0433.68012） 全文： 内政部
范·埃姆登，M.H。 关系方程、语法和程序。 （英文） 兹比尔0426.68005 程序。Conf.理论计算机科学，滑铁卢/安大略1977，191-201（1977）。MSC公司：68问题65 03B10号机组 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
Solakhyan，S.A.公司。 Eine axiomatische Methode zum Beweis der Korrektheit von Programmen公司。 （俄语） Zbl 0425.68017号 多克。阿卡德。Nauk手臂。固态继电器 63(1976), 199-204 (1977).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Solakhyan}，多克。，阿卡德。Nauk手臂。SSR 63，199--204（1977；Zbl 0425.68017）
布林奇·汉森（Brinch Hansen，Per） 并发程序的体系结构。 （英文） Zbl 0424.68018号 自动计算中的Prentice-Hall级数。Englewood Cliffs，新泽西州：Prentice-Hall，Inc.XVII，317 p.$31.00（1977）。MSC公司：68-02 60年第68季度 第68页第25页 65年第68季度 68号01 PDF格式BibTeX公司 XML格式
Nepomnyashchij，V.A。 程序图的空问题。二、。 （英语。俄文原件） Zbl 0421.68014号 程序。计算。软件 3, 241-248 (1977); 翻译自Programmirovanie 1977，No.4，3-13（1977）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepomnyashchij}，程序。计算。柔和。3、241--248（1977年；Zbl 0421.68014）；译自Programmirovanie 1977，No.4，3--13（1977）
北卡罗来纳州Karpinskaya。 求解对偶线性规划问题的连续算法。 （英语。俄文原件） Zbl 0419.90065号 自动。远程控制 381106-1112（1977年）; Avtom翻译。Telemekh公司。1977年，第7期，197-204（1977）。MSC公司：90C05（二氧化碳） 65千5 41A25型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Karpinskaya}，汽车。遥控器38，1106--1112（1977；Zbl 0419.90065）；Avtom翻译。Telemekh公司。1977年，第7期，197--204（1977）
亚比切夫斯基。是的。 示例系统的自动构建。 （英语。俄文原件） 兹伯利0419.68027 程序。计算。软件 3, 210-218 (1977); 译自Programmirovanie 1977，第3期，60-70（1977）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Ya.Ya.Bichevskij}，程序。计算。柔和。3210--218（1977年；Zbl 0419.68027）；译自Programmirovanie 1977，No.3，60-70（1977）
瓦尔科夫斯基，V.A。 在块变量上并行操作模式。 （英语。俄文原件） Zbl 0419.68022号 程序。计算。软件 3, 11-16 (1977); 译自Programmirovanie 1977年，第1期，15-20页（1977年）。MSC公司：60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit｛V.A.瓦尔科夫斯基｝，程序。计算。柔和。3、11--16（1977年；Zbl 0419.68022）；译自Programmirovanie 1977，No.1，15-20（1977）
Solakhyan，S.A.公司。 包含过程和条件运算符的程序特性的证明。 （英语。俄文原件） Zbl 0419.68017号 程序。计算。软件 3, 107-114 (1977); 译自Programmirovanie 1977，第2期，28-36（1977）。MSC公司：60年第68季度 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Solakhyan}，程序。计算。柔和。3、107-114（1977年；Zbl 0419.68017）；译自Programmirovanie 1977，No.2，28-36（1977）
哈恰特里安，V.A。 图表类在强大的非退化基础上的逻辑项等价。 （英语。俄文原件） Zbl 0419.68016号 程序。计算。软件 3, 178-184 (1977); 译自Programmirovanie 1977，第3期，20-27（1977）。MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Khachatryan}，程序。计算。柔和。3178--184（1977年；Zbl 0419.68016）；译自Programmirovanie 1977，第3期，20-27（1977）
扎哈罗夫，V.N。;科兹米迪亚迪，V.A。 生成具有复杂结构链接的程序。 （英语。俄文原件） Zbl 0419.68015号 程序。计算。软件 3, 39-45 (1977); 译自Programmirovanie 1977，No.1，49-56（1977）。MSC公司：60年第68季度 68号01 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Zakharov}和\textit{V.A.Kozmidiadi}，程序。计算。柔和。3、39-45（1977年；Zbl 0419.68015）；翻译自Programmirovanie 1977，No.1，49-56（1977）
波德洛夫琴科，R.I。 程序的功能等价性及其建模。 （英语。俄文原件） Zbl 0419.68012号 程序。计算。软件 3, 88-106 (1977); 译自Programmirovanie 1977年，第2期，6-27页（1977年）。MSC公司：60年第68季度 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit｛R.I.波德洛夫琴科｝，程序。计算。柔和。3、88-106（1977年；Zbl 0419.68012）；译自Programmirovanie 1977，No.2，6--27（1977）
谢腾伯格，L.F。 确定变量兼容性的有效算法。 （英语。俄文原件） Zbl 0419.68003号 程序。计算。软件 3, 6-11 (1977); 译自Programmirovanie 1977，No.1，10-14（1977）。MSC公司：68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.F.Shternberg}，程序。计算。柔和。3、6--11（1977年；Zbl 0419.68003）；译自Programmirovanie 1977，No.1，10--14（1977）
斯托扬·比奇瓦罗夫 默认概念和教育系统。 （俄语） Zbl 0417.68008号 上帝。索菲吉。法国大学。马特·梅赫。 68(1973/1974), 43-49 (1977).MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{S.Bychvarov}，上帝。沙发。法国大学。马特·梅赫。68，43-49（1977年；兹bl 0417.68008）
卡尔·海因茨·博格沃德 Untersuchungen zur渐近线mittleren Schrittzahl von Simplexverfahren in der linearen Optimierung。 （德语） Zbl 0416.90041号 凯泽斯劳滕大学数学系。109 S.（1977年）。MSC公司：90C05（二氧化碳） 65千5 65年第68季度 90立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式
乔瓦尼·坎通纳;乔瓦尼·塔特奥 Generazione del grafo di un程序FORTRAN nel sisma ARPP。 （意大利语） Zbl 0416.68016号 里克郡。，Mat.Pure应用程序。，四、 序列号。9月28日-德意志。，65-86 (1977).MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式
斯米尔诺娃，T.N。;Aleksandrova，A.A。;北卡罗来纳州Stsiborskaya。 关于用时序机实现某些多重操作。 （俄语） Zbl 0413.68106号 扎普。瑙奇。塞明。列宁格。其他日期。Mat.Inst.Steklova公司 70, 184-204 (1977).MSC公司：68单位99 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.N.Smirnova}等人，Zap。瑙奇。塞明。列宁格。其他日期。材料研究所Steklova 70，184--204（1977；Zbl 0413.68106） 全文： 欧洲DML
罗伯特·托斯沃思（Robert C.Tausworthe）。 计算机软件的标准化开发。 （英文） Zbl 0412.68003号 Englewood Cliffs，新泽西州：Prentice-Hall，Inc.XIII，379 p.$26.95（1977）。MSC公司：68-01 68N99型 PDF格式BibTeX公司 XML格式
霍茨，G。 自动化理论和形式Sprachen。 （德语） Zbl 0411.68046号 棒球手套。数学。格式。数字数据记录器 1977年，第4期，23-63页（1977年）.MSC公司：65年第68季度 68-02 18秒20 65年第68季度 60年第68季度 20立方米 68N20型 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{G.Hotz}，米特。数学。格式。DDR 1977，编号4，23-63（1977；Zbl 0411.68046）
铃木、诺里希萨;戴维·杰斐逊 Presburger阵列程序的验证可判定性。 （英文） Zbl 0411.68017号 程序。Conf.理论计算机科学，滑铁卢/安大略1977，202-212（1977）。MSC公司：60年第68季度 68吨15 03B10号机组 PDF格式BibTeX公司 XML格式
约翰·赖夫（John H.Reif）。 代码运动。 （英文） 兹比尔0408.68021 程序。Conf.理论计算机科学，滑铁卢/安大略1977，11-20（1977）。MSC公司：60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式
罗伯特·康斯特布尔。;大卫·格里斯 关于程序图式的类。 （俄语） Zbl 0408.68019号 基伯恩。Sb.，11月系列。 14, 122-177 (1977).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Constable}和\textit{D.Gries}，Kibern。Sb.，11月系列。14、122--177（1977年；Zbl 0408.68019）
伦斯特拉，J.K。 通过枚举方法排序。 （英文） Zbl 0407.90025号 数学中心道。69.阿姆斯特丹：数学中心。十、 第198页（1977年）。MSC公司：90B35型 90-02 90-04 65年第68季度 65千5 60年第68季度 2015年1月5日 PDF格式BibTeX公司 XML格式
德米洛，R.A。;瓦拉万，K。;Sycara-Cyranski，E。 将调度作为同步并行计算模型的研究。 （英文） Zbl 0403.68027号 J.协会计算。机器。 24, 544-565 (1977).MSC公司：第68页第25页 60年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{R.A.DeMillo}等人，J.协会计算。机器。24、544--565（1977年；Zbl 0403.68027） 全文： 内政部
年轻，保罗 可证明等价程序之间的优化。 （英文） Zbl 0401.68016号 J.协会计算。机器。 24, 693-700 (1977).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Young}，J.协会计算。机器。24、693--700（1977年；Zbl 0401.68016） 全文： 内政部 链接
Jakubowski，R。;塞尔克，A。 系统的准语言表示及其应用。 （英文） Zbl 0397.68075号 波德斯特维·斯特罗瓦尼亚 7337-349（1977年）.MSC公司：65年第68季度 68岁20岁 68T50型 68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Jakubowski}和\textit{A.Szelc}，波多斯泰维·斯特罗瓦尼亚7，337--349（1977；Zbl 0397.68075）
罗兰达斯·马基维修斯 图形处理的编程语言。 （俄语） Zbl 0397.68019号 Avtom公司。Protsessov Planirovaniya Upr公司。第5-9-31页（1977年）。MSC公司：第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式
海因茨·卡彭斯特;霍斯特·赖切尔 非上下文无关语言的初始代数语义。 （英文） Zbl 0395.68070号 芬丹。计算。理论，程序。国际会议，波兹南·科尼克1977年，莱克特。注释计算。科学。56, 120-126 (1977).MSC公司：65年第68季度 68问题55 60年第68季度 03C65型 08A55号 PDF格式BibTeX公司 XML格式
梅斯巴，J.S。 编译期间程序的错误检测方法。 （波斯语） Zbl 0392.68012号 德黑兰J.数学。 1，第1期，第19页（1977年）.MSC公司：60年第68季度 第68页第25页 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Mesbah}，德黑兰J.数学。1，第1期，第19页（1977年；Zbl 0392.68012）
米尔纳，罗宾 类型化\（\lambda\）-结石的完全抽象模型。 （英文） 兹伯利0386.003006 西奥。计算。科学。 4, 1-22 (1977).MSC公司：03B40型 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Milner}，Theor。计算。科学。4、1--22（1977年；Zbl 0386.03006） 全文： 内政部 链接
Loeckx，J。 在编写程序时，对Korrektheits进行格式化。 （德语） 兹伯利0385.68010 西奥。计算。科学。，第三届GI Conf.，Darmstadt 1977，Lect。注释计算。科学。48, 190-207 (1977).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
迪特里希，E.-W。 Grobstrukturen für kontexfrie Grammatiken。 （德语） 兹伯利0383.68059 西奥。计算。科学。，第三届GI Conf.，Darmstadt 1977，Lect。注释计算。科学。48, 96-105 (1977).MSC公司：65年第68季度 68号01 60年第68季度 PDF格式BibTeX公司 XML格式
G.阿古齐。;塞萨里尼，F。;R·品扎尼。;皮波里尼，F。;苏打，G。 树操作语言实现的一些理论和应用方面。 （英文） Zbl 0383.68010号 Les Arbres en Algebre et en项目。，Deuxieme Colloq.de Lille，1977，1-19（1977）。MSC公司：68号01 60年第68季度 68第05页 第68页第25页 PDF格式BibTeX公司 XML格式
Jean-Pierre，Benejam 一阶逻辑公式的可满足性和程序停止的代数特征。 （英文） Zbl 0383.03008号 Z.数学。Logik Grundlagen数学。 23, 111-120 (1977).MSC公司：03B10号机组 03C99号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛J.-P.Benejam｝，Z.数学。Logik Grundlagen数学。23、111-120（1977年；Zbl 0383.03008） 全文： 内政部
科斯蒂尔科，V.S。 关于“for”型循环算子正确性的证明。 （俄语） Zbl 0382.68014号 基辅Kibernetika 1977年，第5号，55-59（1977）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Kostyrko}，Kibernetika 1977，第5号，第55-59页（1977；Zbl 0382.68014）
苏亚德·阿拉吉奇 关于结构良好的程序的正确性证明。二、。 （英文） Zbl 0382.68013号 材料容器。，N.序列号。 14(29), 264-269 (1977).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Alagic}，马特·维森。，N.序列号。14（29），264--269（1977；Zbl 0382.68013）
苏亚德·阿拉吉奇 关于结构良好的程序的正确性证明。一、。 （英文） Zbl 0382.68012号 材料容器。，N.序列号。 14(29), 252-261 (1977).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Alagic}，马特·维森。，N.序列号。14（29），252--261（1977；Zbl 0382.68012）
海伦娜·拉西奥瓦 算法逻辑。 （英文） Zbl 0382.03018号 Prace中心。奥比奇。波尔斯克。阿卡德。恶心 281205页（1977年）.MSC公司：03B60号 03B50号 03-02 68问题65 60年第68季度 68瓦99 03G20年 68-02 PDF格式BibTeX公司 XML格式引用 \textit{H.Rasiowa}，普拉斯中心。奥比奇。波尔斯克。阿卡德。瑙克281205页（1977年；Zbl 0382.03018）
贾诺斯·斯兰科 证明并行程序某些正确性的Petri网。 （英文） Zbl 0381.68023号 《年鉴》自动编程875-90（1977）。MSC公司：60年第68季度 68问题85 第68页第25页 PDF格式BibTeX公司 XML格式
马特温，S。 关于优化线性规划的一组变换的完备性。 （英文） Zbl 0381.68020号 信息处理。莱特。 6, 165-167 (1977).MSC公司：60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{S.Matwin}，Inf.过程。莱特。6165-167（1977年；Zbl 0381.68020） 全文： 内政部
斯皮里多诺娃，Margarita N。;瓦伦蒂娜·佩洛娃。 程序等价转换的一种应用。 （保加利亚语） Zbl 0381.68019号 上帝。索菲吉。法国大学。马特·梅赫。 68(1973/1974), 267-272 (1977).MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Spiridonova}和\textit{V.R.Pelova}，上帝。沙发。法国大学。马特·梅赫。68、267--272（1977年；Zbl 0381.68019）
霍尔顿，J。;旺德，I.C。 具有编程语言MODULA的经验。 （英文） Zbl 0381.68018号 《年鉴》自动编程8，3-11（1977）。MSC公司：68号01 60年第68季度 PDF格式BibTeX公司 XML格式
杰弗里·斯普林。 程序行为：模型和度量。 （英文） Zbl 0381.68014号 操作和编程系统系列。纽约-牛津-阿姆斯特丹：爱思唯尔。X、 277页，9.95美元（1977年）。MSC公司：68-02 60年第68季度 65年第68季度 68牛顿 PDF格式BibTeX公司 XML格式
马修·赫赫特（Matthew S.Hecht）。 计算机程序的流程分析。 （英文） Zbl 0381.68013号 编程语言系列。纽约-阿姆斯特丹-牛津：北荷兰。十三、 232页24.50美元；英国国防部。60.00（1977年）。MSC公司：68-02 60年第68季度 05C20号 PDF格式BibTeX公司 XML格式
Daniel H.Rindfleisch。 DUMP-Interprestationen bei Fehlern in OS-und OS/VS-Programmen der Systeme IBM/360 und IBM/370。Ein methodischer Leitfaden zur Lösung von Datei-und Programmproblemen是Beispiel von COBOL-FORTRAN-PL/I-und ASSEMBLER-Programmen。我们是美国人。冯·埃里奇·福贝克。 （德语） 兹比尔0381.68006 慕尼黑-维也纳：卡尔·汉斯·弗拉格。十二、 273 S.DM 44.00（1977年）。MSC公司：68-02 60年第68季度 68牛顿 68N99型 PDF格式BibTeX公司 XML格式