J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 多线程的线程代数。 (英语) Zbl 1225.68060号 正式Asp。计算。 23,第4期,567-583(2011).MSC公司:第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},正式Asp。计算。23,第4号,567--583(2011;Zbl 1225.68060) 全文: 内政部
杨林敏;当、哲;托马斯·费舍尔。 黑盒测试的信息增益。 (英语) Zbl 1226.68031号 正式Asp。计算。 23,第4期,513-539(2011).MSC公司:68号30 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Yang}等人,《正式评论》。计算。23,第4号,513--539(2011;Zbl 1226.68031) 全文: 内政部
高,韩;弗莱明·尼尔森;尼尔森、汉内·里斯 CaPiTo公司:服务的协议栈。 (英语) Zbl 1226.68029号 正式Asp。计算。 23,第4期,541-565(2011).MSC公司:68号30 68问题85 60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}等人,正式Asp。计算。23,编号4,541–565(2011年;Zbl 1226.68029) 全文: 内政部
安娜·卡瓦尔坎蒂;菲尔·克莱顿;科林·奥哈洛兰 从控制律图到Ada,通过马戏团. (英语) Zbl 1226.68028号 正式Asp。计算。 23,第4期,465-512(2011).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,《正式Asp》。计算。23,第4号,465--512(2011;Zbl 1226.68028) 全文: 内政部
艾伦·斯图尔特 具有分区同步的BSP编程模型。 (英语) Zbl 1225.68061号 正式Asp。计算。 23,第4期,421-432(2011).MSC公司:第68页第19页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Stewart},正式Asp。计算。23,第4号,421--432(2011;Zbl 1225.68061) 全文: 内政部
埃里克·C·R·海纳。 概率观点。 (英语) Zbl 1236.68197号 正式Asp。计算。 23,第4号,391-419(2011). 审核人:Krzysztof Piasecki(波兹南) MSC公司:68时01分 87年第68季度 68N99型 91A99型 94A99型 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{E.C.R.Hehner},正式Asp。计算。23,第4号,391--419(2011;Zbl 1236.68197) 全文: 内政部