×

找到2个文档(结果1-2)

部分可观测系统的合成控制综合。 (英语) Zbl 1254.93075号

Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。第20届国际会议,CONCUR 2009,意大利博洛尼亚,2009年9月1-4日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。计算机科学课堂讲稿5710,431-447(2009)。
MSC公司:93亿B50
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

计算不完全信息安全博弈的最弱策略。 (英语) Zbl 1234.68259号

Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日,第15届国际会议,TACAS 2009,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2009,英国约克。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记550592-106(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

主字段

软件