×

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

最新的 引文 关联
维克托·布卡雷；马丁·拉贝

讨论Stackelberg安全游戏中的公平性和可实施性。 （英语） Zbl 1446.91033号

Alpcan，Tansu（编辑）等人，《安全决策与博弈论》。2019年10月30日至11月1日，第十届国际会议，2019年GameSec，瑞典斯德哥尔摩。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11836, 97-117 (2019).
MSC公司：91A65型 91A80型 91A90型
PDF格式BibTeX公司 XML格式引用
\textit｛V.Bucarey｝和\textit｛M.Labbé｝，Lect。注释计算。科学。11836，97-117（2019；Zbl 1446.91033）
全文： 内政部 链接
保罗·爱德曼。；约翰·韦马克（John A.Weymark）。

主导策略可执行分配函数的无限制领域扩展。 （英语） Zbl 1443.91175号

沃尔特·特罗克尔（编辑），《社会设计》。为了纪念Leonid Hurwicz。查姆：斯普林格。经济学研究。设计。，261-275 (2019).
MSC公司：91立方厘米32 91B03型
PDF格式BibTeX公司 XML格式引用
\textit{P.H.Edelman}和\textit{J.A.Weymark}，in：社会设计。为了纪念Leonid Hurwicz。查姆：斯普林格。261--275（2019年；Zbl 1443.91175）
全文： 内政部
阿克西，S。；碘油丁卡；布莱斯·基内斯特；阿林·斯特凡内斯库

实现实际的异步自动机。 （英语） Zbl 1359.68154号

Seth，Anil（编辑）等人，第33届软件技术和理论计算机科学基础国际会议，2013年FSTTCS，印度古瓦哈蒂，2013年12月12-14日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-64-4）。LIPIcs–莱布尼茨国际信息学论文集24，213-224（2013）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，LIPIcs——莱布尼茨国际程序。通知。24、213--224（2013；Zbl 1359.68154）
全文： 内政部
奥坎·桑库尔；帕特里夏·鲍耶；尼古拉斯·马基

缩小时间自动机。 （英语） Zbl 1246.68159号

Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，90-102，仅电子版（2011年）。
MSC公司：60年第68季度 65年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{O.Sankur}等人，LIPIcs——莱布尼茨国际程序。通知。13、90-102（2011；Zbl 1246.68159）
全文： 内政部
鲍勃·蒙加穆鲁；加西亚·莫利纳，赫克托；克里斯托弗·奥尔斯顿

配置，分布式数据存储的模型。 （英语） Zbl 1283.94076号

2007年8月12日至15日，美国俄勒冈州波特兰，PODC’07，第26届ACM分布式计算原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-616-5）。332-333 (2007).
MSC公司：94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{B.Mungamuru}等人，in：第26届ACM分布式计算原理研讨会论文集，PODC’07，波特兰，俄勒冈州，美国，2007年8月12-15日。纽约州纽约市：计算机协会（ACM）。332--333（2007年；Zbl 1283.94076）
全文： 内政部
帕特里夏·鲍耶；尼古拉斯·马基；皮埃尔·阿莱·雷尼尔

时间自动机中线性时间属性的稳健模型检验。 （英语） Zbl 1145.68464号

Correa，JoséR.（编辑）等人，拉丁语2006：理论信息学。第七届拉丁美洲研讨会，智利瓦尔迪维亚，2006年3月20日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-32755-X/pbk）。计算机科学课堂讲稿3887，238-249（2006）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。3887、238--249（2006年；Zbl 1145.68464）
全文： 内政部 哈尔
德奥利维拉·科塔雷（de Oliveira Kothare）、西蒙·卢雷罗（Simone Loureiro）；曼弗雷德·莫拉里

约束非线性系统的收缩模型预测控制。 （英语） Zbl 0976.93025号

IEEE传输。自动。控制 45，编号6，1053-1071（2000）.
审核人：Ingmar Randvee（塔林）
MSC公司：93亿B51 93亿B50 93立方厘米 93个B07
PDF格式BibTeX公司 XML格式引用
\textit{S.L.de Oliveira Kothare}和\textit{M.Morari}，IEEE Trans。自动。控制45，编号6，1053--1071（2000；Zbl 0976.93025）
全文： 内政部
艾布拉姆斯基，S。（编辑）；Dov M.加巴伊。（编辑）；迈鲍姆，T.S.E。（编辑）

计算机科学逻辑手册。第4卷：语义建模。 （英语） 兹比尔0876.68001

牛津：克拉伦登出版社。xiii，651页（1995年）。
MSC公司：68-00 00B15号机组 68问题55 03B70号 第68季度10 68问题65 03D45号 60年第68季度 06B35号 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}（编辑）等人，《计算机科学中的逻辑手册》。第4卷：语义建模。牛津：克拉伦登出版社（1995；Zbl 0876.68001）
Masaya山古提（编辑）

具有决策者的复杂系统。1990年3月19日至20日在京都大学数学科学研究所举行的研讨会记录。 （日语、英语） Zbl 0838.90056号

RIMS科基罗库。编号809。京都：京都大学，数学科学研究所，ii，227 p.（1992）。
MSC公司：90秒25 90-06 93-06 91B06型 00B25型 90B50型 93埃99
PDF格式BibTeX公司 XML格式引用
\textit{M.Yamaguti}（编辑），具有决策者的复杂系统。1990年3月19日至20日在京都大学数学科学研究所举行的研讨会论文集（日语）。京都：京都大学数学科学研究所（1992；Zbl 0838.90056）
约翰·C·贝兹。；欧文·西格尔（Irving E.Segal）。；周正芳

代数和构造量子场论导论。 （英语） Zbl 0760.46061号

普林斯顿物理学系列新泽西州普林斯顿：普林斯顿大学出版社。第十七章，第291页（1992年）。
审核人：A.Wehrl（维也纳）
MSC公司：46牛顿50 46升60 46-02 81T05号 2008年10月81日 81-02
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Baez}等人，代数和构造量子场论导论。新泽西州普林斯顿：普林斯顿大学出版社（1992；Zbl 0760.46061）
曼弗雷德·施罗德；蒂默尔曼，维尔纳

《代数unbeschránkter算子》中的Einige einfache Eigenschaften von自同构。 （德语） Zbl 0532.47031号

威斯。Z.，卡尔·马尔克斯大学（Leipz）。，数学-自然科学。赖厄 第3169-73页（1982年）.
审核人：A.韦尔
MSC公司：47升60 46升40 16周80
PDF格式BibTeX公司 XML格式引用
\威斯康星州textit{M.Schröder}和\textit{W.Timmermann}。Z.，卡尔·马尔克斯大学（Leipz）。，数学-自然科学。Reihe 31，69--73（1982；Zbl 0532.47031）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件