卡罗尔·摩根 成分不干涉第一原则。 (英语) Zbl 1242.68071号 正式Asp。计算。 第1期第24页,第3-26页(2012年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan},正式Asp。计算。24、第1号、第3--26号(2012;Zbl 1242.68071) 全文: 内政部
A.K.McIver。;C.C.摩根。 基于代理的安全协议中的组合优化。 (英语) Zbl 1245.68065号 正式Asp。计算。 23,第6号,711-737(2011).MSC公司:68号30 94A60型 68个M12 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}和\textit{C.Morgan},正式Asp。计算。23,第6号,711--737(2011;Zbl 1245.68065) 全文: 内政部
卡罗尔·摩根 如何酿造精炼订单。 (英语) Zbl 1342.68094号 Boiten,Eerke(编辑)等人,第14届BCS-FACS精炼研讨会会议记录(REFINE 2009),荷兰埃因霍温,2009年11月。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记259123-141(2009)。MSC公司:68号30 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan},电子。注释Theor。计算。科学。259123--141(2009年;Zbl 1342.68094) 全文: 内政部
邓玉欣;罗布·范格拉贝克;马修·轩尼诗;卡罗尔·摩根 测试有限概率过程(扩展抽象)。 (英语) Zbl 1254.68166号 Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。2009年9月1日至4日,意大利博洛尼亚,第20届国际会议,CONCUR 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。计算机科学课堂讲稿5710274-288(2009)。MSC公司:第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}等人,Lect。注释计算。科学。5710274-288(2009年;Zbl 1254.68166) 全文: 内政部
卡罗尔·摩根 影子知道:序列程序中的精细化和安全性。 (英语) Zbl 1178.68166号 科学。计算。程序。 74,第8期,629-653(2009).MSC公司:68N99型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan},科学。计算。程序。74,第8号,629--653(2009;Zbl 1178.68166) 全文: 内政部
邓玉欣;罗布·范格拉贝克;马修·轩尼诗;卡罗尔·摩根;张晨毅 关于测试概率过程的备注。 (英语) Zbl 1277.68121号 Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172,359-397(2007)。MSC公司:68问题55 第68季度85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}等人,《电子》。注释Theor。计算。科学。172,359--397(2007;Zbl 1277.68121) 全文: 内政部
卡罗尔·摩根;安娜贝拉·麦克维尔;凯伦·塞德尔;J.W.桑德斯。 CSP的优化导向概率。 (英语) Zbl 0862.68050号 正式Asp。计算。 8,第6期,617-647(1996).MSC公司:2005年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}等人,正式Asp。计算。8,第6号,617--647(1996;Zbl 0862.68050) 全文: 内政部
史蒂夫·金;摩根,卡罗尔 退出精化演算。 (英语) 兹伯利0817.68040 正式Asp。计算。 第7期,第1期,第54-76页(1995年).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.King}和\textit{C.Morgan},正式Asp。计算。7,编号1,54--76(1995;Zbl 0817.68040) 全文: 内政部
迈克尔·巴特勒;卡罗尔·摩根 动作系统、无界不确定性和无限迹。 (英语) 兹伯利0939.68635 正式Asp。计算。 7,第1期,37-53(1995).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Butler}和\textit{C.Morgan},正式Asp。计算。7,编号1,37-53(1995;Zbl 0939.68635) 全文: 内政部
加德纳,P.H.B。;卡罗尔·摩根 数据优化的单一完整规则。 (英语) Zbl 0774.68081号 正式Asp。计算。 5,第4期,367-382(1993).MSC公司:第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.H.B.Gardiner}和\textit{C.Morgan},正式Asp。计算。5,第4号,367--382(1993;Zbl 0774.68081) 全文: 内政部
保罗·加德纳;卡罗尔·摩根 谓词变换器的数据优化。 (英语) Zbl 0736.68060号 西奥。计算。科学。 87,第1期,第143-162页(1991年). 审核人:R.Horsch(马克多夫) MSC公司:68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardiner}和\textit{C.Morgan},Theor。计算。科学。87,第1号,143--162(1991;Zbl 0736.68060) 全文: 内政部
卡罗尔·摩根 数据细化中的辅助变量。 (英语) Zbl 0662.68014号 信息处理。莱特。 29,第6期,293-296(1988).MSC公司:68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan},Inf.流程。莱特。29,第6号,293--296(1988;Zbl 0662.68014) 全文: 内政部