×

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

最新的 引文 关联
杜文杰;邓玉欣;丹尼尔·格布勒

非确定性概率系统的行为伪度量。 （英语） Zbl 1393.68114号

Fränzle，Martin（编辑）等人，《可靠软件工程：理论、工具和应用》。2016年11月9日至11日，第二届国际研讨会，SETTA 2016，中国北京。诉讼程序。查姆：施普林格（ISBN 978-3-319-47676-6/pbk；978-3-3169-47677-3/电子书）。计算机科学课堂讲稿9984，67-84（2016）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Du}等人，Lect。注释计算。科学。9984，67-84（2016；Zbl 1393.68114）
全文： 内政部
邓玉欣

概率过程的语义。操作方法。 （英语） Zbl 1315.68002号

上海：上海交通大学出版社；海德堡：施普林格（ISBN 978-3-662-45197-7/hbk；978-3-562-45198-4/电子书）。第十四章，第249页。(2014).
审核人：佩德罗·桑切斯·特拉夫（科尔多瓦）
MSC公司：68-02 03B70号 2010年第68季度 68问题55 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}，概率过程的语义。操作方法。上海：上海交通大学出版社；海德堡：施普林格（2014；Zbl 1315.68002）
全文： 内政部
邓玉欣;马修·轩尼诗

马尔可夫决策过程的组合推理（扩展抽象）。 （英语） Zbl 1353.68200号

Arbab，Farhad（编辑）等人，《软件工程基础》，第四届IPM国际会议，2011年FSEN，伊朗德黑兰，2011年4月20日至22日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29319-1/pbk）。计算机科学课堂讲稿7141143-157（2012）。
MSC公司：68问题85 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.邓}和textit{M.轩尼诗}，莱克特。注释计算。科学。7141、143--157（2012；Zbl 1353.68200）
全文： 内政部
邓玉欣;罗布·范格拉贝克;马修·轩尼诗;卡罗尔·摩根

概率过程的实时测试（扩展抽象）。 （英语） Zbl 1457.68187号

Massink，Mieke（编辑）等人，第九届编程语言定量方面研讨会论文集，德国萨尔布吕肯，2011年4月1日至3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）57、61-73（2011年）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}等人，《电子》。程序。西奥。计算。科学。（EPTCS）57，61--73（2011；Zbl 1457.68187）
全文： 链接
邓玉欣;马修·轩尼诗

关于马尔可夫自动机的语义。 （英语） Zbl 1333.68162号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学讲义6756，307-318（2011）。
MSC公司：65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.邓}和textit{M.轩尼诗}，莱克特。注释计算。科学。6756307--318（2011；Zbl 1333.68162）
全文： 内政部
邓玉欣;罗布·范格拉贝克

从逻辑上描述概率过程（扩展抽象）。 （英语） Zbl 1306.68122号

Fermüller，Christian G.（编辑）等人，《编程逻辑、人工智能和推理》。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-16241-1/pbk）。计算机科学课堂讲稿6397278-293（2010）。
MSC公司：68问题85 03B45号 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}和\textit{R.van Glabbeek}，Lect。注释计算。科学。6397278--293（2010年；Zbl 1306.68122）
全文： 内政部 arXiv公司
邓玉欣;罗布·范格拉贝克;马修·轩尼诗;卡罗尔·摩根

测试有限概率过程（扩展抽象）。 （英语） Zbl 1254.68166号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（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 1279.68255号

Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》190，第3期，185-203（2007）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Deng｝和\textit｛W.Du｝，电子。注释Theor。计算。科学。190，第3号，185--203（2007；Zbl 1279.68255）
全文： 内政部
邓玉欣;罗布·范格拉贝克;马修·轩尼诗;卡罗尔·摩根;张晨毅

关于测试概率过程的备注。 （英语） 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）
全文： 内政部
邓玉欣;罗布·范格拉贝克;卡罗尔·摩根;张晨毅

标量结果足以进行有限概率测试。 （英语） 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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段