×

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

PARyOpt公司

引用于2份文件(2020–2022)
软件作者: Balaji Sesha Sarath Pokuri;亚历克·洛夫奎斯特;乍得·M·里斯科;Baskar Ganapathysubramanian阶
相关软件: 蟒蛇;EGO;PyPI公司
主要字段: 数值分析(65-XX);流体力学(76-XX)

布里斯克

引用于2份文件(2000–2005)
软件作者: Aleksandar Bakić;马特·穆特卡(Matt W.Mutka)。;黛安·罗弗。
相关软件: CLOS;MICO公司
主要字段: 计算机科学(68-XX)

微微ql

在0个文档中引用
软件作者: 马里奥斯·弗拉古利斯
相关软件: SWILL;CScout;SQLite…
主要字段:

时钟同步

1份文件引用(2007)
软件作者: Alwen Tiu先生
相关软件: Yices;施耐德时钟同步;存档正式证据…
主要字段: 计算机科学(68-XX)

施耐德时钟同步

1份文件引用(2007)
软件作者: 达米安·巴索蒂
相关软件: Yices;时钟同步;存档正式证据…
主要字段: 计算机科学(68-XX)

筛选结果依据…

主字段