×

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

国家标准-2

87份文件引用(2000–2022)
软件作者: 加州大学伯克利分校;McCanne,S。;弗洛伊德,S。
相关软件: 网络模拟器2;GloboSim;ns-3…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

高尔夫

158份文件引用(1996–2024)
软件作者: 赫克托·J·列夫斯克(Hector J.Levesque)。;雷蒙德·雷特(Raymond Reiter);Lespérance,伊夫斯;林方珍;Richard B.舍尔。
相关软件: ConGolog;AgentSpeak;METATEM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

模拟67

131篇文献引用(1963年至2021年)
软件作者: 达尔,O.J。;奈加德,K。
相关软件: 埃菲尔;ALGOL 68;Smalltalk…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);数值分析(65-XX)…

托勒密

66份文件引用(1995–2022)
软件作者: Johan Eker、Jörn W.Janneck、Edward A.Lee、Jie Liu、Xiaojun Liu、Jozsef Ludvig、Stephen Neuendorffer、Sonia Sachs、Yuhong Xiong
相关软件: 大都市;卢斯特;状态流…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

MRMC公司

71篇文献引用(2006–2023)
软件作者: Joost-Pieter Katoen;亚琛工业大学
相关软件: 棱镜;Uppaal;CADP…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

COMPASS(指南针)

49篇文献引用(1999–2023)
软件作者: Hong,L.Jeff;巴里·L·纳尔逊。
相关软件: R样条;EGO;SimOpt…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

PMaude公司

30篇文献引用(2005–2023)
软件作者: 古尔·阿加;何塞·梅塞盖尔(JoséMeseguer);库什克森
相关软件: 莫德;PVeStA;棱镜…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

智能_

23篇文献引用(2000–2018)
软件作者: Ciardo,G。;Jones,R.L。;Miner,A.S.公司。;R·西米尼亚努。
相关软件: 自旋蛋白;棱镜;NuSMV…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

贝塔

22篇文献引用(1985年至2016年)
软件作者: Bent Bruun Kristensen、Ole Lehrmann Madsen、Birger Möller-Pedersen、Kristen Nygaard
相关软件: 埃菲尔;Simula 67;Smalltalk…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);变形固体力学(74-XX)…

SIMSCRIPT软件

30篇文献引用(1965–2008)
软件作者: 马科维茨,H.M。;豪斯纳,B。;H.W.卡尔。
相关软件: GASP IV;Ada95;模拟器67…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

铲刀

30篇文献引用(2000–2023)
软件作者: 彼得·哈里森(Peter G.Harrison)。;本·斯特鲁洛
相关软件: 政治公众人物协议;考德;ipc…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

苏普雷米卡

26篇文献引用(2009–2023)
软件作者: 克努特·阿克森;马丁·费边(Martin Fabian);雨果·弗洛达尔;罗比·马利克
相关软件: UMDES;TCT;NuSMV…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

莫比乌斯

18篇文献引用(2001–2021)
软件作者: 威廉·桑德斯
相关软件: 智能_;政治公众人物协议;分享…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

GPSS世界

