防抱死制动系统 32篇文献引用(2012–2022) 软件作者: Johnsen,E.B.、Hähnle,R.、Schäfer,J.、Schlatte,R.和Steffen,M。 相关软件: JCobox;中美合作所;Erlang… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
红宝石 22篇文献引用(2002–2017) 软件作者: 弗拉纳根,D。;松本,Y。 相关软件: 蟒蛇;JavaScript;PERL… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
PolyTOIL公司 19份文件引用(1997–2014) 软件作者: Bruce,K.,Schuett,A.,van Gent,R.,Fiech,A。 相关软件: 羽量级Java;埃菲尔;测试版… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
三倍的 16篇文献引用(2002–2015) 软件作者: Michael Sintek;斯特凡·戴克 相关软件: SPARQL;平滑;XSB… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);天文学和天体物理学(85-XX)…
半人马座 19份文件引用(1991–2022) 软件作者: Borras,P.、Clément,D.、Despeyroux,Th.、Incerpi,J.、Kahn,G.、Lang,B.、Pascual,V、 相关软件: K校准仪;Coq;莫德… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
BoogiePL公司 11份文件引用(2005–2020) 软件作者: DeLine,R.,Leino,K.R.M。 相关软件: z3;规范#;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
工厂 11份文件引用(2011–2020) 软件作者: 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格 相关软件: 教堂;IBAL;ProbLog… 主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
美赞臣 引用于9份文件(2006–2019) 软件作者: Bierman GM、Parkinson MJ、Pitts AM 相关软件: 羽量级Java;中量级爪哇;旋风… 主要字段: 计算机科学(68-XX)
代码爬虫 6篇文献引用(2004–2011) 软件作者: 兰扎,M;杜卡斯,S。;加尔,H。;平兹格,M。 相关软件: Seesoft;CVS扫描;Vizz3D… 主要字段: 统计学(62-XX);计算机科学(68-XX)
羽毛特征 6篇文献引用(2008–2023) 软件作者: 利古里,路易吉;阿诺·斯皮瓦克 相关软件: 羽量级Java;JML;埃菲尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CDOL公司 4份文件引用(1997–2002) 软件作者: 苏珊·厄本(Susan D.Urban)。;卡拉迪姆(Anton P.Karadimce)。;迪特里希,苏珊娜·W。;阿卜杜拉提夫(Abdellatif),陶菲克·本(Taoufik Ben);Chan,Hon Wai Rene先生 相关软件: – 主要字段: 计算机科学(68-XX)
澄清器 5份文件引用(1995–2005) 软件作者: 肯尼·亨特(Kenny Hunt);詹姆斯·克雷默 相关软件: 分子;鹦鹉螺;ACSL… 主要字段: 凸和离散几何(52-XX);统计学(62-XX);计算机科学(68-XX)…
泄漏 3份文件引用(1994–2012) 软件作者: 安东尼奥·阿伦卡尔(Antonio J.Alencar)、约瑟夫·高根(Joseph A.Goguen) 相关软件: AGG;亨欣;凹槽… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
POOSL公司 3份文件引用(2003–2022) 软件作者: Theelen,B.D。;Voeten,J.P.M。;R.D.J.克莱默。 相关软件: 蟒蛇;TypeScript;酯类… 主要字段: 计算机科学(68-XX)
BYTESURGEON公司 2份文件引用(2006–2008) 软件作者: 马库斯·丹克(Marcus Denker);Stéphane Ducasse;埃里克·坦特 相关软件: SmallJS;JavaScript;WhyLine… 主要字段: 计算机科学(68-XX)
接线盒 1份文件引用(2017) 软件作者: Jan Schäfer,Arnd Poetzsch-Heffter 相关软件: ArchJava;JavAdaptor;JCobox… 主要字段: 计算机科学(68-XX)
ABS-NET(防抱死制动系统-网络) 1份文件引用(2013) 软件作者: 卡尔·帕尔姆斯科格(Karl Palmskog);Dam、Mads;安德烈亚斯·伦德布拉德;阿里·贾法里 相关软件: KryoNet公司;腹肌;和弦… 主要字段: 计算机科学(68-XX)