×

找到20个软件包(结果1–20)

VerICS版本

34份文件引用(2005–2023)
软件作者: 兹布热兹尼(Zbrzezny,Andrzej);沃兹纳、博·德·泽纳
相关软件: MCMAS;MCK;MOCHA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

HySAT卫星

26篇文献引用(2006–2021)
软件作者: Fränzle,Martin;克里斯蒂安·赫尔德
相关软件: 高科技;数学SAT;SpaceEx…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

内部控制系统

17篇文献引用(2009–2023)
软件作者: 克劳斯·诺德豪森(Klaus Nordhausen)、汉努·奥贾(Hannu Oja)、大卫·E·泰勒(David E.Tyler)
相关软件: R;ICSNP;robustbase…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

内部控制系统

19份文件引用(2001–2016)
软件作者: Jean-Christophe Filliátre;Owre,Sam;哈拉尔德街;Natarajan Shankar
相关软件: CVC-Lite;CVC;箔条…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);场论与多项式(12-XX)…

GHICA公司

引用于8份文件(2010–2022)
软件作者: Chen,Y.、Härdle,W.和Spokoiny,V。
相关软件: TVICA;FastICA;ElemStatLearn…
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

IC测试

4份文件引用(2017–2022)
软件作者: 克劳斯·诺德豪森(Klaus Nordhausen)、汉努·奥贾(Hannu Oja)、戴维·泰勒(David E.Tyler)、乔尼·维塔(Joni Virta)
相关软件: R;Rcpp Armadillo;Rcpp…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

仪式

4份文件引用(1992–2005)
软件作者: 阿文德·斯里尼瓦桑;卡马尔·乔杜里;欧内斯特·库赫。
相关软件: TILOS;FaSa公司
主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

SSpro公司

引用于2份文件(2016–2018)
软件作者: 克里斯托夫·马格南(Christophe N.Magnan)、皮埃尔·巴尔迪(Pierre Baldi)
相关软件: ACCpro;凯拉斯;MadGraph…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

风暴室

3份文件引用(2013–2016)
软件作者: 西奥多罗斯·恩图斯卡斯;尼娜塔·波列米
相关软件: S-PORT公司;OCTAVE公司;MAGERIT…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

ACCpro公司

1份文件引用(2018)
软件作者: 克里斯托夫·马格南(Christophe N.Magnan)、皮埃尔·巴尔迪(Pierre Baldi)
相关软件: SSpro;凯拉斯;MadGraph…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

ARGO公司

1份文件引用(2013)
软件作者: 奥列格·维什内夫斯基(Oleg V.Vishnevsky)、尼古拉·科尔沙诺夫(Nikolay A.Kolchanov)
相关软件: WordSpy;MotifMiner;WebMOTIFS…
主要字段: 生物学和其他自然科学(92-XX)

萨那

引用于2份文件(2018–2020)
软件作者: 尼尔·马马诺,韦恩·海斯
相关软件: 线路;DeepWalk;SecGraph…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

SOLpro公司

1份文件引用(2014)
软件作者: 麦格南,北卡罗来纳州。;A.兰德尔。;巴尔迪,P。
相关软件: PSIPRED;建模师;ExPASy…
主要字段: 生物学和其他自然科学(92-XX)

丹恩

1份文件引用(2019)
软件作者: Quang,D。;陈,Y。;谢,X。
相关软件: DiceOptim;愤怒;释放F…
主要字段: 统计学(62-XX);计算机科学(68-XX)

ICLUS公司

1份文件引用(2006)
软件作者: 吴爱德蒙H.C。;Yu,Philip L.H。
相关软件:
主要字段: 统计学(62-XX);数值分析(65-XX)

内部控制系统

1份文件引用(2005)
软件作者: 张善清;张桂旭;李志斌
相关软件:
主要字段: 偏微分方程(35-XX);全局分析,流形分析(58-XX);数值分析(65-XX)…

ICS希尼

1份文件引用(2018)
软件作者: Aurore Archimbaud、Joris May、Klaus Nordhausen、Anne Ruiz Gazen
相关软件: mvoutlier;ICSOutlier;rrcovHD…
主要字段: 统计学(62-XX)

微型CPS

在0个文档中引用
软件作者: 丹尼尔·安东尼奥利(Daniele Antonioli)、尼尔斯·奥勒·蒂彭豪尔(Nils Ole Tippenhauer)
相关软件: OMNet++;pycomm;POX…
主要字段:

施耐德时钟同步

1份文件引用(2007)
软件作者: 达米安·巴索蒂
相关软件: Yices;时钟同步;存档正式证据…
主要字段: 计算机科学(68-XX)

VIRALpro公司

1份文件引用(2017)
软件作者: 加利兹,C。;马格南,C。;科斯特·F。;巴尔迪,P。
相关软件: iPTM-mLys;iLoc-Virus病毒;病毒定位…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

筛选结果依据…

全部的 前5名

相关软件