安娜·伊莎贝尔·莫利纳;米盖尔·安吉尔·雷东多;曼纽尔·奥尔特加 协作应用程序用户界面开发的方法学方法:案例研究。 (英语) Zbl 1183.68491号 科学。计算。程序。 74,第9期,754-776(2009).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Molina}等人,科学。计算。程序。74,第9号,754--776(2009;Zbl 1183.68491) 全文: 内政部
贝努瓦·弗雷金;马克·弗拉皮耶 过程表达式的高效符号计算。 (英语) Zbl 1167.68040号 科学。计算。程序。 74,第9期,723-753(2009).MSC公司:第68季度85 68问题55 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{B.Fraikin}和\textit{M.Frappier},科学。计算。程序。74,第9号,723--753(2009;Zbl 1167.68040) 全文: 内政部
马泰奥·卡萨迪;米尔科·维罗利;卢卡·加德利 关于分布式元组空间的集合排序问题。 (英语) Zbl 1183.68223号 科学。计算。程序。 74,第9期,702-722(2009).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \文本{M.Casadei}等人,科学。计算。程序。74,第9号,702--722(2009;Zbl 1183.68223) 全文: 内政部
Klüppelholz,萨沙;克里斯特尔·拜尔 基于通道的元件连接器的符号模型检查。 (英语) Zbl 1167.68035号 科学。计算。程序。 74,第9号,688-701(2009).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Klüppelholz}和\textit{C.Baier},科学。计算。程序。74,第9号,688--701(2009;Zbl 1167.68035) 全文: 内政部
马尔科·巴博萨。;路易斯·巴博萨。 关于服务编排的观点。 (英语) Zbl 1167.68361号 科学。计算。程序。 74,第9期,671-687(2009).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Barbosa}和\textit{L.S.Barbosaneneneep,科学。计算。程序。74,第9号,671--687(2009;Zbl 1167.68361) 全文: 内政部 链接
埃内斯托·皮门特尔(编辑);Jean-Marie雅克(编辑) 部分特刊:第五届协调语言和软件架构基础国际研讨会(FOCLASA'06),德国波恩,2006年8月31日。 (英语) Zbl 1194.68060号 科学。计算。程序。74,第9期,669-776(2009)。 MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式