×

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

最新的 引文 关联
托马斯·科尔科姆贝特；纳塔娜·菲亚尔科夫；皮埃尔·奥曼

控制随机种群。 （英语） Zbl 07250935号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 119-135 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.Colcombet}等人，Lect。注释计算。科学。12077、119--135（2020；Zbl 07250935）
全文： 内政部
让·古鲍特·拉雷克；西蒙·哈尔丰；普拉蒂克，卡兰迪卡尔；K.Narayan Kumar；菲利普·施诺贝伦

计算良好拟序闭子集的理想方法。 （英语） Zbl 1446.68191号

Schuster，Peter M.（编辑）等人，《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆（DMV）内举行的关于良好准序：从理论到应用的小型研讨会，以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆：斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 55-105 (2020).
MSC公司：68周05 03E05号
PDF格式BibTeX公司 XML格式引用
\textit{J.Goubault-Larrecq}等人，《趋势日志》。螺柱日志。伦敦银行同业拆借利率。53、55-105（2020年；Zbl 1446.68191）
全文： 内政部 arXiv公司 哈尔
迈克尔·布隆丁；阿兰·芬克尔；让·古鲍特·拉雷克

WSTS的正向分析。三： 卡普·米勒树。 （英语） Zbl 1491.68118号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第16条，第15页（2018年）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，LIPIcs——莱布尼茨国际程序。通知。93，第16条，第15页（2018；Zbl 1491.68118）
全文： 内政部
尼古拉斯·大卫；克洛德·贾德；莱姆，迪迪埃；奥利维尔·H·鲁克斯。

参数Petri网中的覆盖性综合。 （英语） Zbl 1442.68133号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第14条，第16页（2017年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.David}等人，LIPIcs——莱布尼茨国际程序。通知。85，第14条，第16页（2017年；Zbl 1442.68133）
全文： 内政部
Juhl，Line公司；金·古德斯特兰·拉森；Jean-François拉斯金

多权重和参数化能量对策的最优界。 （英语） Zbl 1390.68399号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，244-255（2013）。
MSC公司：65年第68季度 65年第68季度 91A05型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{L.Juhl}等人，Lect。注释计算。科学。8051，244--255（2013；Zbl 1390.68399）
全文： 内政部
穆罕默德·法乌齐（Mohamed Faouzi Atig）；彼得·哈贝梅尔

关于Yen的Petri网路径逻辑。 （英语） Zbl 1230.68153号

发现的国际期刊。计算。科学。 22，第4期，783-799（2011）.
审核人：Jörg Desel（哈根）
MSC公司：68问题85 65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.F.Atig}和\textit{P.Habermehl}，国际期刊发现。计算。科学。22，第4号，783--799（2011；Zbl 1230.68153）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；Richard迈尔

定价时间Petri网中的最小成本可达性/覆盖性。 （英语） Zbl 1234.68280号

de Alfaro，Luca（编辑），软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504348-363（2009）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}和\textit{R.Mayr}，莱克特。注释计算。科学。5504348-363（2009年；Zbl 1234.68280）
全文： 内政部
艾哈迈德·博阿贾尼；彼得·哈贝梅尔

约束属性、半线性系统和Petri网。 （英语） 兹比尔1514.68125

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 481-497 (1996).
MSC公司：60年第68季度 03B44号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}和\textit{P.Habermehl}，莱克特。注释计算。科学。1119、481--497（1996年；Zbl 1514.68125）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

软件