×

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

通用电气代码

软件作者:克里斯蒂安·舒尔特,KTH皇家理工学院
参考文献: 76种出版物(2007-2022)
相关软件: 微量锌;CPLEX公司;巧克力;彗星;SCIP;CSPLib…
主要领域: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

克莱

软件作者:克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格勒
参考文献: 37种出版物(2010-2021)
相关软件: z3;投掷;可爱的;注册会计师;污水处理厂;CBMC…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

Pex公司

软件作者:尼古拉·蒂尔曼,乔纳森·德哈勒克斯
参考文献: 25种出版物(2009-2021)
相关软件: 投掷;可爱的;z3;污水处理厂;克莱;Java探路者…
主要领域: 数理逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)

佩尔帕克

软件作者:霍斯蒂斯,E.N。;赖斯,J.R。;韦拉瓦拉纳。;卡特林,A.C。;帕帕奇欧。;王克英。;盖塔兹,M。
参考文献: 18种出版物(1998-2008)
相关软件: ELLPACK公司;皮提亚;拉帕克;坐骨;数学;梅蒂斯…
主要领域: 一般性和全局性主题;收款(00-XX);偏微分方程组(35-XX);变分法与最优控制;优化(49-XX)

小猫

软件作者:福克,斯蒂芬;卡普尔,迪帕克;辛兹,卡斯滕
参考文献: 9种出版物(2011-2021)
相关软件: z3;控制;是的;批准;LLVM;TcT…
主要领域: 计算机科学(68-XX)

卡利斯托

软件作者:巴比奇,D.,胡,A.J。
参考文献: 5种出版物(2008-2020)
相关软件: z3;ESC/Java;布吉普尔;猛击;爆破;迷你卫星…
主要领域: 计算机科学(68-XX)

皮奥德

软件作者:赵悦,扎因·纳斯鲁拉,郑莉
参考文献: 1本出版物(2022年)
相关软件: 蟒蛇;化学试剂盒;Pythorch公司;托兹;裸体;侏儒…
主要领域: 数理逻辑与基础(03-XX);测量与集成(28-XX);计算机科学(68-XX)

covr公司

软件作者:吉姆·海丝特
参考文献: 出版1期(2019年)
相关软件: R;试验;循环压缩机;原型;罗西根;OpenGL…
主要领域: 统计(62-XX)

赛格学习

软件作者:大卫·M·伯恩斯,卡里·M·惠恩
参考文献: 1份出版物(2020年)
相关软件: 蟒蛇;学习;pyts公司;sktime公司;github;铯…
主要领域: 计算机科学(68-XX)

赛车场

软件作者:弗拉纳根C、弗伦德SN、Yi J
参考文献: 5种出版物(2009-2017)
相关软件: 雾化器;单轨;栅栏;航空兵;github;JavaScript…
主要领域: 计算机科学(68-XX)

XSnippet公司

软件作者:奈亚娜·萨哈夫查潘;卡哈尔粘土池
参考文献: 出版1期(2017年)
相关软件: PARSEWeb;方解石;JSketch公司;德纳利;代码提示;哈普…
主要领域: 计算机科学(68-XX)

ADTEST公司

软件作者:马修·J·加拉赫;五、 拉克希米·纳拉辛汉
参考文献: 1本出版物(2009年)
相关软件: 基诺科普;科拉特;纹身
主要领域: 计算机科学(68-XX)

摩押

