×

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

ASTRAL公司

16篇文献引用(1992–2006)
软件作者: 贾科莫·博纳诺;科恩·波里西尼,阿尔贝托;威廉·福纳西亚里
相关软件: 克罗诺斯;Uppaal;高科技…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

熔岩

11份文件引用(2002–2018)
软件作者: Bjesse,P.、Claessen,K.、Sheeran,M.、Singh,S。
相关软件: 哈斯克尔;muFP;Coquet…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

ISDL公司

8份文件引用(2001–2006)
软件作者: 乔治·哈吉伊安尼斯(George Hadjiyiannis);西尔维娜·哈诺诺;斯里尼瓦斯·德瓦达斯
相关软件: FFmpeg;酯类;MIMOLA…
主要字段: 计算机科学(68-XX)

Verilog公司

引用于9份文件(1999–2020)
软件作者: 斯图亚特·萨瑟兰
相关软件: VPI;电源保护;卡米…
主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

VESTA公司

10篇文献引用(2006–2016)
软件作者: 艾伦·海登、罗伊·莱文、蒂莫西·曼、袁瑜
相关软件: OCaml;Freshml;ULM…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

盖泽尔

6篇文献引用(2002–2018)
软件作者: 迈克尔·汉森(Michael R.Hansen)。;Madsen,Jan;布雷克林(Aske Wiid Brekling)
相关软件: Uppaal;克罗诺斯;UPPAAL TIGA…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

皮纳帕

4份文件引用(2008–2011)
软件作者: Moy,M.、Maraninchi,F.、Maillet-Contoz,L。
相关软件: 系统C;veriSoft;酯类…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;控制(93-XX)…

SAFL公司

5份文件引用(2000–2007)
软件作者: 阿兰·迈克罗夫特(Alan Mycroft);理查德·夏普
相关软件: 手柄-C;系统C;Cayenne…
主要字段: 计算机科学(68-XX)

CoSA公司

2份文件引用(2020–2022)
软件作者: Mattarei,C.、Mann,M.、Barrett,C.等人。
相关软件: 尤瑟斯;BtorMC;Pono…
主要字段: 计算机科学(68-XX)

DG2VHDL

3份文件引用(2000–2003)
软件作者: 安德鲁·斯通(Andrew Stone);埃利亚斯·马诺拉科斯。
相关软件: 托勒密
主要字段: 计算机科学(68-XX)

普尔

3份文件引用(2003–2022)
软件作者: Theelen,B.D。;Voeten,J.P.M。;R.D.J.克莱默。
相关软件: 蟒蛇;TypeScript;酯类…
主要字段: 计算机科学(68-XX)

三叉戟

1份文件引用(2015年)
软件作者: Tripp,J.L.,Gokhal,M.B.,Peterson,K.D。
相关软件: CHStone公司;MiBench公司;熔岩…
主要字段: 计算机科学(68-XX)

BWI罐

1份文件引用(2019)
软件作者: 坎德尔瓦尔、S.张、J.辛纳波夫、M.莱昂内蒂、J.托马森、F.杨、I.戈里、M.斯维特利克、P.坎特、V.利夫施奇茨、J.阿加瓦尔、R.穆尼、P.斯通
相关软件: 人民;克林孔;PDDL…
主要字段: 计算机科学(68-XX)

流体防火阀

2份文件引用(2020–2022)
软件作者: C.T.雅各布斯,M.D.皮戈特
相关软件: PETSc/TS;ADCIRC;FEniCS…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

原型Quipper-M

2份文件引用(2018–2022)
软件作者: 里奥斯,弗朗西斯科;彼得·塞林格
相关软件: 奎珀;哈斯克尔
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

SMI公司++

2份文件引用(2001–2013)
软件作者: B.Franek、C.Gaspar。
相关软件: mCRL2;拍打;JITty…
主要字段: 计算机科学(68-XX)

稳定的

2份文件引用(2014–2018)
软件作者: Pavlenko,E。;韦德勒,M。;斯托菲尔,D。;Kunz,W。;等。
相关软件: 单一;宠物老板;ABC…
主要字段: 交换代数(13-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

xMAML公司

在0个文档中引用
软件作者: Lallet,J.、Pillement,S.、Sentieys,O。
相关软件: OCaml;FPath;通过ADL…
主要字段: 计算机科学(68-XX)

五车二

在0个文档中引用
软件作者: 波兰人
相关软件: CPS演示器;地块;Artop…
主要字段: 计算机科学(68-XX)

CHDL公司

1份文件引用(2004)
软件作者: K.Kornmesser公司
相关软件: CLUCalc;CLICAL公司;Clados…
主要字段: 计算机科学(68-XX)

冲突

1份文件引用(2021)
软件作者: ——
相关软件: AutoSA;PYNQ;PyRTL…
主要字段: 计算机科学(68-XX)

GAME-HDL公司

1份文件引用(2003)
软件作者: Drechsler,Rolf;尼科尔·德雷克斯勒
相关软件: ——
主要字段: 计算机科学(68-XX)

SymbiFlow公司

1份文件引用(2021)
软件作者: 沃尔夫,C
相关软件: github;尤瑟斯
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

TXP公司

1份文件引用(2005)
软件作者: Dudani,S.、Geada,J.、Jakacki,G.、Vainer,D。
相关软件: Java-MaC;LTL2BA;自旋蛋白
主要字段: 计算机科学(68-XX)

v2c版本

1份文件引用(2019)
软件作者: Mukherjee,R.,Tautschnig,M.,Kroening,D。
相关软件: 火焰;PIPS;萨马图利亚塔…
主要字段: 计算机科学(68-XX)

Xlib(Xlib)

1份文件引用(2009)
软件作者: 盖蒂斯,J。;R.W.谢弗。
相关软件: Binutils公司
主要字段: 计算机科学(68-XX)

筛选结果依据…