×

找到37个文档（结果1-37）

最新的 引文 关联
安娜贝拉·麦克维尔；摩根，卡罗尔；塔希里·拉贝哈加

抽象隐马尔可夫模型：定量信息流的一元描述。 （英语） Zbl 1423.68107号

日志。方法计算。科学。 15，第1号，第36号论文，50页（2019年）.
MSC公司：68号30 60J20型 68页30 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.McIver}等人，日志。方法计算。科学。15，第1号，第36号论文，50页（2019年；Zbl 1423.68107）
全文： 内政部 arXiv公司
A.K.McIver。；摩根，C。；T·拉贝哈加。

定量信息流代数。 （英语） Zbl 1486.68044号

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。第16届国际会议，RAMiCS 2017，法国里昂，2017年5月15日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10226, 3-23 (2017).
MSC公司：68号30 68页30 第68季度55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.K.McIver}等人，Lect。注释计算。科学。10226，3--23（2017；Zbl 1486.68044）
全文： 内政部
安娜贝拉·麦克维尔；摩根，卡罗尔；塔希里·拉贝哈加

抽象隐马尔可夫模型：定量信息流的一元描述。 （英语） Zbl 1401.68046号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。597-608 (2015).
MSC公司：68号30 60J20型 68页30 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.McIver}等人，in：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。597--608（2015；Zbl 1401.68046）
全文： 内政部
摩根，卡罗尔

埃因霍温风格的基本概率论。 （英语） Zbl 1358.68074号

Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。计算机科学课堂讲稿7342，48-73（2012）。
MSC公司：68号30 第68季度55 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Morgan}，莱克特。注释计算。科学。7342，48-73（2012；Zbl 1358.68074）
全文： 内政部
Joost-Pieter卡托恩；McIver，Annabelle K。；拉里萨·梅尼基。；卡罗尔·C·摩根。

概率程序的线性变分生成：自动支持基于证据的方法。 （英语） Zbl 1239.68020号

Cousot，Radhia（编辑）等人，《静态分析》。2010年9月14日至16日，第17届国际研讨会，SAS 2010，法国佩皮尼昂。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15768-4/pbk）。计算机科学课堂讲稿6337，390-406（2010）。
MSC公司：68甲19 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Lect。注释计算。科学。6337390--406（2010年；Zbl 1239.68020）
全文： 内政部
摩根，卡罗尔

如何酿造精炼订单。 （英语） Zbl 1342.68094号

Boiten，Eerke（编辑）等人，第14届BCS-FACS精炼研讨会会议记录（REFINE 2009），荷兰埃因霍温，2009年11月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记259123-141（2009）。
MSC公司：68号30 第68季度55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Morgan}，电子。注释Theor。计算。科学。259123--141（2009年；Zbl 1342.68094）
全文： 内政部
邓玉欣；罗布·范格拉贝克；摩根，卡罗尔；张晨毅

标量结果足以进行有限概率测试。 （英语） Zbl 1187.68148号

De Nicola，Rocco（编辑），《编程语言和系统》。2007年3月24日至4月1日在葡萄牙布拉加举行的第16届欧洲编程研讨会，ESOP 2007，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71314-2/pbk）。计算机科学课堂讲稿4421363-378（2007）。
MSC公司：68号30 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Deng｝等人，Lect。注释计算。科学。4421363--378（2007年；Zbl 1187.68148）
全文： 内政部
摩根，卡罗尔

影子知道：序列程序中无知的精炼。 （英语） Zbl 1235.68058号

Uustalu，Tarmo（编辑），《程序构建的数学》。2006年7月3日至5日，爱沙尼亚库雷萨雷，第八届国际会议，MPC 2006。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-35631-8/pbk）。计算机科学讲稿4014，359-378（2006）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Morgan}，莱克特。注释计算。科学。4014359-378（2006年；Zbl 1235.68058）
全文： 内政部
A.K.McIver。；科恩，E。；摩根，C。

使用概率Kleene代数进行协议验证。 （英语） Zbl 1134.68415号

Schmidt，Renate A.（编辑），计算机科学中的关系和Kleene代数。2006年8月29日至9月2日在英国曼彻斯特举行的第九届计算机科学关系方法国际会议和第四届克莱恩代数应用国际研讨会，RelMiCS/AKA 2006。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37873-0/pbk）。计算机科学讲义4136296-310（2006）。
MSC公司：第68季度第60季度 68个M12 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.K.McIver}等人，Lect。注释计算。科学。4136296--310（2006年；Zbl 1134.68415）
全文： 内政部
摩根，卡罗尔；安娜贝拉·麦克维尔

基于领域理论的随机博弈无记忆策略。 （英语） Zbl 1272.68107号

Mota，A.（编辑）等人，《巴西正式方法研讨会论文集》（SBMF 2004），巴西累西腓，2004年11月29日至12月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记130，23-37（2005）。
MSC公司：68号30 03B70号 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{C.Morgan}和\textit{A.McIver}，电子。注释Theor。计算。科学。130、23-37（2005年；Zbl 1272.68107）
全文： 链接
赫德，乔；安娜贝拉·麦克维尔；摩根，卡罗尔