22篇文献引用(2005–2022)
软件作者: 民兵软件
相关软件: Globus工具包;
主要字段: 积分变换,运算微积分(44-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

石匠

13份文件引用(2009–2021)
软件作者: Luke S.、Cioffi-Revilla C.、Panait L.、Sullivan K.、Balan G。
相关软件: 就餐套房;NetLogo;Mesa…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

国家标准-3

17篇文献引用(2012–2023)
软件作者: NS-3联合体;TR Henderson、M Lacage、GF Riley;亨德森、罗伊、弗洛伊德
相关软件: QKDNetSim;ns-2;QKD…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

网络模拟器2

5份文件引用(2003–2016)
软件作者: VINT项目
相关软件: ns-2;AntNet;Matlab…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

奥斯卡

17篇文献引用(2014年-2023年)
软件作者: OscaR团队
相关软件: 通用电气;彗星;OR工具…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

马斯科特

12份文件引用(1997–2022)
软件作者: 佩雷·桑乔(Pere P.Sancho)、卡洛斯·尤兹(Carlos Juiz)、拉蒙·普贾纳(Ramon Puigjaner)
相关软件: LSTRS;贝叶斯DA;翡翠…
主要字段: 数论(11-XX);近似和展开(41-XX);数值分析(65-XX)…

HOFiD_向上

13份文件引用(2012–2022)
软件作者: 阿莫迪奥、皮耶路易吉;朱塞佩娜·塞塔尼
相关软件: Matlab;twpbvp;bvptwp.m…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

模拟Java

引用于8份文件(2001–2013)
软件作者: F.Howell和R.McNab
相关软件: 和弦;网格模拟;MicroGrid…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

PartiSim公司

9份文件引用(2015–2021)
软件作者: Antuela A.Tako。;凯西·科蒂亚迪斯
相关软件: SimLean;擅长;DYNAMO…
主要字段: 历史与传记(01-XX);运筹学、数学规划(90-XX)

ARENA公司

9份文件引用(2002–2018)
软件作者: 罗克韦尔自动化公司
相关软件: Matlab;SPSS软件;DFBOX_IMPR…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…

SimLean公司

7份文件引用(2012–2021)
软件作者: Stewart Robinson;Zoe J.Radnor。;尼古拉·伯吉斯;克莱尔·沃辛顿
相关软件: PartiSim;MADM;APOSTLE…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

CD光盘++

引用于8份文件(2002–2010)
软件作者: 加布里埃尔·韦纳
相关软件:
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

超链接

引用于8份文件(2012–2024)
软件作者: Omelchenko,Y.A。;H.卡里马巴迪。
相关软件: github;HPX;古罗比…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

MONARC公司

6篇文献引用(2001–2012)
软件作者: Ciprian Dobre;科里纳地层
相关软件: OptorSim;网格模拟;GrADS…
主要字段: 计算机科学(68-XX);量子理论(81-XX);运筹学、数学规划(90-XX)

HASL公司

6篇文献引用(1986–2016)
软件作者: Ballarini,P.、Djafri,H.、Duflot,M.、Haddad,S.、Pekergin,N。
相关软件: COSMOS;Uppaal;棱镜…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

喷洒列表

5份文件引用(2017年至2021年)
软件作者: Dan Alistarh、Justin Kopinsky、Jerry Li、Nir Shavit
相关软件: CBPQ;数据集;Hillview…
主要字段: 计算机科学(68-XX)

排队计算机

在0个文档中引用
软件作者: 安东尼·埃伯特(Anthony Ebert)、保罗·吴(Paul Wu)、凯里·蒙格森(Kerrie Mengersen)、法布里奇奥·鲁杰里(Fabrizio Ruggeri)
相关软件: R;dplyr;SimPy…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

罗斯

4份文件引用(2002–2019)
软件作者: Christopher D.Carothers。;大卫·鲍尔(David Bauer);肖恩·皮尔斯
相关软件: GTW;使徒;Python PDEVS…
主要字段: 偏微分方程(35-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

在0个文档中引用
软件作者: Bart Smeets,Iñaki Ucar公司
相关软件: dplyr;SimPy;微基准…
主要字段:

简单Py

1份文件引用(2022)
软件作者: Lünsdorf O,Scherfke S公司
相关软件: SimJulia;煨;dplyr…
主要字段: 运筹学、数学规划(90-XX)

贝塔西姆

3份文件引用(1998–2016)
软件作者: 沃尔夫冈·克鲁泽;卡斯珀·斯特拜
相关软件: 贝塔;第欧根尼
主要字段: 计算机科学(68-XX)

Ciw公司

引用于2份文件(2018–2023)
软件作者: Palmer,G.I.、Knight,V.A.、Harper,P.R.、Hawa,A.L。
相关软件: 蟒蛇;TensorFlow;GitHub…
主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX)

CyPhySim公司

3份文件引用(2017–2020)
软件作者: 克里斯托弗·布鲁克斯;爱德华·A·李。;戴维·洛伦泽蒂(David Lorenzetti);Thierry S.Nouidui。;迈克尔·威特
相关软件: SpaceEx;抱怨;Meschach…
主要字段: 常微分方程(34-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

Netsim公司

引用于2份文件(1999–2001)
软件作者: 塔米·维斯。;约翰·科布扎(John E.Kobza)。;帕特里克·科林
相关软件: C4.5;VCNet;edgeR…
主要字段: 统计学(62-XX);计算机科学(68-XX)

网鱼

引用于2份文件(2022–2023)
软件作者: 蒂姆·库普曼斯(Tim Coopmans)、罗伯特·克尼根斯(Robert Knegjens)、阿克塞尔·达尔伯格(Axel Dahlberg)、大卫·迈尔(David Maier)、洛克·尼斯特恩(Loek Nijsten)、朱利奥利维拉·菲尔霍(Julio de Oliveira Filho)、马蒂恩·帕彭德雷希特(Martijn Papendrecht)、朱莉安·拉比(Julian Rabbie)、菲利普·罗兹普·戴克(Filip Rozp \
相关软件: SeQUeNCe;QuNetSim;Scikit…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

萨拉宾

引用于2份文件(2019–2023)
软件作者: 路德·范德汉姆
相关软件: 煨;DSOL;SimJulia…
主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX)

SECUSIM公司

3份文件引用(2001–2002)
软件作者: 朴正洙;Lee,Jang-Se;Kim,Hwan Kuk;郑,郑瑞;Yeom、Dong Bok;志松道
相关软件: 可视化C++
主要字段: 计算机科学(68-XX)

模拟活动

引用于2份文件(2009–2019)
软件作者: 迈斯沃克
相关软件: Matlab;UMDES;Simulink…
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

辛朱莉娅

1份文件引用(2022)
软件作者: 本·劳文斯
相关软件: SimPy;煨;simmer.plot…
主要字段: 运筹学、数学规划(90-XX)

方块模拟人生

1份文件引用(2021)
软件作者: Alharby M.、van Moorsel A。
相关软件: CLoTH公司
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

DEMSIM公司

引用于2份文件(2005–2014)
软件作者: Madhukar S.达西卡。;安舒曼·古普塔;科斯塔斯·马拉纳斯。
相关软件: 修补器电池
主要字段: 常微分方程(34-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

多米诺

1份文件引用(1997年)
软件作者: Derrick,E.Joseph;奥斯曼·巴尔奇
相关软件:
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

GroudSim公司

在0个文档中引用
软件作者: 西蒙·奥斯特曼;卡西亚·普朗肯斯坦纳;Radu Prodan;托马斯·法林格
相关软件: GloudSim;DCSim;DPWSim…
主要字段:

JMT公司

1份文件引用(2016)
软件作者: Bertoli M、Casale G、Serazzi G
相关软件: 煨;犰狳;微基准…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

PDE工具

1份文件引用(2005)
软件作者: Ali Khalili;阿米尔·贾拉利·比多利;穆罕默德·阿卜杜拉希·阿兹戈米
相关软件: Matlab公司
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)…

pntool工具

引用于2份文件(2004)
软件作者: 屋大维,帕斯特拉瓦努;Matcovski、Mihaela Hanako;克里斯蒂安·马胡利亚
相关软件: Matlab公司
主要字段: 总体主题;藏品(00-XX);系统论;对照(93-XX)

SeQUeNCe公司

1份文件引用(2022)
软件作者: 吴晓亮、亚历山大·科拉尔、钟华坤、董进、周忠、拉杰库马尔·凯蒂穆图、马丁·苏查拉
相关软件: 网鱼;QuNetSim;SimulaQron…
主要字段: 计算机科学(68-XX)

SSim(SSim)

1份文件引用(2012)
软件作者: 安东尼奥·卡扎尼加
相关软件: 巴顿;和弦
主要字段: 计算机科学(68-XX)

使徒

1份文件引用(2019)
软件作者: Wonnacott,P。;D.布鲁斯。
相关软件: Python PDEVS;网格香料;GTW…
主要字段: 运筹学、数学规划(90-XX)

成本

1份文件引用(2006)
软件作者: Chen,G.、Szymanski,B。
相关软件: C++Builder;BPSim++;Simkit…
主要字段: 运筹学、数学规划(90-XX)

DESP-C公司++

在0个文档中引用
软件作者: 杰罗姆·达蒙特
相关软件:
主要字段:

DEVS红宝石

1份文件引用(2018)
软件作者: R.Franceschini、P.-A.Bisgambiglia、P.Bisgambiglia、D.R.C.Hill
相关软件: 多PDEVS
主要字段: 系统论;对照(93-XX)

DEVSimPy-mob公司

在0个文档中引用
软件作者: L.Capocchi、J.F.Santucci
相关软件: 瓶子;阿帕奇·科尔多瓦;阴谋…
主要字段:

DSOL公司

在0个文档中引用
软件作者: P.H.M.Jacobs,N.A.Lang,A.Verbraeck
相关软件: 煨;SimJulia;SimPy…
主要字段:

骑士西姆

1份文件引用(2020年)
软件作者: 克里斯托弗·贾尔斯(Christopher E.Giles)。;克里斯蒂娜·彼得森。;马克·海因里希(Mark A.Heinrich)。
相关软件:
主要字段: 计算机科学(68-XX)

多PDEVS

1份文件引用(2018)
软件作者: 四分,达米恩;弗朗西斯科尼,罗曼;双冈比亚,保尔·安托因;贝尔纳·齐格勒(Bernard P.Zeigler)。
相关软件: DEVS-鲁比
主要字段: 系统论;对照(93-XX)

国家标准操作系统

1份文件引用(1998)
软件作者: 科特·科尔文;泰伦斯·博马里奇
相关软件:
主要字段: 计算机科学(68-XX)

NUAPC公司

1份文件引用(1997年)
软件作者: 朱根江;谢,李;孙中秀
相关软件: 基塔拉;路径帕斯卡;剑麻…
主要字段: 计算机科学(68-XX)

对象模拟-2

1份文件引用(2001)
软件作者: 阿列克谢·罗迪奥诺夫。;德米特里·列斯科夫。
相关软件: Modula公司
主要字段: 计算机科学(68-XX)

Python开发工具

在0个文档中引用
软件作者: 博尔杜克,J.S.,万赫卢韦,H.L。
相关软件: A至M3
主要字段:

QuISP公司

在0个文档中引用
软件作者: Ryosuke Satoh、Michal Hajdušek、Naphan Benchasattabuse、Shota Nagayama、Kentaro Teramoto、Takaaki Matsuo、Sara Ayman Metwalli、Takahiko Satoh,Shigeya Suzuki、Rodney Van Meter
相关软件: SeQUeNCe;网鱼;QuNetSim…
主要字段:

SimCo公司

在0个文档中引用
软件作者: 理查德·利普卡(Richard Lipka);托马斯·波图亚克;布拉达,普雷梅克;帕维尔·赫罗特
相关软件:
主要字段:

Simkit公司

1份文件引用(2006)
软件作者: 巴斯,A。
相关软件: C++Builder;BPSim++;成本…
主要字段: 运筹学、数学规划(90-XX)

SIMLIB公司

1份文件引用(2015)
软件作者: 布莱恩·哈夫曼
相关软件: 威卡
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

SmartGrid工具箱

在0个文档中引用
软件作者: Dan Gordon、Paul Scott、Sylvie Thiébaux
相关软件: 电子;yaml-cpp;犰狳…
主要字段:

铲子

在0个文档中引用
软件作者: Alex M Chubaty、Eliot J B McIntire、Yong Luo、Steve Cumming
相关软件: simmer.plot;dplyr;SimPy…
主要字段:

CQueue公司

在0个文档中引用
软件作者: 罗贝特·洛瓦斯、阿提拉·法卡斯、阿提拉·萨巴·马洛西、桑多尔·阿克斯、约瑟夫·科瓦奇、阿尔达姆·萨洛基、波通·卡达尔
相关软件:
主要字段:

PoolSim公司

在0个文档中引用
软件作者: 萨姆·沃纳(Sam M.Werner)。;丹尼尔·佩雷斯
相关软件:
主要字段:

TADSim公司

在0个文档中引用
软件作者: Susan M.Mniszewski。;Christoph Junghans;选民,Arthur F。;丹尼·佩雷斯(Danny Perez);斯蒂芬·艾登本兹。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件