约阿金·加巴罗;艾伦·斯图尔特 建模web服务不确定性:天使/守护进程方法。 (英语) Zbl 1484.68022号 计算。科学。版次。 39,文章ID 100355,15 p.(2021).MSC公司:68英里11 91A80型 91B64型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gabarro}和\textit{A.Stewart},计算。科学。第39版,文章ID 100355,15页(2021;Zbl 1484.68022) 全文: 内政部
迪诺·曼德里奥利;普拉德拉,马泰奥 泛化输入驱动语言:理论和实践益处。 (英语) Zbl 1382.68136号 计算。科学。版次。 27, 61-87 (2018).MSC公司:65年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{D.Mandrioli}和\textit{M.Pradella},计算。科学。版本27,61-87(2018;Zbl 1382.68136) 全文: 内政部 arXiv公司
埃诺·鲁伊特斯;玛丽·斯托琳加 故障树分析:对建模、分析和工具最新技术的调查。 (英语) Zbl 1315.90013号 计算。科学。版次。 2015年5月15日至16日,29日至62日.MSC公司:90B25型 90-02 PDF格式BibTeX公司 XML格式引用 \textit{E.Ruijters}和\textit{M.Stoelinga},计算。科学。版本15-16、29-62(2015;Zbl 1315.90013) 全文: 内政部 链接
玛丽亚·乔昂·弗雷德;豪尔赫·索萨·品托 源级命令程序的验证条件。 (英语) Zbl 1298.68171号 计算。科学。版次。 5,第3期,252-277(2011).MSC公司:60年第68季度 03B70号 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Frade}和\textit{J.S.Pinto},计算。科学。第5版,第3号,252--277(2011;Zbl 1298.68171) 全文: 内政部 链接
R.M.麦康奈尔。;Mehlhorn,K。;Näher,S。;施韦策,P。 验证算法。 (英语) Zbl 1298.68289号 计算。科学。版次。 5,第2期,119-161(2011).MSC公司:68周01 68-02 PDF格式BibTeX公司 XML格式引用 \textit{R.M.McConnell}等人,《计算》。科学。第5版,第2号,119--161(2011;Zbl 1298.68289) 全文: 内政部
卡梅·阿勒瓦雷斯;Ioannis Chatzigannakis公司;阿马利亚·杜赫;约阿金·加巴罗;米歇尔·奥通;玛丽亚·塞尔纳;保罗·G·斯皮拉基斯。 微小人工物网络的计算模型:一项调查。 (英语) 兹比尔1298.68039 计算。科学。版次。 第5期,第1期,第7-25页(2011年).MSC公司:68M10个 64岁以下 68T42型 68个M12 2005年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{C.ali lvarez}等人,计算。科学。第5版,第1号,第7--25号(2011年;Zbl 1298.68039) 全文: 内政部
约阿金·加巴罗 书评:罗宾·夏普,协议设计原则。 (英语) Zbl 1296.00011号 计算。科学。版次。 3,第4号,259-261(2009).MSC公司:00A17年 68-01 68个M12 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{J.Gabarro},计算。科学。第3版,第4号,259--261(2009;Zbl 1296.00011) 全文: 内政部
马丁·马雷什 最小生成树的传奇。 (英语) Zbl 1302.68219号 计算。科学。版次。 2,第3号,165-221(2008).MSC公司:68兰特 05C85号 05二氧化碳 65年第68季度 68周05 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Mareš},计算。科学。第2版,第3号,165--221(2008年;兹bl 1302.68219) 全文: 内政部
沃德·道格拉斯·莫勒 状态向量的调查。 (英语) Zbl 1302.68116号 计算。科学。版次。 第2期,第1期,1-28页(2008年).MSC公司:2005年第68季度 68-02 68-03 PDF格式BibTeX公司 XML格式引用 \textit{W.D.Maurer},计算。科学。修订版2,编号1,1--28(2008年;Zbl 1302.68116) 全文: 内政部