×

找到9个软件包（结果1-9）

引文 按字母顺序

阿达95

277份文件引用(1979–2023)
软件作者： 让·伊奇比亚
相关软件： 调制；埃菲尔；Smalltalk…
主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…

酯类

137篇文献引用(1985–2023)
软件作者： 杰拉德·贝瑞
相关软件： 卢斯特；信号；Uppaal…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…

信号

51篇文献引用(1987–2020)
软件作者： 大卫·诺瓦克；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克
相关软件： 卢斯特；酯类；托勒密…
主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…

P同步

9份文件引用(2016–2023)
软件作者： 塞扎拉奥盖医生；托马斯·亨辛格（Thomas A.Henzinger）。；达米安·祖弗里
相关软件： 威尔第；常春藤；ByMC…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

BSGP公司

2份文件引用(2011)
软件作者： 侯，Q。；周，K。；B.郭。
相关软件： CUDA；红宝石；科学…
主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）

威斯特利亚

4份文件引用(2016–2023)
软件作者： 拉斯托吉，A.，哈默，M.A.，希克斯，M。
相关软件： HyCC；共享思维；ObliVM…
主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）

瑞士

2份文件引用(2020)
软件作者： 法尔科·诺加茨；托姆·福吕维思；迪特马尔·塞佩尔
相关软件： 工厂；PAKCS；教堂…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

ooMILP公司

1份文件引用(2006)
软件作者： Tsiakis、Panagiotis；保持，Benjamin
相关软件： –
主要字段： 运筹学、数学规划（90-XX）

简约RaTT

1份文件引用(2023)
软件作者： 帕特里克·巴尔（Patrick Bahr）；Graulund，基督徒；拉斯穆斯·莫格伯格
相关软件： 效率；MiniML；阿格达
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段