×

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

最新 引文 关联
克里希南德·查特吉;米凯尔·兰多尔;Jean-François拉斯金

多维量化目标的战略合成。 （英语） Zbl 1364.68278号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，115-131（2012）。
MSC公司：第68季度85 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。7454、115-131（2012年；Zbl 1364.68278）
全文： 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;Vinayak S.普拉布。

在计时游戏中，用无限的内存换取均匀的随机性。 （英语） Zbl 1143.68479号

Egerstedt，Magnus（编辑）等人，《混合系统：计算与控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿498187-100（2008）。
MSC公司：第68季度85 65年第68季度 91A80型 93B50个
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。4981，87-100（2008年；Zbl 1143.68479）
全文： 内政部
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;尼尔·皮特曼

战略逻辑。 （英语） Zbl 1151.03327号

Caires，Luís（编辑）等人，CONCUR 2007–并发理论。第18届国际会议，2007年CONCUR，葡萄牙里斯本，2007年9月3-8日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74406-1/pbk）。计算机科学课堂讲稿4703，59-73（2007）。
MSC公司：03B70号 05年3月 65年第68季度 第68季度85 91A05型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。4703、59--73（2007年；Zbl 1151.03327）
全文： 内政部
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。

随机拉宾和斯特里特游戏的策略改进。 （英语） Zbl 1151.68474号

Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学讲义4137，375-389（2006）。
MSC公司：60年第68季度 65年第68季度 第68季度85 第91页第15页
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{T.A.Henzinger}，莱克特。注释计算。科学。41375--389（2006年；Zbl 1151.68474）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

体积

全部的 前5名

出版年份

全部的 前3名

主字段