软件作者:Sun,D.,Y.Xi,B.Rodriguez,H.J.Park,P.Tong,M.Meong,M.A.Goodell,W.Li.先生
参考文献: 4种出版物(2016年)
相关软件: 生物导体;嗯,费舍尔;HMM-DM;重硫灯;甲基西格;b平滑…
主要领域: 概率论与随机过程(60-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

PROFtmb公司

软件作者:毕格罗,H。;罗斯特,B。
参考文献: 2份出版物(2008年)
相关软件: 爆破;PSI-爆炸;TMB狩猎;波普;Psortb;PRED-TMBB…
主要领域: 统计学(62-XX);生物学和其他自然科学(92-XX)

阿拉伯联合酋长国

软件作者:拉赫曼A,乔治FM,洛佩兹G,加州A。
参考文献: 2种出版物(2018-2019)
相关软件: pycit公司;信息论;IDTxl;md熵;神经质;努比…
主要领域: 生物学和其他自然科学(92-XX)

CC4J公司

软件作者:克内塞尔,古恩特;奥斯特曼,迈克尔
参考文献: 2份出版物(2002-2009)
相关软件: TXL;战略;沟槽;聚合;AspectJ公司
主要领域: 计算机科学(68-XX)

结缔组织

软件作者:拉斐尔·M·O·克鲁兹、路易斯·G·哈夫曼、罗伯特·萨布林、乔治·D·C·卡瓦尔坎蒂
参考文献: 0个出版物
相关软件: 化学试剂盒;蟒蛇;裸体;学习不平衡;LightGBM;Matplotlib…
主要领域: 计算机科学(68-XX)

DiSL公司

软件作者:卢克·马雷克、郑玉迪、丹妮洛·安萨洛尼、艾别克·萨林贝科夫、沃尔特·宾德、彼得特·蒂赫马、齐正伟
参考文献: 出版1期(2016年)
相关软件: 阿帕奇·弗林克;github;萨维纳;阿克卡普洛夫
主要领域: 计算机科学(68-XX)

HiTEC公司

软件作者:伊利,L.,法扎耶利,F.,伊利,S。
参考文献: 2种出版物(2011-2017)
相关软件: 泼妇;爬行动物;发抖;所有路径;BWA;菲奥娜…
主要领域: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

PBSIM卡

软件作者:是的。小野、浅井、滨田
参考文献: 3种出版物(2017-2020)
相关软件: 加努;诽谤者;催眠剂;深渊;准星;天鹅绒…
主要领域: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

品脱

软件作者:格雷科,H.E。
参考文献: 0个出版物
相关软件: 裸体;熊猫;阿谀奉承;同情;蟒蛇;PYSAT…
主要领域:

深度地图

软件作者:Stockwell,P.A.,A.Chatterjee,E.J.Rodger。一、 莫里森先生
参考文献: 2种出版物(2016年)
相关软件: 甲基西格;嗯,费舍尔;头盖骨;SAAP-RRBS;摩押;嗯-糖尿病…
主要领域: 概率论与随机过程(60-XX);生物学和其他自然科学(92-XX)

肉汁

软件作者:阿尔特,S.,鲁比奥·冈萨雷斯,C.,Rümmer,P.,Schäf,M.,新罕布什尔州Shankar。
参考文献: 1份出版物(2020年)
相关软件: 公民;级联;结壳;肾盂;锈毒蛇;卡利斯托…
主要领域: 计算机科学(68-XX)

哈普科尔

软件作者:皮罗拉,Y.,扎卡里亚,S.,顿迪,R.,克劳,G.W.,皮桑蒂,N.,博尼佐尼,P。
参考文献: 2种出版物(2017-2018)
相关软件: 什么形状
主要领域: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

雅科科

软件作者:Hoffmann先生,Mandrikov E等。
参考文献: 1次出版(2021年)
相关软件: 朱尼特;蟒蛇;坑;寿司;唤起;T3…
主要领域: 计算机科学(68-XX)

oblr

软件作者:威克拉玛拉基,阿努拉达;林,余
参考文献: 2种出版物(2022年)
相关软件: 复飞;琥珀色;离心机;马克斯宾;代谢产物;最小值2…
主要领域: 生物学和其他自然科学(92-XX)

质控

软件作者:王L,王S,李伟
参考文献: 1本出版物(2015)
相关软件: 三位一体;巴斯科;领结2;蟒蛇;猜猜;标签清理器…
主要领域: 一般性和全局性主题;收款(00-XX);生物学和其他自然科学(92-XX)

SymJS公司

软件作者:Li,G.,Andreasen,E.,Ghosh,I。
参考文献: 2种出版物(2017-2019)
相关软件: 通过;S3;Z3街;汉比;克莱;z3…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

VDM工具

软件作者:J菲茨杰拉德,拉森,S撒哈拉
参考文献: 出版1期(2017年)
相关软件: 序曲工具;沟槽;图片;奶牛;莫德;聚合…
主要领域: 计算机科学(68-XX)

猿猴

软件作者:Albert,E.,阿里纳斯,P.,Gómez Zamalola,M.,Wong,P.Y.H。
参考文献: 1本出版物(2015)
相关软件:
主要领域: 计算机科学(68-XX)

B测试箱

软件作者:阿泽维多·奥利维拉D、梅德罗斯五世、Déharbe D、Musicante MA
参考文献: 1次出版(2021年)
相关软件: 杰布;序曲工具;WebASM;粘度;移动网络;事件b2java…
主要领域: 计算机科学(68-XX)

符咒

软件作者:库赛·伊德里斯·萨尔汉、阿提拉·萨特马利、拉蒙德·托特、阿尔帕德·贝泽德斯
参考文献: 0个出版物
相关软件: 酥脆的;pytest公司;coverage.py;故障定位;准确指出;捷豹…
主要领域:

覆盖率

软件作者:克里斯。克莱门斯·李;史蒂芬·克里斯托
参考文献: 0个出版物
相关软件: 格拉德尔;蚂蚁;TravisTorrent公司;卑鄙;熊;臭虫台…
主要领域:

覆盖率.py

软件作者:内德·巴切尔德
参考文献: 0个出版物
相关软件: 酥脆的;pytest公司;故障定位;准确指出;美洲虎;单位FL…
主要领域:

盖层

软件作者:马蒂亚斯·肯普卡
参考文献: 1本出版物(2011年)
相关软件: ASM工作台;阿斯梅塔;旋转;科雷阿斯姆
主要领域: 计算机科学(68-XX)

EvoMaster公司

软件作者:安德烈·阿库里;胡安·帕布罗·加洛蒂;博格丹·马库列斯库;张文
参考文献: 0个出版物
相关软件: 最快的;雷斯特勒;PostgreSQL;科特林;朱尼特
主要领域:

HSFal公司

软件作者:朱,X;江,S;陈,X;王,X;张,Y;曹,H
参考文献: 出版1期(2018年)
相关软件: 信息;准确指出;暗黑破坏神;JavaPDG;缺陷4j;瓦尔格林
主要领域: 计算机科学(68-XX)

伊卡洛斯

软件作者:巴特尔T,普利普顿S,加利斯,M。
参考文献: 1本出版物(2012)
相关软件: 摩纳哥;抓住
主要领域: 流体力学(76-XX)

伊斯塔

软件作者:徐殿祥
参考文献: 1本出版物(2011年)
相关软件:
主要领域: 计算机科学(68-XX)

美洲虎

软件作者:H。五十、 里贝罗,H.A.德苏扎,R.P.A.德阿劳霍,M.L.查姆,F.康
参考文献: 0个出版物
相关软件: 酥脆的;pytest公司;coverage.py;故障定位;准确指出;单位FL…
主要领域:

吉姆鲁尼特

软件作者:齐默尔曼,丹尼尔M。;纳格莫蒂,林克什
参考文献: 1本出版物(2011年)
相关软件: HOL试验原;朱尼特;单位斯克;JML公司;艾菲尔
主要领域: 计算机科学(68-XX)

JNose公司

软件作者:T。维吉尼奥、马丁斯、罗查、桑塔纳、克鲁兹、科斯塔、马查多
参考文献: 0个出版物
相关软件: 根西姆;大梁;评审委员会;麻木;pytest公司;哥伦特…
主要领域:

JT专家

软件作者:萨克蒂A,佩桑特G,亚恩·盖内乌克
参考文献: 0个出版物
相关软件: 雅科科;朱尼特;蟒蛇;坑;寿司;EvoSuiteDSE…
主要领域:

局部厚度图

软件作者:Nguyen,T.-N.-T。,Höfter,A.,Leonardic,K.,Rosenhain,S.,Kiessling,F.,Sae Tang,W.,瑙曼,U.,Gremse,F。
参考文献: 0个出版物
相关软件: 影像学临床前;博内伊;代码海洋
主要领域:

曼蒂科雷

软件作者:Mossberg,M.等人。
参考文献: 1次出版(2021年)
相关软件: 溶剂图;埃弗;神话里尔;github;为什么;为什么3…
主要领域: 博弈论、经济学、金融学和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

马修

软件作者:比比,纳尔逊·H·F。
参考文献: 出版1期(2017年)
相关软件: mpcheck公司;算法272;l随机;算法304;算法542;算法236…
主要领域: 数值分析(65-XX)

门坎

软件作者:Sil C.范德利姆普特;乔纳斯·特温;布拉姆·范金内肯;拉辛德拉·曼尼辛
参考文献: 0个出版物
相关软件: i-RevNet;不错;图像网;张量流;Pythorch公司;蟒蛇
主要领域:

MetaBCC LR公司

软件作者:威克拉玛拉奇,A.,马拉瓦拉奇,V.,拉詹,V.,林,Y。
参考文献: 1本出版物(2022年)
相关软件: 复飞;元类星体;琥珀色;离心机;序列2VEC;勒宾纳…
主要领域: 生物学和其他自然科学(92-XX)

MLBSE公司

软件作者:不,雷;梁永娟;谢遵义;钱,红;胡逸琪;于,杨;陈欣;李宣东
参考文献: 1次出版(2021年)
相关软件: 雅科科;jCUTE公司;XSat;github;Java探路者;Pex…
主要领域: 计算机科学(68-XX)

穆尔克斯克

软件作者:赖特,克里斯托弗;克里希纳穆蒂,斯里拉姆;库尔卡尼,米林
参考文献: 出版1期(2019年)
相关软件: 普希;巨无霸;github;深渊;准星;IDBA-UD…
主要领域: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

马蒂

软件作者:康拉德哈斯
参考文献: 0个出版物
相关软件: 假设;TSTL公司;德林;EvoSuite公司;蟒蛇;品红
主要领域:

皮戈德

软件作者:刘恺、窦颖彤、赵悦、丁雪英、胡锡阳、张瑞彤、丁凯泽、陈灿玉、彭浩、舒凯、陈志浩、贾志浩、俞旭
参考文献: 0个出版物
相关软件: 苏德;皮奥德;神经质;化学试剂盒;离群点检测.jl;TUDataset…
主要领域:

PyHealth公司

软件作者:赵悦、智巧、曹晓、卢卡斯·格拉斯、孙继蒙
参考文献: 0个出版物
相关软件: 斯塔涅特;医疗保健;xg增压;蟒蛇
主要领域:

scikit尺寸

软件作者:乔纳森•巴克、叶夫根尼•M•米尔克斯、亚历山大•N•戈尔班、伊万•秋金、安德烈•齐诺维耶夫
参考文献: 0个出版物
相关软件: 内在维度;pyFCI公司;OpenML;TLE;dr工具箱;IntDim…
主要领域:

西亚德

软件作者:汤占勇、王磊、邝开元、薛超、龚晓青、陈晓江、方定一、王峥
参考文献: 出版1期(2019年)
相关软件: VMHunt公司;NISLVMP公司;顶石;宾西姆;vm攻击;VMGuard…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

暗影虚拟机

软件作者:孙海阳;郑宇迪;布勒,卢博米尔;凯尔,斯蒂芬;宾德,沃尔特
参考文献: 0个出版物
相关软件: 卡尔弗泽
主要领域:

黄貂鱼

软件作者:D。Huppenkothen,M.Bachetti,A.L.Stevens,S.Miglari,P.Balm,O.Hammad,U.M.Khan,H.Mishra,H.Rashid,S.Sharma,R.V.Blanco,E.M.Ribeiro
参考文献: 0个出版物
相关软件: 光照;夏尔巴人;戴夫;亨德里奇;品脱;麻木…
主要领域:

茶豆

软件作者:哈特曼,A.和纳金,K
参考文献: 0个出版物
相关软件: 试验;SpecExplorer;n模型;梅花;单位斯克
主要领域:

泰坦TTCN-3

软件作者:爱立信电信公司
参考文献: 1次出版(2021年)
相关软件: 一个月
主要领域: 计算机科学(68-XX)

域拔沙

软件作者:Mohammad Hossein Namaki、Avrilia Floratou、Fotis Psallidas、Subru Krishnan、Ashvin Agrawal、Yinghui Zhu、Markus Weimer
参考文献: 0个出版物
相关软件: liblinear java;利比线性;xg增压;张量流;亚当;科学技术…
主要领域:

沃基塔

软件作者:金宗玉;雷纳,克努特
参考文献: 出版1期(2017年)
相关软件: 煤气阀;品德尔;德莱利;SVC分类;梅塔斯韦;笨笨的…
主要领域: 生物学和其他自然科学(92-XX)

威士忌

软件作者:Shao,D.,Khurshid,S.,Perry,D.E。
参考文献: 出版1期(2018年)
相关软件: WhyLine公司;维米尔;波尔多;cddiff;CD2合金;成分…
主要领域: 计算机科学(68-XX)

Zzuf公司

软件作者:  –
参考文献: 0个出版物
相关软件: BFF;苏利;NVD公司
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

软件作者:Roel M.Hogervorst[cre,aut]
参考文献: 0个出版物
相关软件:
主要领域:

迪纳莫萨

软件作者:安妮贝尔·潘尼切拉;Fitsum Meshesha Kifetew公司;保罗·托内拉
参考文献: 0个出版物
相关软件:
主要领域:

小丑

软件作者:伊万·摩尔
参考文献: 0个出版物
相关软件:
主要领域:

MSeqGen公司

软件作者:苏雷什·图姆拉彭塔;陶邪;尼古拉·蒂尔曼;乔纳森·德哈利欧;沃尔夫拉姆舒尔特
参考文献: 0个出版物
相关软件:
主要领域: