×

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

毫升

软件作者:哈珀,罗伯特;米尔纳,罗宾;太妃糖,玛兹;爱丁堡大学
引用于: 484种出版物(1978-2021)
相关软件: 霍尔;成本;伊莎贝尔;伊莎贝尔/霍尔;哈斯克尔;霍尔灯…
主要领域: 历史与传记(01-XX);数理逻辑与基础(03-XX);概率论与随机过程(60-XX)

JPAX公司

软件作者:哈维伦德,克劳斯;罗şu,格里戈
引用于: 21种出版物(2002-2022)
相关软件: 莫德;班德拉;Java探路者;veriSoft公司;Java MaC;努西姆…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

拉瓦

软件作者:梅林,马格努斯O。;戴维斯,贾里德
引用于: 19种出版物(2011-2020)
相关软件: 霍尔;吉川;成本;霍尔灯;伊莎贝尔/霍尔;卡凯尔…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

J承包商

软件作者:卡拉曼,穆拉特;阿伯克龙比,帕克
引用于: 9种出版物(2002-2012)
相关软件: JML公司;埃菲尔;规格;贾斯;朱尼特;落叶松…
主要领域: 计算机科学(68-XX)

幼虫

软件作者:科伦坡C、Pace GJ、施耐德G
引用于: 6种出版物(2012-2022)
相关软件: 乱涂;乌帕;VeriFast公司;JML公司;CC Pi;定时对话…
主要领域: 计算机科学(68-XX)

克拉拉

软件作者:波登·E·林·P·劳丽·L
引用于: 5种出版物(2011-2021)
相关软件: 爪哇拖把;VG面2;聚团簇;聚团簇;磁粉探伤;戴塔…
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

间谍

软件作者:尼科娃R,吉田N,胡R
引用于: 4种出版物(2015-2017)
相关软件: 乱涂;奶牛;JBoss;萨瓦拉;AIOCJ公司;定时对话…
主要领域: 计算机科学(68-XX)

基岩

软件作者:亚当·克利帕拉
引用于: 4种出版物(2017-2019)
相关软件: 成本;工具链;OCaml公司;归档正式证据;摊余复杂度;分离逻辑…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

乌鸦脚

软件作者:查尔顿,纳撒尼尔;霍斯法尔,本;罗伊斯,伯恩哈德
引用于: 5种出版物(2011-2015)
相关软件: 小脚;VeriFast公司;jStar公司;臀部;不;CFML…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

模型丛

软件作者:米奇,S.,普拉泽,A。
引用于: 3种出版物(2016-2021)
相关软件: SpaceEx公司;凯美拉;凯玛拉X;贝勒洛芬;德拉赫;验证…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

心理同步

软件作者:戈伊博士,塞扎拉;亨辛格,托马斯A。;祖弗里,达米恩
引用于: 5种出版物(2016-2021)
相关软件: 威尔第;旋转;ByMC公司;z3;远端;荷鲁斯…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

昏迷

软件作者:阿卡尼,一个巨大的,米饭
引用于: 2个出版物(2016-2021)
相关软件: 阿斯梅塔斯姆夫;努西姆;阿斯梅塔;莫德;旋转;奶牛…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

普通中等教育

软件作者:麦克莱特,安德鲁;骑士,蒂姆;托尔马赫,安德鲁
引用于: 4种出版物(2010-2019)
相关软件: 成本;公司证书;CompCertTSO公司;霍尔;米拉瓦;OCaml…
主要领域: 计算机科学(68-XX)

JSFlow公司

软件作者:赫丁,D。;伯吉斯森,A。;贝洛,L。;萨伯菲尔德,A。
引用于: 3种出版物(2015-2017)
相关软件: 福斯;Jif公司;JavaScript;节点ffi;网络工具包;节点。js…
主要领域: 计算机科学(68-XX)

丽思

软件作者:Navabbour S、Joshi Y、Wu CWW、Berkovich S、Medhat R、Bonakdarpour B、Fischmeister S
引用于: 4种出版物(2015-2020)
相关软件: 缅甸中央银行;努西姆;旋转;爆破;2米;MSVL…
主要领域: 计算机科学(68-XX)

命令式改进

软件作者:彼得·拉米奇
引用于: 3种出版物(2018-2019)
相关软件: 归档正式证据;伊莎贝尔/霍尔;加博SCC;CAVA LTL模型检查器;收藏;精致一元…
主要领域: 计算机科学(68-XX)

共同合同

软件作者:微软
引用于: 0个出版物
相关软件: 埃菲尔铁塔2;布吉;原因3;VeriFast公司;ESC/Java;喀拉喀托…
主要领域:

挛缩幼虫

软件作者:约书亚·埃鲁尔;J、 速度
引用于: 2种出版物(2018-2019)
相关软件: 蒙多利;奈阿德;阿帕奇·弗林克;火花;github;HLIO…
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX)

数据链路连接器

软件作者:乌格·埃弗拉德
引用于: 2种出版物(2015-2017)
相关软件: XTL公司;LNT2LOTOS公司;团结;Exp.打开;雷奥;CADP…
主要领域: 计算机科学(68-XX)

糖化血红蛋白

软件作者:Wang,J.,Takata,Y.,Seki,H。
引用于: 2份出版物(2009-2010)
相关软件:
主要领域: 计算机科学(68-XX)

相互作用

软件作者:塞斯特,贾斯汀;迪克西特、克坦;黄小婉;格罗苏,拉杜;哈维伦德,克劳斯;斯莫尔卡,斯科特A。;斯托勒,斯科特D。;扎多克,埃雷斯
引用于: 2个出版物(2012-2021)
相关软件: AspectJ公司;Java MaC;电动车辆;AspectWerkz公司;瓦尔格林;CIL…
主要领域: 计算机科学(68-XX)

