×

找到2个软件包(结果1-2)

道具

17篇文献引用(2015–2022)
软件作者: Dehnert,C.,Junges,S.,Jansen,N.,Corzilius,F.,Volk,M.,Bruintjes,H.,Katoen,J.-P.,Al braháM,E。
相关软件: 棱镜;风暴;参数…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

NaTT公司

6篇文献引用(2014–2022)
软件作者: Akihisa山田
相关软件: 名古屋终端工具;蒂罗尔;多终端…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…