×

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

最新的 引文 关联
保罗·汉尼拔;奥尔德罗格（Ernst-Rüdiger Olderog）

重复通信Petri博弈的综合问题。 （英语） Zbl 1499.68225号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 236-257 (2022).
MSC公司：68问题85 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛P.Hannibal｝和\textit｛E.-R.Olderog｝，Lect。注释计算。科学。13288，236--257（2022；Zbl 1499.68225）
全文： 内政部
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴

两层可达博弈的顽固集约简。 （英语） Zbl 1501.68002号

日志。方法计算。科学。 17，第1号，第21号论文，第26页（2021年）.
审核人：马可·贝尼尼（科莫）
MSC公司：68问题85 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，日志。方法计算。科学。17，第1号，第21号论文，第26页（2021；Zbl 1501.68002）
全文： arXiv公司 链接
伯恩德·芬克贝纳;保罗·哥尔斯

分布式环境中的合成。 （英语） Zbl 1491.68121号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第28条，第14页（2018年）。
MSC公司：68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}和\textit{P.Gölz}，LIPIcs——莱布尼茨国际程序。通知。93，第28条，第14页（2018；兹bl 1491.68121）
全文： 内政部 arXiv公司
威廉·海杰斯;多米尼克·J·D·休斯。

通过加性证明网和Petri网求和逻辑的复杂性边界。 （英语） Zbl 1394.68251号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。80-91 (2015).
MSC公司：68问题85 03B70号 07年3月 03楼52 2017年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{W.Heijltjes}和\textit{D.J.D.Hughes}，摘自：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2015，日本京都，2015年7月6日至10日。加利福尼亚州洛斯阿拉米托斯：IEEE计算机协会。80-91（2015；Zbl 1394.68251）
全文： 内政部
雅克·杜帕克;奥利维·芬克尔;Jean-Pierre，雷斯亚尔

Petri网（\omega）语言的Wadge层次结构。 （英语） Zbl 1310.68130号

Brattka，Vasco（编辑）等人，《逻辑、计算、层次结构》。在维克多·L·塞利瓦诺夫60岁生日之际献给他。柏林：De Gruyter（ISBN 978-1-61451-783-2/hbk；978-1-61481-804-4/电子书）。Ontos数学逻辑4，109-138（2014）。
MSC公司：65年第68季度 05年3月 03E15年 2005年第68季度 2015年第68季度 68问题85 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{J.Duparc}等人，《Ontos数学》。日志。4、109--138（2014；Zbl 1310.68130）
D.G.卡梅隆。;Carvajal-Schiaffo，R。;C·尼克尔森。;斯托金格，K。;F.齐尼。;A.P.米勒。;塞拉菲尼。

数据网格基于代理优化策略的形式化分析。 （英语） Zbl 1113.68305号

多代理网格系统。 第2期，第149-162页（2006年）.
MSC公司：68M10个 68个M12 64岁以下 68问题85 91B26型
PDF格式BibTeX公司 XML格式引用
\textit{D.G.Cameron}等人，《多智能体网格系统》。2，编号2149-162（2006年；兹bl 1113.68305）
全文： 内政部
Park，Jonghun公司;Reveliotis，Spyros A。

具有多资源获取和灵活路由的顺序资源分配系统中的死锁避免。 （英语） Zbl 1045.93034号

IEEE传输。自动。控制 46，第10期，1572-1583（2001）.
审核人：卡尔·海因茨·沃尔德曼（卡尔斯鲁厄）
MSC公司：93元65角 68问题85 90B80型 90立方厘米 91B32型
PDF格式BibTeX公司 XML格式引用
\textit{J.Park}和\textit{S.A.Reveliotis}，IEEE Trans。自动。控制46，编号10，1572--1583（2001；Zbl 1045.93034）
全文： 内政部
高原，布里吉特;威廉·斯图尔特。

随机自动机网络。 （英语） Zbl 0945.65010号

温弗里德·格拉斯曼（编辑），《计算概率》。波士顿：Kluwer学术出版社。国际序号。操作。资源管理。科学。24, 113-151 (2000).
审核人：内库莱·柯特阿努（伊阿什伊）
MSC公司：65 C50 90B15号机组 68问题85 91B70型
PDF格式BibTeX公司 XML格式引用
\textit{B.Plateau}和\textit{W.J.Stewart}，国际Ser。操作。资源管理。科学。24、113--151（2000年；Zbl 0945.65010）
阿里·M·拉马丹

生产策略的Petri网建模。 （英语） Zbl 0939.91016号

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍夫琴卡 1996年，第2期，176-182（1996）.
审核人：O.A.Voina（基辅）
MSC公司：91A24型 93A30型 90B30型 90B60毫米
PDF格式BibTeX公司 XML格式引用
\文本{M.R.Ali}，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡1996，第2期，176--182（1996；Zbl 0939.91016）
罗德尼·G·唐尼。;研究员Michael R。;布鲁斯·卡普伦。;Michael T.哈利特。;H.Todd，Wareham

逻辑和语言学中一些问题的参数化复杂性。 （英语） Zbl 0946.03046号

Nerode，A.（编辑）等人，LFCS’94，计算机科学的逻辑基础。第三届国际研讨会，俄罗斯圣彼得堡，1994年7月11日至14日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。813, 89-100 (1994).
MSC公司：2015年3月1日 2015年第68季度 2012年第68季度 91层20
PDF格式BibTeX公司 XML格式引用
\textit{R.G.Downey}等人，Lect。注释计算。科学。813，89--100（1994；Zbl 0946.03046）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件