×

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

X减少

引用于53份文件(2003–2020)
软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯)
相关软件: CDuce;XPath;PiDuce…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

流量凸轮

5份文件引用(2009–2018)
软件作者: V.西蒙内
相关软件: Jif;HLIO;哈斯克尔…
主要字段: 计算机科学(68-XX)

PCRE公司

3份文件引用(2011–2018)
软件作者:
相关软件: RE2;TRE;数字标识…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

袋鼠

1份文件引用(2012)
软件作者: Betel,D.,Hogue,C。
相关软件: SCiFI;WebLogo;BioProspector公司
主要字段: 计算机科学(68-XX)

MONAA公司

3份文件引用(2016–2024)
软件作者: Masaki Waga公司
相关软件: 时间模式匹配;Simulink;ModelPlex…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

定时模式匹配

3份文件引用(2016–2021)
软件作者: Masaki和加;秋崎,Takumi;一郎·哈索
相关软件: 蒙特勒;MONAA;Simulink…
主要字段: 计算机科学(68-XX)

筛选结果依据…