×

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

酯类

137篇文献引用(1985–2023)
软件作者: 杰拉德·贝瑞
相关软件: 卢斯特;信号;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

杰森

47篇文献引用(1977–2023)
软件作者: 拉斐尔·博迪尼。;胡布纳,乔米·弗雷德;迈克尔·伍尔德里奇
相关软件: AgentSpeak;贾德克斯;2APL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

信号

51篇文献引用(1987–2020)
软件作者: 大卫·诺瓦克;Jean-Pierre Talpin;蒂埃里·戈蒂埃;保罗·勒格尼
相关软件: 卢斯特;酯类;托勒密…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

MRST-AD公司

26篇文献引用(2016–2023)
软件作者: Krogstad,S.、Lie,K.-A.、Möyner,O.、Nilsen,H.M.、Raynaud,X.、Skaflestad,B
相关软件: MRST;Matlab;MRST-co2lab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

o克林戈

14篇文献引用(2011–2022)
软件作者: 托尔斯滕·格罗特
相关软件: 克林戈;LARS;SPARQL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

弗兰

10篇文献引用(1997–2022)
软件作者: 科纳尔·埃利奥特;保罗·哈达克
相关软件: 哈斯克尔;卢斯特;酯类…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);统计学(62-XX)…

ULM公司

10篇文献引用(2004–2011)
软件作者: 热拉尔·布多尔
相关软件: 酯类;糖块;JoCaml…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Yampa公司

9份文件引用(2003–2020)
软件作者: 亨利克·尼尔森(Henrik Nilsson)、安东尼·考特尼(Antony Courtney)
相关软件: 哈斯克尔;酯类;光泽…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

PaGMO公司

5份文件引用(2014–2023)
软件作者: 弗朗西斯科·比斯卡尼(Francesco Biscani)、达里奥·伊佐(Dario Izzo)、奇·洪扬(Chit Hong Yam)
相关软件: PaGMO/PyGMO;SciPy公司;Python…
主要字段:

糖块

6篇文献引用(2000–2016)
软件作者: 弗雷德里克·布西诺(Frédéric Boussinot);Jean-Ferdy苏西尼
相关软件: 酯类;ULM;YACC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

狂热的

7份文件引用(2011–2021)
软件作者: Foster,N.、Harrison,R.、Freedman,M.J.、Monsanto,C.、Rexford,J.、Story,A.、Walker,D。
相关软件: NetKAT;荨麻;VeriCon…
主要字段:

宝石3k

7份文件引用(2013–2022)
软件作者: 德米特里·库利克(Dmitrii A.Kulik)。;托马斯·瓦格纳(Thomas Wagner);斯维特拉纳五世(Svitlana V.Dmytrieva)。;乔治·科萨科夫斯基(Georg Kosakowski);费迪南德·辛格尔(Ferdinand F.Hingerl)。;康斯坦丁五世(Konstantin V.Chudennko)。;伯纳·乌尔斯·R。
相关软件: GEM手机;开放地理系统;PHREEQC…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);流体力学(76-XX)…

微型操作系统

6篇文献引用(2008–2019)
软件作者: 安德鲁·道尔顿(Andrew R.Dalton)。;Sally K.Wahba。;斯拉文西·丹达穆迪;霍尔斯特罗姆,杰森·O。
相关软件: FDR3;ProB;AUTOSAR…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

头巾

4份文件引用(2014年至2020年)
软件作者: 谢一辉;霍夫曼,海克;程晓月
相关软件: R;GGobi;rggobi…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX)

FranTk公司

5份文件引用(2001年-2005年)
软件作者: 缪里·萨奇
相关软件: 软糖;GHC;哈斯克尔…
主要字段: 计算机科学(68-XX)

PAROC公司

6篇文献引用(2015–2021)
软件作者: 皮斯蒂科普洛斯,E.N。;Diangelakis,N.A。;Oberdieck,R。;Papathanasiou,M.M。;纳斯库,I。;M·孙。
相关软件: POP;安提戈内;MPT…
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

自动平衡器

5份文件引用(2000–2010)
软件作者: 佐藤加美;富米奥·金弘;玉崎县田宫;稻叶、Masayuki;Hirochika井上
相关软件:
主要字段: (70E60-XX);(92C10-XX)

Java日志

引用于3份文件(2002–2007)
软件作者: 阿曼迪,安娜拉;马塞洛·坎波;亚历杭德罗·祖尼诺
相关软件: 高尔夫;奥兹;METATEM…
主要字段: 计算机科学(68-XX)

Flapjax公司

4份文件引用(2009–2020)
软件作者: L.A.Meyerovich、A.Guha、J.Baskin、G.H.Cooper、M.Greenberg、A.Bromfield、S.Krishnamurthi
相关软件: 卢斯特;哈斯克尔;信号…
主要字段: 计算机科学(68-XX)

Nettle公司

引用于3份文件(2017–2021)
软件作者: A.Voellmy、A.Agarwal、P.Hudak
相关软件: 狂热;NetKAT;SDN-SafeCheck…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Perple_X(X)

2份文件引用(2010–2022)
软件作者: 詹姆斯·A·D·康诺利
相关软件: MAGEMin公司;方面;Python…
主要字段: 流体力学(76-XX);地球物理学(86-XX);运筹学,数学规划(90-XX)…

