雷扎·福阿德·拉赫马迪;Purnama,I Ketut Eddy我是Ketut Emdy;努格罗霍,苏佩诺·马尔迪·苏西基;尤扬·库斯内达尔·苏普拉普托 基于金字塔注意网络的双卷积神经网络分类器用于基于图像的亲属关系验证。 (英语) Zbl 07777131号 《网络学报》。 24,第2期,215-241(2023).MSC公司:68米10 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Rachmadi}等人,《赛博行动》。24,第2号,215--241(2023;Zbl 07777131) 全文: 内政部
达尼尔·霍帕西;朱迪特·科塞基;Németh,Dávid J。 面向可信程序重构的通用框架。 (英语) Zbl 1524.68090号 《网络学报》。 25,编号4,753-779(2022).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Horpácsi}等人,《网络学报》。25,编号4,753--779(2022;Zbl 1524.68090) 全文: 内政部
达尼尔·达瓦西;安德拉斯·Vörösy;塔马斯·巴塔 改进基于饱和度的有界模型检查。 (英语) Zbl 1363.68094号 《网络学报》。 22,第3期,573-589(2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Darvasy}等人,《网络学报》。22,第3号,573--589(2016;Zbl 1363.68094) 全文: 内政部
阿科斯·哈伊纳尔;伊斯坦布尔福加奇 了解程序切片。 (英语) Zbl 1274.68073号 《网络学报》。 20,第4期,483-497(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{阿尔·哈伊纳尔}和\textit{I.Forgács},《网络学报》。20,第4号,483--497(2012;Zbl 1274.68073) 全文: 内政部
亚当·科普洛夫斯基;约翰内斯·沃尔德曼 用于终止术语重写的Max/Plus树自动机。 (英语) Zbl 1224.68041号 《网络学报》。 19,第2期,357-392(2009).MSC公司:2012年第68季度 65年第68季度 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{A.Koprowski}和\textit{J.Waldmann},《网络学报》。19,第2号,357--392(2009;Zbl 1224.68041)
比佐,米哈伊;克里斯蒂安·波查;伊斯坦布尔福加奇;佐尔坦波科拉布 在C++特定环境中有效回归测试生成的新概念。 (英语) Zbl 1164.68001号 《网络学报》。 18,第3期,481-501(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Biczó}等人,《网络学报》。18,编号3,481--501(2008;兹bl 1164.68001)
盖尔盖·德瓦伊 用于正确性证明的编程语言元素。 (英语) Zbl 1164.68320号 《网络学报》。 18,第3期,403-425(2008).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Dévai},《网络学报》。18,第3号,403--425(2008;Zbl 1164.68320)
马泰·特伊费尔;Horváth,佐尔坦;塔马斯·科兹克 用对象抽象扩展spark核心语言。 (英语) Zbl 1101.68454号 《网络学报》。 17,第2期,419-445(2005).MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Tejfel}等人,《网络学报》。17,No.2,419--445(2005;Zbl 1101.68454)
巴拉兹·乌格伦;萨博尔斯·哈达拉;拉兹洛·科兹马 综合通用管道系统的同步。 (英语) Zbl 1080.68017号 《网络学报》。 第123-151号第17页(2005年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Ugron}等人,《网络学报》。17,第1号,第123--151条(2005;Zbl 1080.68017)
维德拉什库,C。 收发系统建模。 (英语) Zbl 1027.68015号 《网络学报》。 16,第1期,147-154(2003).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{C.Vidrašcu},《网络学报》。16,第1号,147--154(2003;Zbl 1027.68015)
瓦赫·科特卡斯 分布式程序合成器。 (英语) Zbl 1012.68011号 《网络学报》。 15,第4期,567-581(2002). 审核人:达纳·佩特库(蒂米索拉) MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Kotkas},网络学报。15,第4号,567--581(2002;Zbl 1012.68011)
马库斯·洛伊 关于将逻辑程序转换为属性文法的NP-完全性结果。 (英语) Zbl 0926.68070号 《网络学报》。 13,第3号,209-224(1998).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey},《网络学报》。13,第3209-224号(1998年;兹bl 0926.68070)
Horváth,佐尔坦 关联函数值的并行异步计算。 (英语) Zbl 0830.68084号 《网络学报》。 12,第1期,83-94(1995).MSC公司:60年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{Z.Horváth},《网络学报》。12,编号1,83--94(1995;Zbl 0830.68084)
维吉尔·埃米尔·卡兹内斯库;罗地卡Ceterchi 初始一致性和最终一致性。 (英语) Zbl 0772.08004号 《网络学报》。 10,第3期,199-215(1992). 审核人:S.Bloom(霍博肯) MSC公司:08A70号 18日第10天 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.E.Cznescu}和\textit{R.Ceterchi},《网络学报》。10,第3号,199--215(1992;Zbl 0772.08004)
R·廷德尔。 覆盖态射和唯一最小D-方案。 (英语) Zbl 0741.68076号 演员赛本。 10,编号1-2,101-112(1991).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Tindell},《网络学报》。10,编号1--2,101-112(1991;Zbl 0741.68076)
雷诺·库基·苏尼奥 面向支持程序派生或控制被认为有害的模块化的语言。 (英语) Zbl 0705.68027号 《网络学报》。 9,第3号,179-192(1990).MSC公司:68甲15 60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kurki-Soonio},《网络学报》。9,第3号,179--192(1990;Zbl 0705.68027)
艾莫·托恩。 PICA-图形程序开发工具。 (英语) Zbl 0703.68025号 《网络学报》。 9,第3号,303-321(1990).MSC公司:68号01 68单位05 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.A.Törn},《赛博人》。9,第3号,303--321(1990;Zbl 0703.68025)
阿尔瓦雷兹·吉尔,R。;阿拉巴马州马凯。 并行编程结构和属性语法。 (英语) Zbl 0688.68070号 《网络学报》。 9,第2期,133-141(1989). 审核人:F.L.认罪 MSC公司:65年第68季度 68问题55 60年第68季度 68号01 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alvarez Gil}和\textit{Á.Makey},Acta Cybern。9,第2号,133--141(1989;Zbl 0688.68070)
洪,D.V。;科努特,E。 用于通信顺序进程的非交互语义:定点方法。 (英语) Zbl 0651.68026号 《网络学报》。 8,第3期,293-311(1987). 审核人:E.克努特 MSC公司:68N25号 68问题85 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Hung}和\textit{E.Knuth},网络学报。8,第3号,293--311(1987;Zbl 0651.68026)
M.巴塔。 流程图方案的有限公理化。 (英语) Zbl 0624.68022号 《网络学报》。 8,第2期,203-217(1987).MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartha},《网络学报》。8,第2号,203--217(1987;Zbl 0624.68022)
Nguyen Huu Chien EBE:一种语言,用于指定调试期间程序的预期行为。 (英语) Zbl 0624.68021号 《网络学报》。 8,No.2,177-190(1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Nguyen Huu Chien},网络学报。8,第2号,177--190(1987;Zbl 0624.68021)
斯蒂芬·布鲁姆。;拉尔夫·廷德尔 关于零同余的注记。 (英语) 兹比尔06212.18004 《网络学报》。 8,No.1,1-4(1987).MSC公司:18立方厘米 18D20天 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{R.Tindell},《网络学报》。8,No.1,1--4(1987;Zbl 0622.18004)
西蒙,E。 使用属性语法的新编程方法。 (英语) Zbl 0605.68005号 演员赛本。 7, 425-436 (1986).MSC公司:68号01 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Simon},《网络学报》。7、425--436(1986年;Zbl 0605.68005)
阿尔瓦雷兹·吉尔,R。 通过属性文法给出非确定性并行编程结构的数学语义。 (英语) Zbl 0604.68024号 《网络学报》。 7413-423(1986年).MSC公司:68N25号 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alvarez Gil},《网络学报》。7413-423(1986年;Zbl 0604.68024)
埃西克,Z。 关于Elgot的流程图的弱等价性。 (英语) Zbl 0579.68035号 《网络学报》。 7, 147-154 (1985). 审核人:S.布鲁姆 MSC公司:99年第68季度 60年第68季度 68兰特 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik},《网络学报》。7、147--154(1985年;Zbl 0579.68035)
Ecsedi-Tóth,P。;图里,L。 关于零阶插值的个数。 (英语) Zbl 0561.0302号 《网络学报》。 6, 425-436 (1983). 审核人:A.克雷茨马尔 MSC公司:03B05号 03C40号 2015年1月5日 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.Ecsedi-Tóth}和\textit{L.Turi},《赛博法案》。6、425--436(1983年;Zbl 0561.0302)
埃塞迪·托斯,P。 有限函数理论。一: 关于与某些有限函数相关联的有限树。 (英语) Zbl 0523.08003号 《网络学报》。 6, 213-225 (1983).MSC公司:08A40号 03E20型 05二氧化碳 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Ecsedi Toth},Cybern女演员。6213-225(1983年;Zbl 0523.08003)
Csirmaz,L。 关于证明部分正确性的完备性。 (英语) Zbl 0461.68019号 《网络学报》。 5, 181-190 (1981).MSC公司:60年第68季度 68问题65 03C30号 99年3月 PDF格式BibTeX公司 XML格式引用 \textit{L.Csirmaz},网络学报。1811-190(1981年;兹bl 0461.68019)
瓦尔加,L。 抽象算法的合成。 (英语) Zbl 0461.68014号 《网络学报》。 5, 59-76 (1980).MSC公司:60年第68季度 68号01 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{L.Varga},《网络学报》。5、59--76(1980年;Zbl 0461.68014)
塔马斯·盖格利;Úry,拉斯洛 一阶经典逻辑框架内的非确定性规划。二、。 (英语) Zbl 0451.68030号 《网络学报》。 4,第4期,355-375(1980).MSC公司:68问题65 68号01 60年第68季度 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Gergely}和\textit{L.ru ry},《网络学报》。4,编号4,355--375(1980;Zbl 0451.68030) 全文: 链接
塔马斯·盖格利;拉兹洛里 一阶经典逻辑框架内的非确定性编程。一、。 (英语) Zbl 0451.68029号 《网络学报》。 4,第4号,333-354(1980).MSC公司:68问题65 68号01 60年第68季度 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Gergely}和\textit{L.ru ry},《网络学报》。4,编号4,333--354(1980;Zbl 0451.68029) 全文: 链接
拉兹洛·齐尔马兹 非标准时间的程序运行结构。 (英语) Zbl 0441.68026号 演员赛本。 4,第4号,325-331(1980).MSC公司:68问题65 68号01 60年第68季度 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{L.Csirmaz},网络学报。4,编号4,325--331(1980;Zbl 0441.68026) 全文: 链接
埃尔肖夫,A.P。 递归程序模式类中的混合计算。 (英语) Zbl 0421.68017号 《网络学报》。 4, 19-23 (1978).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Ershov},《网络学报》。4、19-23(1978年;Zbl 0421.68017)
医学硕士Arbib。;马内斯,E.G。 树转换和无循环程序的语义。 (英语) Zbl 0413.68054号 《网络学报》。 4, 11-17 (1978).MSC公司:70年第68季度 18B20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Arbib}和\textit{E.G.Manes},网络学报。4、11-17(1978年;Zbl 0413.68054)
T·盖格利。;Söts,M。 关于证明部分正确性的不完全性。 (英语) Zbl 0392.68010号 《网络学报》。 4, 45-57 (1978).MSC公司:60年第68季度 68问题65 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{T.Gergely}和\textit{M.Szöts},Cybern行动。4、45-57(1978年;Zbl 0392.68010)