×

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

最新的 引文 关联
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫

Aeon 2021：布尔网络中的分支决策树。 （英文） Zbl 1491.92059号

Cinquemani，Eugenio（编辑）等人，《系统生物学中的计算方法》。第19届国际会议，CMSB 2021，波尔多，法国，2021年9月22日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12881, 230-237 (2021).
MSC公司：92立方厘米 92-04
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。12881，230-237（2021；Zbl 1491.92059）
全文： 内政部
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫

符号彩色SCC分解。 （英文） Zbl 1474.68210号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 64-83 (2021).
MSC公司：68兰特 05C15号 05C85号 68瓦30 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。12652，64-83（2021；Zbl 1474.68210）
全文： 内政部
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫

互联网拥塞控制协议的数字分叉分析。 （英文） Zbl 1453.93141号

国际分叉混沌应用杂志。科学。工程师。 30，第13号，文章ID 2030038，18 p.（2020）.
MSC公司：93元62角 93C83号 93B70型 93B52号
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，《国际分叉混沌应用》。科学。Eng.30，No.13，文章ID 2030038，18 p.（2020；Zbl 1453.93141）
全文： 内政部
尼古拉·贝内什;伊万娜·乔纳;Štefaňák，Filip

组件交互自动机的因子分解。 （英文） Zbl 1302.68149号

Bieliková，Mária（编辑）等人，SOFSEM 2012：计算机科学的理论与实践。2012年1月21日至27日，第38届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27659-0/pbk）。计算机科学课堂讲稿7147554-565（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。7147554--565（2012；Zbl 1302.68149）
全文： 内政部
尼古拉·贝内什;卢博斯·布里姆;伊万娜·乔纳;吉里·索科尔;瓦埃科娃，帕夫利纳;巴博拉·齐默洛娃

状态/事件LTL的部分订单减少。 （英文） Zbl 1211.68244号

Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423307-321（2009）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。5423307--321（2009；Zbl 1211.68244）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件