跳过器

4份文件引用(2001年至2007年)
软件作者: 雷米·库达尔彻;佛罗伦萨杜库蒂;乔斯琳·塞洛特(Jocelyn Serot);弗雷德里克·尤里;Jean-Pierre Derutin;米歇尔·德霍姆
相关软件: eSkel;BSMLlib;伊甸园…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

tccp公司

引用于3份文件(2009–2013)
软件作者: 阿列克谢·莱斯卡伊勒(Alexei Lescaylle);艾丽西亚·维拉纽埃娃
相关软件: CC-Pi;GHC;酯类…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

埃利姆

2份文件引用(2016)
软件作者: 加布里埃尔·拉丹;杰罗姆,沃隆;文森特·巴拉特
相关软件: 用户/网络;重量(Lwt);链接…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

卢雷特

1份文件引用(2021)
软件作者: 埃尔万·贾伊尔(Jahier,Erwan);帕斯卡·雷蒙德;菲利普·鲍弗里顿
相关软件: 卢斯特;第2类;绒毛…
主要字段:

瑞典全瓷牙

1份文件引用(2020)
软件作者: Voellmy,A.、Kim,H.、Feamster,N。
相关软件: SGS;SDSNM;OpenFlowSIA…
主要字段: 计算机科学(68-XX)

校对小工具

2份文件引用(2021–2022)
软件作者: 爱德华·艾尔斯(Edward W.Ayers)。;贾姆尼克,马蒂亚;W.T.Gowers。
相关软件: 精益;mathlib;岩浆…
主要字段: (68V15-XX)

PROOST公司

2份文件引用(2020–2022)
软件作者: 加马佐,P。;Slooten,LJ;Carrera,J。;Saaltink,MW;Bea,S。;J.索勒。,
相关软件: TOUGHREACT公司;PHREEQC;水文地球化学…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

REFLIX公司

1份文件引用(2002)
软件作者: Salcic、Zoran;Partha Roop;Biglari-Abhari,Morteza;阿巴斯·比格德利
相关软件:
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

UniMod公司

2份文件引用(2007–2016)
软件作者: 古罗夫,V.S。;Mazin,文学硕士。;纳夫斯基,A.S。;沙利托,A.A。
相关软件: 开关
主要字段: (68N19-XX)

CHEPROO公司

1份文件引用(2020)
软件作者: Bea,S。;Carrera,J。;阿约拉,C。;巴特勒,F。;萨廷克,M。
相关软件: TOUGHREACT公司
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

FRP现在

1份文件引用(2015)
软件作者: 阿特·范德普洛格;科恩·克莱森
相关软件: 反应性香蕉;酯类;光泽…
主要字段: 计算机科学(68-XX)

卢拉

1份文件引用(2001年)
软件作者: 迈克尔·斯珀伯
相关软件: 方案;FranTk公司
主要字段: 计算机科学(68-XX)

NQC动态.jl

在0个文档中引用
软件作者: 詹姆斯·加德纳(James Gardner)、奥斯卡·A·道格拉斯·加勒多(Oscar A.Douglas-Gallardo)、沃伊切赫·G·斯塔克(Wojciech G.Stark)、朱莉娅·韦斯特梅尔(Julia Westermayr)、斯文贾·M·扬克(Svenja M.Janke)、斯科特·哈伯森(Scott Habershon)、莱因哈德·莫勒(Reinhard J.Maurer)
相关软件: VENUS96;Unitful.jl;MLJ…
主要字段:

OCamlJS公司

在0个文档中引用
软件作者: J.多纳姆
相关软件: OCaml公司
主要字段:

Paracosm公司

1份文件引用(2023)
软件作者: Rupak Majumdar;阿曼·马图尔;马库斯·皮龙(Marcus Pirron);劳拉·斯坦纳;达米恩·祖弗里
相关软件: LGSVL;DeepXlore;基蒂…
主要字段: 计算机科学(68-XX)

有趣的

在0个文档中引用
软件作者: V.贝伦茨;马克斯·普朗克智能系统研究所
相关软件: 火山机器人
主要字段:

反应性香蕉

1份文件引用(2015)
软件作者: 海因里希·阿普费尔穆斯
相关软件: FRP低;酯类;光泽…
主要字段: 计算机科学(68-XX)

简约RaTT

1份文件引用(2023)
软件作者: 帕特里克·巴尔(Patrick Bahr);Graulund,基督徒;拉斯穆斯·莫格伯格
相关软件: 效率;MiniML;阿格达
主要字段: 计算机科学(68-XX)

SJL公司

1份文件引用(2015)
软件作者: 莫提卡,克里斯蒂安;冯·汉克斯利登,莱因哈德
相关软件: 酯类;卢斯特
主要字段: 计算机科学(68-XX)

索特

1份文件引用(2019)
软件作者: Ankush Desai、Shromona Ghosh、Sanjit A.Seshia、Natarajan Shankar、Ashish Tiwari
相关软件: FaST机架
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

ThingML公司

在0个文档中引用
软件作者: N.Harrand、F.Fleurey、B.Morin、K.E.Husa
相关软件: KNIME;推断。网络;Scikit…
主要字段:

筛选结果依据…

全部的 前5名

相关软件