×

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

埃尔朗

112份文件引用(1993–2023)
软件作者: erlang.org网站
相关软件: 哈斯克尔;JCobox;快速检查…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

考德

22篇文献引用(2018–2023)
软件作者: Lanese,I.、Nishida,N.、Palacios,A.、Vidal,G。
相关软件: 埃尔朗;铲刀;veriSoft…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

电动汽车

6篇文献引用(2001–2021)
软件作者: 拉尔斯-奥克·弗雷德隆德;迪利安·古罗夫;托马斯·诺尔;Mads大坝;托马斯艺术;根纳迪·楚格诺夫
相关软件: 埃尔朗;伊莎贝尔;密码…
主要字段: 计算机科学(68-XX)

基利姆

6篇文献引用(2010年至2020年)
软件作者: Srinivasan,S.,Mycroft,A。
相关软件: JCobox;防抱死制动系统;Erlang…
主要字段: 计算机科学(68-XX)

超级明星

5份文件引用(2012–2021)
软件作者: Philipp Reinecke、Tilman Krau、Katinka Wolter
相关软件: 丁基橡胶;J相;PhFit…
主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);统计学(62-XX)…

麦克尔朗

3份文件引用(2009–2018)
软件作者: Earle,C.B.,Fredlund,L.-Å。
相关软件: 埃尔朗;快速检查;MapReduce…
主要字段: 计算机科学(68-XX)

快速规范

5份文件引用(2014–2019)
软件作者: Claessen,K.、Smallbone,N.、Hughes,J。
相关软件: 快速检查;赶时髦的人;HipSpec…
主要字段: 计算机科学(68-XX)

Kpc机顶盒

5份文件引用(2012–2020)
软件作者: 卡萨利,G。;张艺珍。;史密尼,E。
相关软件: PhFit;R;EMpht…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

爱尔兰语/OTP

4份文件引用(2009–2012)
软件作者: 佩特·伯克西;科瓦奇,阿提拉;塔特拉,安塔尔
相关软件: 埃尔朗;TXL;CCFinder…
主要字段: 计算机科学(68-XX)

JCCOptim公司

5份文件引用(2010–2022)
软件作者: 怀恩·陈、皮埃尔·勒库耶
相关软件: 联系人中心;mixfdr;RngStreams…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);运筹学、数学规划(90-XX)

卡特尔

3份文件引用(2018–2023)
软件作者: A.Giantsios、N.Papaspyrou、K.Sagonas
相关软件: 切割机;12月6日;厄利伯里…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

重构错误

3份文件引用(2008–2013)
软件作者: 埃特沃斯·洛兰大学,布达佩斯
相关软件: 埃尔朗
主要字段: 计算机科学(68-XX)

透析器

2份文件引用(2016–2018)
软件作者: 爱立信
相关软件: 埃尔朗;打字员
主要字段: 计算机科学(68-XX)

HiPE公司

2份文件引用(2002–2003)
软件作者: E.Johansson、M.Pettersson、K.Sagonas
相关软件: 埃尔朗;SICStus公司;清洁
主要字段: 计算机科学(68-XX)

伊杰森

1份文件引用(2023)
软件作者: 阿拉巴马州迪亚斯。F、。;厄尔,C.B。;弗雷德里克。
相关软件: 贾德克斯;埃尔朗;杰森…
主要字段: 计算机科学(68-XX)

很可能

1份文件引用(2018)
软件作者: A.直到
相关软件: PropEr;卡特尔;红虫…
主要字段: 计算机科学(68-XX)

PropEr公司

1份文件引用(2018)
软件作者: M.Papadakis、E.Arvaniti、K.Sagonas
相关软件: 风吹;卡特尔;redbug…
主要字段: 计算机科学(68-XX)

红臭虫

1份文件引用(2018)
软件作者: M.Cronqvist先生
相关软件: 风吹;PropEr;CutEr…
主要字段: 计算机科学(68-XX)

SecEr公司

1份文件引用(2018)
软件作者: David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit
相关软件: 风吹;PropEr;CutEr…
主要字段: 计算机科学(68-XX)

打字员

1份文件引用(2016)
软件作者: T.Lindahl和K.Sagonas
相关软件: 埃尔朗;风吹;PropEr…
主要字段: 计算机科学(68-XX)

VoDKA公司

2份文件引用(2005–2009)
软件作者: Victor M.Gulias。;米格尔·巴雷罗;何塞·弗雷尔(Jose L.Freire)。
相关软件: OCaml;凸轮;PoSSo…
主要字段: 交换代数(13-XX);计算机科学(68-XX)

阿帕奇节俭

在0个文档中引用
软件作者: Apache软件基金会
相关软件: R;蟒蛇;httr…
主要字段: ——

楔形文字

1份文件引用(2017)
软件作者: Jörgen Brandt;Reisig,Wolfgang;乌尔夫·莱瑟
相关软件: PRMLT;蜂巢;火花…
主要字段: 计算机科学(68-XX)

数据库

在0个文档中引用
软件作者: 爱立信AB
相关软件: 风吹;PropEr;键入…
主要字段: ——

探测器

1份文件引用(2022)
软件作者: D.P.阿塔德。
相关软件: JMeter;基克;阿克卡普洛夫…
主要字段: 计算机科学(68-XX)

埃尔朗C

1份文件引用(2011)
软件作者: 抽象微观系统
相关软件: ——
主要字段: 运筹学、数学规划(90-XX)

爱尔兰-B

1份文件引用(2010)
软件作者: 曾国平
相关软件: ——
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

等CRL2

在0个文档中引用
软件作者: Guo,Q.、Derrick,J.、Benac Earle,C.、Fredlund,L.Å。
相关软件: 麦克尔朗
主要字段: ——

执行者ERL

1份文件引用(2022)
软件作者: 沃尔特·卡佐拉;弗朗西斯科·塞萨里尼;卢卡·坦西尼
相关软件: JMeter;基克;阿克卡普洛夫…
主要字段: 计算机科学(68-XX)

排队

1份文件引用(2022)
软件作者: 佩德罗·卡纳迪拉
相关软件: ——
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

ttb公司

在0个文档中引用
软件作者: 爱立信公司。
相关软件: 风吹;PropEr;键入…
主要字段: ——

牧马人

1份文件引用(2013)
软件作者: 西蒙·汤普森(Simon Thompson);李惠清
相关软件: HaRe;埃尔朗;哈斯克尔
主要字段: 计算机科学(68-XX)

XProf公司

1份文件引用(2022)
软件作者: Gömöri,P。
相关软件: JMeter;基克;阿克卡普洛夫…
主要字段: 计算机科学(68-XX)

阿尔朗

在0个文档中引用
软件作者: 德尼古拉(De Nicola)、罗科(Rocco);Duong,Tan;奥马尔·因弗索(Omar Inverso);卡蒂亚·特鲁比亚尼
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件