×

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

pybind11

12份文件引用(2020–2023)
软件作者: Jakob Wenzel等人
相关软件: 蟒蛇;数字Py;科学…
主要字段: 代数几何(14-XX);统计学(62-XX);数值分析(65-XX)…

斯派德

4份文件引用(2017年至2020年)
软件作者:
相关软件: 蟒蛇;SciPy;数字标识…
主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

GI-log公司

3份文件引用(2016–2020)
软件作者: 张至正;王斌;张树涛
相关软件: 出售;克林戈;格林戈…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

隐喻

2份文件引用(2006–2011)
软件作者: 格雷戈里·涅韦罗夫、保罗·罗
相关软件: OCaml;方面J;Cayenne…
主要字段: 计算机科学(68-XX)

ReCaml公司

2份文件引用(2010)
软件作者: 杰雷米·布森;法比安·达格纳特
相关软件: 锌;埃尔朗;Coq…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

CloudSec(云安全)

在0个文档中引用
软件作者: 易卜拉欣,A.,哈姆林·哈里斯,J.,格兰迪,J
相关软件: ReVirt;RSYSLOG;SecVisor…
主要字段: 计算机科学(68-XX)

JavaSMT软件

1份文件引用(2016)
软件作者: 埃戈尔·乔治·卡彭科夫(Egor George Karpenkov)、卡尔海因斯·弗里德伯格(Karlheinz Friedberger)、德克·拜尔(Dirk Beyer)
相关软件: FOCI;姆约利尼尔;PAGAI…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MATmarks(匹配标记)

1份文件引用(2004)
软件作者: G.Almasi、C.Cascaval、D.A.Padua
相关软件: ParaMat;MATPAR;分发PP…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段