×

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

JFLAP公司

14篇文献引用(2002–2023)
软件作者: Rodger S、Finley T
相关软件: 自旋蛋白;GeoWin;FAUST…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

jMoped公司

10篇文献引用(2002–2021)
软件作者: 德jvuth的Suwimonteerabbth;斯特凡·施温(Stefan Schwoon);哈维尔·埃斯帕尔扎
相关软件: 贝博普;自旋蛋白;SLAM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

C-SHORe公司

6篇文献引用(2013–2017)
软件作者: 克里斯托弗·布劳德本特(Christopher Broadbent);阿诺德·卡拉约尔;黑格,马修;奥利维尔·塞雷
相关软件: AProVE;廷巴克;MoCHi…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

焊接工艺数据系统++

5份文件引用(2005–2023)
软件作者: Balakrishnan,G。;代表,T。;基德,N。;Lal,A。;Lim,J。;梅尔斯基,D。;Gruian,R。;Yong,S。;Chen,C.-H。;Teitelbaum,T。
相关软件: 雅克斯塔布;LTL2BA;CBMC…
主要字段: 计算机科学(68-XX)

公共事业部

4份文件引用(2014年至2021年)
软件作者: 宋,F。;T·图利。
相关软件: 贝博普;自旋蛋白
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

轻便摩托车

3份文件引用(2009–2017)
软件作者: Stefan Kiefer、Stefan Schwoon、Dejvuth Suwimonterabuth
相关软件: jMoped公司;贝博普;旋转…
主要字段: 计算机科学(68-XX)

筛选结果依据…

主字段