×

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

内克塔尔++

引用于118篇文献(2004–2023)
软件作者: 詹姆斯·金(James King);谢尔盖·雅科夫列夫;傅志松;罗伯特·M·柯比。;斯宾塞·J·舍温。
相关软件: Gmsh;交易.ii;Nek5000…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

酒店钥匙卡

3份文件引用(2006–2018)
软件作者: 托比亚斯·尼普科
相关软件: HOL;尼特皮克;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

戈弗利泽

2份文件引用(2016)
软件作者: Kai Stadtmüller、Martin Sulzmann、Peter Thiemann
相关软件: 去;TyPiCal;GitHub…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

宾西姆

1份文件引用(2019)
软件作者: Ming,J.,Xu,D.,Jiang,Y.,Wu,D。
相关软件: 戴坦;DynOpVm;VOT4CS…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

GloudSim公司

在0个文档中引用
软件作者: Di S、Cappello F。
相关软件: GroudSim;DCSim;DPWSim…
主要字段:

PDG-GEN公司

1份文件引用(2014)
软件作者: 凯文·麦克唐纳;克里斯托弗·尼塔;马修·法伦斯(Matthew Farrens);文卡特斯·阿凯拉
相关软件:
主要字段: 信息与通信理论,电路(94-XX)

SynchroVis(同步可视)

在0个文档中引用
软件作者: Waller J.、Wulf C.、Fittkau F.、Döhring P.、Hasselbring W。
相关软件: 基克;探索Viz
主要字段:

筛选结果依据…