D’Orazio,Christian J。;陆荣星;Kim-Kwang Raymond Choo先生;瓦西拉科斯,阿萨纳西奥斯五世。 马尔可夫对手模型,用于检测易受攻击的iOS设备和iOS应用程序中的漏洞。 (英语) Zbl 1411.94058号 申请。数学。计算。 293, 523-544 (2017).MSC公司:94A60 94甲12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.J.D’Orazio}等人,应用。数学。计算。293523-544(2017;Zbl 1411.94058) 全文: 内政部
马丁·齐格勒 与物理相关的丘奇-图林假说:计算的物理基础和计算物理的复杂性理论。 (英语) Zbl 1192.68268号 申请。数学。计算。 215,第4期,1431-1447(2009).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ziegler},应用程序。数学。计算。215,第4号,1431-1447(2009;Zbl 1192.68268) 全文: 内政部
奥利维尔·伯内兹 模拟和混合系统能被证明多少(超级)图灵。 (英语) 兹比尔1104.68046 申请。数学。计算。 178,第1期,58-71(2006).MSC公司:2005年第68季度 03天10分 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez},应用程序。数学。计算。178,编号1,58--71(2006;Zbl 1104.68046) 全文: 内政部
E.J.贝格斯。;J.V.塔克。 在牛顿运动学中嵌入无限并行计算。 (英语) Zbl 1101.68573号 申请。数学。计算。 178,第1期,25-43(2006).MSC公司:2010年第68季度 2005年第68季度 70A05型 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Beggs}和\textit{J.V.Tucker},应用。数学。计算。178,编号1,25-43(2006;Zbl 1101.68573) 全文: 内政部
巴雷特,C.L。;莫特维特,H.S。;雷迪斯,C.M。 模拟理论的要素。二: 顺序动力系统。 (英语) Zbl 1049.68149号 申请。数学。计算。 107,编号2-3,121-136(2000).MSC公司:68岁20岁 68克80 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Barrett}等人,应用。数学。计算。107,编号2--3,121-136(2000;Zbl 1049.68149) 全文: 内政部