安德烈·塔莱基 讣闻:马雷克·图斯基(1938-2013)。 (英语) Zbl 1342.01038号 正式Asp。计算。 26,第5期,863-864(2014).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarlecki},正式Asp。计算。26,第5号,863--864(2014;Zbl 1342.01038) 全文: 内政部
马丁·沃德;侯赛因·泽丹 使用FermaT对算法进行可证明的正确推导。 (英语) 兹比尔1342.68213 正式Asp。计算。 26,第5期,993-1031(2014).MSC公司:60年第68季度 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Ward}和\textit{H.Zedan},正式Asp。计算。26,第5号,993--1031(2014;Zbl 1342.68213) 全文: 内政部 链接
马克·弗拉皮耶;弗雷德里克·热尔维斯;拉罗,Régine;杰雷米·米尔豪 ASTD的优化模式。 (英语) Zbl 1342.68182号 正式Asp。计算。 26,第5期,919-941(2014).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Frappier}等人,正式Asp。计算。26,第5号,919--941(2014;Zbl 1342.68182) 全文: 内政部
迈克尔·班克斯。;杰里米·雅各布。 在正式方法中集成机密性和功能性。 (英语) Zbl 1342.68191号 正式Asp。计算。 26,第5期,963-992(2014).MSC公司:68问题55 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Banks}和\textit{J.L.Jacob},正式Asp。计算。26,第5号,963--992(2014;Zbl 1342.68191) 全文: 内政部
路易斯·克鲁兹·菲利佩;伊万·拉内斯;弗朗西斯科·马丁斯;安托尼奥·拉瓦拉;Vascoconcelos、Vasco Thudichum 基于流的以服务为中心的演算:面向服务编程的基础。 (英语) Zbl 1342.68058号 正式Asp。计算。 26,第5期,865-918(2014).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}等人,《正式评论》。计算。26,第5号,865--918(2014;Zbl 1342.68058) 全文: 内政部
Yoriyuki山形;孔伟强;福田、阿基拉;唐,阮凡;大崎,Hitoshi;田口,Kenji 使用CSP#的扩展层次状态转移矩阵的形式语义。 (英语) Zbl 1342.68201号 正式Asp。计算。 26,第5期,943-962(2014).MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yamagata}等人,正式Asp。计算。26,第5号,943--962(2014;Zbl 1342.68201) 全文: 内政部