×

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

最新的 引文 关联
科恩、埃尔丹;J.克里斯托弗·贝克

面向目标的神经序列解码中的重尾和随机重启波束搜索。 （英语） Zbl 07493625号

Stuckey，Peter J.（编辑），约束编程、人工智能和运筹学的集成。第18届国际会议，2021年7月5日至8日，奥地利维也纳，CPAIOR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第1273515-132页（2021）。
MSC公司：68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{E.Cohen}和\textit{J.C.Beck}，莱克特。注释计算。科学。12735，115-132（2021；Zbl 07493625）
全文： 内政部
尼科·波提卡

渐进论证语义的开放性。 （英语） Zbl 1440.68273号

Ben Amor，Nahla（编辑）等，可扩展不确定性管理。2019年12月16日至18日，法国康皮涅，第13届国际会议，SUM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11940, 236-249 (2019).
MSC公司：第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{N.波提卡}，莱克托。注释计算。科学。11940236--249（2019年；Zbl 1440.68273）
全文： 内政部
阿德里安港

并发提供最小的过程表示。 （英语） Zbl 1486.68115号

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10226, 242-257 (2017).
MSC公司：68问题85 06年06月06日 2015年1月6日
PDF格式BibTeX公司 XML格式引用
\textit{A.Puerto}，莱克特。注释计算。科学。10226、242--257（2017；Zbl 1486.68115）
全文： 内政部
Bernardinello，卢卡;露西娅·波梅尔;斯特凡妮娅·隆博拉

出现网中的正交模格。 （英语） Zbl 1242.68174号

Franceschinis，Giuliana（编辑）等人，《Petri网的应用和理论》。第30届国际会议，PETRI NETS 2009，巴黎，法国，2009年6月22-26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02423-8/pbk）。计算机科学课堂讲稿5606163-182（2009）。
MSC公司：68问题85 06第15页
PDF格式BibTeX公司 XML格式引用
\textit{L.Bernardinello}等人，Lect。注释计算。科学。5606163--182（2009年；Zbl 1242.68174）
全文： 内政部
高勇

W[2]完全问题的随机实例：阈值、复杂性和算法。 （英语） Zbl 1138.68425号

Kleine Büning，Hans（编辑）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，2008年SAT第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996，91-104（2008）。
MSC公司：2017年第68季度 第68页第15页 68T20型
PDF格式BibTeX公司 XML格式引用
\给Lect发短信。注释计算。科学。4996，91-104（2008年；Zbl 1138.68425）
全文： 内政部
Ekkart Kindler公司;托拜厄斯Vesper

ESTL：事件和状态的时序逻辑。 （英语） Zbl 1510.68042号

Desel，Jörg（编辑）等人，《Petri网的应用和理论》，1998年。1998年6月22日至26日，第19届国际会议，ICATPN'98，葡萄牙里斯本。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1420, 365-384 (1998).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Kindler}和\textit{T.Vesper}，莱克特。注释计算。科学。1420365-384（1998年；Zbl 1510.68042）
全文： 内政部
Ekkart Kindler公司;哈根·沃尔泽

代数网的灵活性。 （英语） Zbl 1523.68043号

Desel，Jörg（编辑）等人，《Petri网的应用和理论》，1998年。1998年6月22日至26日，第19届国际会议，ICATPN'98，葡萄牙里斯本。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1420, 345-364 (1998).
MSC公司：68问题85 60年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{E.Kindler}和\textit{H.Völzer}，莱克特。注释计算。科学。1420、345--364（1998年；Zbl 1523.68043）
全文： 内政部 链接
哈罗·威梅尔;普里塞·卢茨

Petri网pomset语义的代数表征。 （英语） Zbl 1514.68188号

Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1243, 406-420 (1997).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛H.Wimmel｝和\textit｛L.Priese｝，Lect。注释计算。科学。1243406--420（1997年；Zbl 1514.68188）
全文： 内政部
Ekkart Kindler公司

Petri网组件的组合偏序语义。 （英语） Zbl 1510.68061号

Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1248, 235-252 (1997).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.Kindler}，莱克特。注释计算。科学。1248235-252（1997年；Zbl 1510.68061）
全文： 内政部
奥拉夫·库默;马克·奥利弗

Petri的并发公理。近期结果精选。 （英语） Zbl 1510.68064号

Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1248, 195-214 (1997).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{O.Kummer}和\textit{M.-O.Stehr}，莱克特。注释计算。科学。1248195-214（1997；Zbl 1510.68064）
全文： 内政部
光环，Tuomas;约翰·利利乌斯

时间Petri网的时间过程。 （英语） Zbl 1510.68048号

Azéma，Pierre（编辑）等人，《Petri网的应用与理论》，1997年。第18届国际会议，1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1248, 136-155 (1997).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.Aura}和\textit{J.Lilius}，莱克特。注释计算。科学。1248136-155（1997年；Zbl 1510.68048）
全文： 内政部
Ekkart Kindler公司;沃尔特·罗尔夫

弧型Petri网。 （英语） Zbl 1418.68147号

Billington，Jonathan（编辑）等人，《Petri网的应用和理论》，1996年。第17届国际会议，日本大阪，1996年6月24日至28日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1091, 289-306 (1996).
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Kindler}和\textit{R.Walter}，莱克特。注释计算。科学。1091、289--306（1996年；Zbl 1418.68147）
全文： 内政部
最好的，艾克;马西耶·库特尼

求解递归网络方程。 （英语） Zbl 1412.68147号

Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 605-623 (1995).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{E.Best}和\textit{M.Koutny}，莱克特。注释计算。科学。944、605--623（1995年；Zbl 1412.68147）
全文： 内政部
哈维尔·埃斯帕尔扎;伯恩哈德·冯·斯坦格尔

非同步委员会会议问题。 （英语） Zbl 1528.68251号

van Leeuwen，Jan（编辑），工作组'93。计算机科学中的图论概念，第19届国际研讨会，荷兰乌得勒支，1993年6月16日至18日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。790, 276-287 (1994).
MSC公司：68问题85 06A07年 65年第68季度 68卢比 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}和\textit{B.von Stengel}，莱克特。注释计算。科学。790、276--287（1994年；Zbl 1528.68251）
全文： 内政部
哈维尔·埃斯帕尔扎

使用网络展开进行模型检查。 （英语） Zbl 1498.68157号

Gaudel，Marie-Claude（编辑）等人，《TAPSOFT’93：软件开发的理论与实践》。第四届CAAP/FASE国际联席会议，法国奥尔赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。668613-628（1993年）中所述。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}，莱克特。注释计算。科学。668613-628（1993年；Zbl 1498.68157）
全文： 内政部
胡格斯，P.W。;H.C.M.克莱因。;蒂亚加拉扬，P.S。

Petri网的跟踪语义（扩展抽象）。 （英语） Zbl 1427.68199号

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 595-604 (1992).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.W.Hoogers}等人，Lect。注释计算。科学。623595--604（1992年；Zbl 1427.68199）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件