×

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

自旋蛋白

619文件引用(1990–2023)
软件作者: 贝尔实验室
相关软件: NuSMV;Uppaal;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

Java PathFinder

96篇文献中引用(2000年-2023年)
软件作者: 克劳斯·哈维隆德;托马斯·普雷斯伯格
相关软件: 自旋蛋白;班德拉;veriSoft…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

MoDeST公司

33篇文献引用(2001–2022)
软件作者: 佩德罗·R·D’Argenio。;赫尔曼斯,霍尔格;Joost-Pieter Katoen;里克·克拉伦
相关软件: 棱镜;Uppaal;高科技…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

dSPIN公司

22篇文献引用(2000年-2014年)
软件作者: Demartini,C.,Iosif,R.,Sisto,R。
相关软件: 自旋蛋白;班德拉;Java PathFinder…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

普罗米拉

30篇文献引用(1997–2022)
软件作者: Natarajan,V。;杰拉德·J·霍尔兹曼。
相关软件: 自旋蛋白;jSpin;ProB…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

LTSmin公司

25篇文献引用(2011–2023)
软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布罗姆
相关软件: 自旋蛋白;Uppaal;迪文…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

SymmSpin公司

15篇文献引用(2000–2010)
软件作者: 博什纳奇奇,德拉甘作者简介;Dams,Dennis;莱泽克·霍伦德斯基
相关软件: 自旋蛋白;TopSpin;茂物…
主要字段: 数学逻辑与基础(03-XX);群论和概括(20-XX);计算机科学(68-XX)

虚拟UML

10篇文献引用(2001–2015)
软件作者: 利利乌斯,J。;帕尔特,I.P。
相关软件: 自旋蛋白;沟槽;班德拉…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

顶部旋转

11份文件引用(2007–2022)
软件作者: 阿拉斯泰尔·唐纳森;爱丽丝·米勒
相关软件: 自旋蛋白;SymmSpin;间隙…
主要字段: 数学逻辑与基础(03-XX);群论和概括(20-XX);计算机科学(68-XX)

ByMC公司

10篇文献引用(2014年-2023年)
软件作者: Igor Konnov、Marijana Lazic、Helmut Veith、Josef Widder
相关软件: z3;威尔第;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

海伦娜

5份文件引用(2014–2019)
软件作者: Hennicker,R.、Klarl,A.和Wirsing,M。
相关软件: DEECO公司;SCEL;重新规范…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

旋转到葡萄

6篇文献引用(2005–2010)
软件作者: 阿拉斯泰尔·唐纳森;米勒,爱丽丝;卡德,莫菲
相关软件: 自旋蛋白;鹦鹉螺;SymmSpin…
主要字段: 数学逻辑与基础(03-XX);群论和概括(20-XX);计算机科学(68-XX)

SPHIN公司

5份文件引用(2006–2017)
软件作者: 胡松松(Hosung Song)
相关软件: PHAVer;高科技;旋转…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

贵宾

1份文件引用(2000)
软件作者: 莫阿塔斯·卡梅尔;斯特凡·洛伊
相关软件: 自旋蛋白;SymmSpin;Uppaal…
主要字段: 计算机科学(68-XX)

SCEL右侧

4份文件引用(2014–2020)
软件作者: 德尼古拉(De Nicola)、罗科(Rocco);阿尔贝托卢克·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔(Andrea Morichetta);罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐
相关软件: SCEL;自旋蛋白;琳达…
主要字段: 计算机科学(68-XX)

ETCH公司

2份文件引用(2008–2010)
软件作者: 唐纳森,阿拉斯泰尔·F。;盖伊,西蒙·J。
相关软件: 普罗米拉;自旋蛋白;ML…
主要字段: 计算机科学(68-XX)

欧洲广告标准

2份文件引用(2001–2005)
软件作者: Shanbhag,Vivek K。;Gopinath,K。;马尔库·图伦;阿里·阿赫蒂安;马蒂·卢克凯宁
相关软件: ——
主要字段: 计算机科学(68-XX)

第2b页

2份文件引用(2001–2010)
软件作者: 迈克尔·巴尔达穆斯(Michael Baldamus);Jochen的Schr“oder-Babo
相关软件: 普罗米拉;自旋蛋白;ML…
主要字段: 计算机科学(68-XX)

Symm提取程序

2份文件引用(2008–2012)
软件作者: 唐纳森,阿拉斯泰尔·F。;爱丽丝·米勒
相关软件: 魔法;螺纹工;SymmPa…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件