HOL中机械化的概率防护命令。 （英语） Zbl 1272.68258号

Cerone，A.（ed.）等人，《编程语言定量方面第二次研讨会论文集》（QAPL 2004），西班牙巴塞罗那，2004年3月27日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记112，95-111（2005）。
MSC公司：60年第68季度 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛J.Hurd｝等人，电子。注释Theor。计算。科学。112、95-111（2005年；Zbl 1272.68258）
全文： 链接
Hoang，泰国儿子；靳振东；肯·罗宾逊；安娜贝拉·麦克维尔；摩根，卡罗尔

通过改进概率B基础和案例研究进行开发。 （英语） Zbl 1118.68547号

Treharne，Helen（ed.）等人，ZB 2005:Z和B中的正式规范和开发。第四届B和Z用户国际会议，英国吉尔福德，2005年4月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25559-1/pbk）。计算机科学课堂讲稿3455，355-373（2005）。
MSC公司：60年第68季度 68号30 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit｛T.S.Hoang｝等人，Lect。注释计算。科学。3455、355--373（2005年；Zbl 1118.68547）
全文： 内政部
摩根，卡罗尔；Hoang，泰国儿子；Jean-Raymond Abrial先生

概率事件B的挑战——扩展抽象。 （英语） Zbl 1118.68551号

Treharne，Helen（ed.）等人，ZB 2005:Z和B中的正式规范和开发。第四届B和Z用户国际会议，英国吉尔福德，2005年4月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25559-1/pbk）。计算机科学课堂讲稿3455162-171（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Morgan}等人，Lect。注释计算。科学。3455162-171（2005年；兹比尔1118.68551）
全文： 内政部
安娜贝拉·麦克维尔；摩根，卡罗尔

概率系统的抽象、精化和证明。 （英语） Zbl 1069.68039号

计算机科学专著。纽约州纽约市：施普林格出版社（ISBN 0-387-40115-6/hbk）。xix，第383页。(2005).
审核人：Jesus R.Artalejo（马德里）
MSC公司：68号30 03B70号 68瓦20 68-02
PDF格式BibTeX公司 XML格式引用
\textit{A.McIver}和\textit{C.Morgan}，概率系统的抽象、精化和证明。纽约州纽约市：施普林格（2005；Zbl 1069.68039）
全文： 内政部
Hoang，泰国儿子；靳振东；肯·罗宾逊；安娜贝拉·麦克维尔；摩根，卡罗尔

概率机器的概率不变量。 （英语） Zbl 1028.68547号

Bert，Didier（ed.）等人，ZB 2003:Z和B中的正式规范和开发。第三届B和Z用户国际会议，芬兰图尔库，2003年6月4-6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2651, 240-259 (2003).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.S.Hoang}等人，Lect。注释计算。科学。2651240-259（2003年；兹bl 1028.68547）
全文： 链接
安娜贝拉·麦克维尔；摩根，卡罗尔；Hoang，泰国儿子

B中的概率终止。 （英语） Zbl 1028.68549号

Bert，Didier（ed.）等人，ZB 2003:Z和B中的正式规范和开发。第三届B和Z用户国际会议，芬兰图尔库，2003年6月4-6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2651, 216-239 (2003).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.McIver}等人，Lect。注释计算。科学。2651、216——239（2003年；Zbl 1028.68549）
全文： 链接
A.K.McIver。；摩根，C。

博弈、概率和定量演算。 （英语） Zbl 1023.68064号

Baaz，Matthias（编辑）等人，《编程逻辑、人工智能和推理》。第九届国际会议，2002年10月14日至18日，格鲁吉亚第比利斯，LPAR 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2514, 292-310 (2002).
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.K.McIver}和\textit{C.Morgan}，莱克特。注释计算。科学。2514、292--310（2002年；Zbl 1023.68064）
全文： 链接
摩根，卡罗尔；安娜贝拉·麦克维尔

基于期望的概率时间演算。 （英语） Zbl 0885.03037号

Groves，Lindsay（编辑）等人，《形式方法太平洋》，1997年。1997年7月9日至11日，新西兰惠灵顿，FMP’97会议记录。新加坡：斯普林格。4-22 (1997).
MSC公司：03B70号 第68季度55 60年第68季度 03B45
PDF格式BibTeX公司 XML格式引用
\textit{C.Morgan}和\textit{A.McIver}，in：形式方法太平洋'97。1997年7月9日至11日，新西兰惠灵顿，FMP’97会议记录。新加坡：斯普林格。4--22（1997；Zbl 0885.03037）
凯伦·塞德尔；摩根，卡罗尔；安娜贝拉·麦克维尔

概率命令式编程：一种严格的方法（扩展抽象）。 （英语） Zbl 0885.68032号

Groves，Lindsay（编辑）等人，《形式方法太平洋》，1997年。《1997年FMP会议记录》，1997年7月9日至11日，新西兰惠灵顿。新加坡：斯普林格。1-2 (1997).
MSC公司：68号01 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Seidel}等人，in：形式方法Pacific’97。1997年7月9日至11日，新西兰惠灵顿，FMP’97会议记录。新加坡：斯普林格。1--2（1997；Zbl 0885.68032）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件