JBMC公司

软件作者:科尔代罗,卢卡斯;凯塞利,帕斯卡;丹尼尔·克罗宁;施拉梅尔,彼得;特里克,马雷克
引用于: 1次出版(2021年)
相关软件: JPF-SE;杰霍恩;雏菊;纳吉尼;QF_-FP;OpenJML…
主要领域: 数值分析(65-XX);计算机科学(68-XX)

JCML公司

软件作者:达科斯塔,翁贝托苏扎;莫雷拉,安娜玛丽亚马丁斯;穆斯坎特,马丁A。;索扎·内托,普雷克多A。
引用于: 2份出版物(2009-2012)
相关软件: 回路;Z轴;JML公司;Daikon公司;埃菲尔;喀拉喀托…
主要领域: 计算机科学(68-XX)

微小颗粒

软件作者:可汗,穆罕默德·泰穆尔;施莱纳,沃尔夫冈
引用于: 2种出版物(2012年)
相关软件: 原因3;枫树;差分差分;米兰达;规格;落叶松
主要领域: 计算机科学(68-XX)

莫纳

软件作者:马萨基·瓦加
引用于: 2种出版物(2016-2017)
相关软件: 定时模式匹配;Simulink公司;蒙特勒;
主要领域: 计算机科学(68-XX)

2百万

软件作者:王蒙;田聪;张楠;段振华;姚晨光
引用于: 1份出版物(2020年)
相关软件: MSVL;UMC4M;明;l催乳剂;礼节;CBMC…
主要领域: 计算机科学(68-XX)

微分

软件作者:可汗,穆罕默德·泰穆尔;施莱纳,沃尔夫冈
引用于: 1本出版物(2012)
相关软件: 微小颗粒;原因3;枫木
主要领域: 计算机科学(68-XX)

FLD箱

软件作者:弗德林,弗兰克;杰奎敏,马克西姆;科斯马托夫,尼古拉;先生,朱利安
引用于: 1次出版(2021年)
相关软件: FLD编译器
主要领域: 计算机科学(68-XX)

FLD编译器

软件作者:Maxime Jacquemin,Fonenatsoa Maurica,尼古拉·科斯马托夫,Julien Signoles,Franck Védrine
引用于: 1次出版(2021年)
相关软件: FLD箱
主要领域: 计算机科学(68-XX)

马尔克

软件作者:雷格G
引用于: 出版1期(2017年)
相关软件: 二元体;幼虫;饥民;克拉拉;爪哇拖把;Z、 …
主要领域: 计算机科学(68-XX)

拖把箱

软件作者:埃里克博登
引用于: 0个出版物
相关软件:
主要领域:

橄榄球

软件作者:纳吉,罗伯特;施耐德,杰拉多;蒂莫菲伊奇克,阿拉姆
引用于: 1本出版物(2013年)
相关软件: 卡斯帕格
主要领域: 计算机科学(68-XX)

萨哈工具

软件作者:坎帕尼亚,达里奥;广场,卡拉
引用于: 1本出版物(2010年)
相关软件: 日/日;索尔弗;OCaml公司;乌帕;RSOLVER公司;海因奇…
主要领域: 计算机科学(68-XX)

软件作者:奥特西耶,谢尔盖;赫特,迪特
引用于: 1本出版物(2015)
相关软件: 颗粒;果洛语
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

简单

软件作者:诺伯特·席尔默
引用于: 出版1期(2016年)
相关软件: 克莱恩代数;规则集;归档正式证据;马戏团;为什么;为什么3…
主要领域: 计算机科学(68-XX)

饥民

软件作者:阿伦特·W、佩斯·GJ、施耐德·G
引用于: 出版1期(2017年)
相关软件: 二元体;马尔克;幼虫;克拉拉;爪哇拖把;Z、 …
主要领域: 计算机科学(68-XX)

塔克斯

软件作者:Falcone Y,Marchand H
引用于: 1本出版物(2015)
相关软件: 乌姆德斯
主要领域: 信息与通信理论,电路(94-XX)

定时对话

软件作者:鲁米亚娜·尼科娃、劳拉·博奇、吉田信子
引用于: 出版1期(2017年)
相关软件: 间谍;幼虫;乱涂;奶牛;石溪;z3…
主要领域: 计算机科学(68-XX)

TXP公司

软件作者:Dudani,S.,Geada,J.,Jakacki,G.,Vainer,D。
引用于: 1本出版物(2005年)
相关软件: Java MaC;LTL2BA;旋转
主要领域: 计算机科学(68-XX)

UMC4M公司

软件作者:王蒙、从天、张楠、段振华、姚晨光
引用于: 1份出版物(2020年)
相关软件: 2米;MSVL;明;l催乳剂;礼节;CBMC…
主要领域: 计算机科学(68-XX)

zkp公司

软件作者:亨利·德瓦伦斯
引用于: 0个出版物
相关软件: bplib公司;ZKPDL公司;艾美奖;利斯卡皮;肩胛骨;petlib…
主要领域:

迪安娜

软件作者:五。A、 安东尼科,E.V.切梅里斯基,A.B.格洛尼娜等。
引用于: 0个出版物
相关软件:
主要领域:

GO2蛋白

软件作者:克尔森伯格,亚历山德拉;马丁,安托万;莫劳,雨果;雷诺,艾蒂安
引用于: 0个出版物
相关软件:
主要领域: