×

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

最新 引文 关联
沃伊切赫，切尔文斯基;斯拉沃米尔·拉索塔;罗兰·迈耶;塞巴斯蒂安·穆斯卡拉;库马尔·纳拉扬。;普拉卡什·塞瓦桑

结构良好的过渡系统的规则可分性。 （英语） Zbl 1520.68092号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118，第35条，第18页（2018年）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Czerwinn ski}等人，LIPIcs--Leibniz国际程序。通知。118，第35条，第18页（2018；Zbl 1520.68092）
全文： 内政部 arXiv公司
本杰明·卡布雷拉;托拜厄斯·海因德尔;瑞科·赫克尔;巴巴拉·科尼格

使用贝叶斯网络更新条件/事件网络上的概率知识。 （英语） Zbl 1520.68090号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118，第27条，第17页（2018年）。
MSC公司：68问题85 第68页，共15页 87年第68季度 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{B.Cabrera}等人，LIPIcs——莱布尼茨国际程序。通知。118，第27条，第17页（2018；兹bl 1520.68090）
全文： 内政部 arXiv公司
彼得·霍夫曼;斯拉沃米尔·拉索塔

具有有序数据的线性方程组。 （英语） Zbl 1520.68094号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118，第24条，第17页（2018年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Hofman}和\textit{S.Lasota}，LIPIcs——莱布尼茨国际程序。通知。118，第24条，第17页（2018；Zbl 1520.68094）
全文： 内政部 arXiv公司
阿米娜·杜马内;Damien Pous

无恒等Kleene格的完备性。 （英语） Zbl 1520.68055号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118，第18条，第17页（2018年）。
MSC公司：65年第68季度 70年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Doumane}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。118，第18条，第17页（2018；Zbl 1520.68055）
全文： 内政部
特雷杜普，罗尼;克里斯蒂安·罗森克

缩小合成基本网络系统的硬屏障。 （英语） Zbl 1520.68100号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118，第16条，第15页（2018年）。
MSC公司：68问题85 2017年第68季度 68年第27季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Tredup}和\textit{C.Rosenke}，LIPIcs——莱布尼茨国际程序。通知。118，第16条，第15页（2018；Zbl 1520.68100）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;拉杜·乔巴努;理查德·迈尔;帕特里克·托茨克

时间Petri网的通用安全性是PSPACE完备的。 （英语） 兹比尔1520.68085

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118，第6条，第15页（2018年）。
MSC公司：68问题85 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，LIPIcs——莱布尼茨国际程序。通知。118，第6条，第15页（2018；Zbl 1520.68085）
全文： 内政部 arXiv公司
Wil M.P.范德阿尔斯特。

发现“粘合”连接活动。利用单调性更快地学习地点。 （英语） Zbl 1462.68164号

de Boer，Frank（编辑）等人，这都是关于协调的。庆祝Farhad Arbab终身科学成就的文章。查姆：斯普林格。莱克特。注释计算。科学。10865, 1-20 (2018).
MSC公司：68T05型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.M.P.van der Aalst}，莱克特。注释计算。科学。10865，1-20（2018；Zbl 1462.68164）
全文： 内政部
卡米利、马蒂奥;卡洛·贝莱蒂尼;洛伦佐·卡普拉;马蒂亚·蒙加

用于指定和验证基于微服务的流程流的正式框架。 （英语） Zbl 1461.68112号

Cerone，Antonio（编辑）等人，《软件工程和形式化方法》。2017年SEFM并置研讨会：2017年9月4日至5日，意大利特伦托，DataMod、FAACS、MSE、CoSim-CPS和FOCLASA。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10729, 187-202 (2018).
MSC公司：60年第68季度 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Camilli}等人，Lect。注释计算。科学。10729187-202（2018年；兹比尔1461.68112）
全文： 内政部
罗伯托·布鲁尼;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

并发性和概率：从组成上消除混淆。 （英语） Zbl 1497.68329号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。195-204 (2018).
MSC公司：68问题85 2010年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。195-204（2018；Zbl 1497.68329）
全文： 内政部
伯恩德·芬克贝纳;保罗·哥尔斯

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

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern:Schloss Dagstuhl–Leibniz 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；Zbl 1491.68121）
全文： 内政部 arXiv公司
戴维·德·弗鲁托斯·埃斯克里格;马西耶·库特尼;米库尔斯基，Łukasz

Petri网可解二进制字的一种有效表征。 （英语） 兹比尔1427.68189

Khomenko，Victor（编辑）等人，Petri网和并发的应用和理论。第39届国际会议，PETRI NETS 2018，斯洛伐克布拉迪斯拉发，2018年6月24-29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10877, 207-226 (2018).
MSC公司：68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{D.de Frutos Escrig}等人，Lect。注释计算。科学。10877，207--226（2018；Zbl 1427.68189）
全文： 内政部
雷蒙德·魔鬼队;乌里·施拉赫特

Petri网可解转移系统的分解。 （英语） Zbl 1427.68192号

Khomenko，Victor（编辑）等人，Petri网和并发的应用和理论。第39届国际会议，PETRI NETS 2018，斯洛伐克布拉迪斯拉发，2018年6月24-29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10877, 82-98 (2018).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Devillers}和\textit{U.Schlachter}，莱克特。注释计算。科学。10877，82-98（2018；Zbl 1427.68192）
全文： 内政部
雷蒙德·魔鬼队;托马斯·胡贾萨

加权标记图Petri网的分析与综合。 （英语） Zbl 1427.68191号

Khomenko，Victor（编辑）等人，Petri网和并发的应用和理论。第39届国际会议，PETRI NETS 2018，斯洛伐克布拉迪斯拉发，2018年6月24-29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10877, 19-39 (2018).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Devillers}和\textit{T.Hujsa}，莱克特。注释计算。科学。10877，19-39（2018；Zbl 1427.68191）
全文： 内政部 哈尔
穆罕默德·巴希尔;李志武;穆拉特·乌扎姆;吴乃琪;阿卜杜拉赫曼·阿赫马里

关于柔性制造系统的活性增强Petri网监管器的结构约简：一种代数方法。 （英语） Zbl 1418.90101号

IMA数学杂志。控制信息。 35，第4期，1217-1249（2018）.
MSC公司：90B30型 90B25型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Bashir}等人，IMA J.数学。控制信息35，编号4，1217--1249（2018；Zbl 1418.90101）
全文： 内政部 链接
Kryvyi，S.L。;S.D.波戈里利。;Glybovets先生。;Y.V.博伊科。;北卡罗来纳州Sydorova。

设计IT基础设施。 （英语。俄文原件） Zbl 1407.68049号

赛博。系统。分析。 54，第6期，977-992（2018）; 翻译自Kibern。修女。分析。2018年第6期，141-158（2018）。
MSC公司：68M10个 68平方米 68问题85 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{S.L.Kryvyi}等人，Cybern。系统。分析。54，第6号，977--992（2018；Zbl 1407.68049）；翻译自Kibern。修女。分析。2018年第6期，141--158（2018）
全文： 内政部
保罗·巴尔丹;罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;埃尔南梅尔格拉蒂;乌戈·蒙塔纳里

具有持久性的Petri网的事件结构。 （英语） Zbl 1417.68113号

日志。方法计算。科学。 14，第3号，第25号论文，30页（2018年）.
审核人：克莱门特·奥伯特（奥古斯塔）
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《日志》。方法计算。科学。14，第3号，第25号论文，30页（2018；Zbl 1417.68113）
全文： 内政部 arXiv公司
赫洛莫兹达，D.K。;Glybovets先生。;O.M.马克西米茨。

自动将带有定性标记的有色Petri网转换为带有定量标记的有色Petri网。 （英语。俄文原件） Zbl 1445.68141号

赛博。系统。分析。 54，第4期，650-661（2018）; 翻译自Kibern。修女。分析。2018年，第4期，151-163（2018）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.K.Hlomozda}等人，Cybern。系统。分析。54，第4号，650--661（2018；Zbl 1445.68141）；翻译自Kibern。修女。分析。2018年第4期，151--163（2018）
全文： 内政部
Micha Skrzypczak

Büchi VASS识别\（\mathbf{\Sigma}^{1}_{1} \）-完整\（{\omega}\）-语言。 （英语） Zbl 1475.68214号

Potapov，Igor（编辑）等人，《可达性问题》。2018年9月24日至26日在法国马赛举行的RP 2018第12届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11123, 133-145 (2018).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\文本｛M.Skrzypczak｝，勒克特。注释计算。科学。11123、133--145（2018；Zbl 1475.68214）
全文： 内政部
乌里·施拉赫特

限制子类网的超逼近Petri网综合。 （英语） Zbl 1504.68147号

Klein，Shmuel Tomi（编辑）等人，《语言和自动机理论与应用》。2018年4月9日至11日，第12届国际会议，LATA 2018，以色列拉马特甘。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10792, 296-307 (2018).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Schlachter}，莱克特。注释计算。科学。10792296-307（2018年；兹比尔1504.68147）
全文： 内政部
朱莉娅·帕德伯格;莱德·卡卢尔

可重构Petri网概述。 （英语） Zbl 1383.68056号

Heckel，Reiko（编辑）等人，《图形转换、规范和网络》。为了纪念哈特穆特·埃里格。查姆：施普林格（ISBN 978-3-319-75395-9/pbk；978-3-3169-75396-6/电子书）。计算机科学课堂讲稿10800，201-222（2018）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Padberg}和\textit{L.Kahloul}，莱克特。注释计算。科学。10800，201-222（2018；Zbl 1383.68056）
全文： 内政部
Panayioti C.伊安尼。;路易斯·内维斯（Luis C.Neves）。;多维尔拉玛;约翰·安德鲁斯。

使用NVIDIA图形处理单元加速Petri网模拟。 （英语） 兹比尔1374.68717

欧洲药典。物件。 265，编号1361-371（2018）.
MSC公司：68单位35 65二氧化碳 2005年5月 65日元10 68问题85 90B50型
PDF格式BibTeX公司 XML格式引用
\textit{P.C.Yianni}等人，《欧洲药典》。第265号决议，第1号，361--371（2018；Zbl 1374.68717）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

传记参考

全部的 前3名

软件