×

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

酯类

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

蜜蜂

3份文件引用(2000年至2009年)
软件作者: 曼纽尔·塞拉诺
相关软件: OCaml;DrScheme;牛津大学…
主要字段: 计算机科学(68-XX)

JavaSPI(JavaSPI)

1份文件引用(2018)
软件作者: 里卡多·西斯托;比塔萨·科佩特(Bettasa Copet),皮尔吉乌塞佩(Piergiuseppe);阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂
相关软件: MJ;AGVI;Bouncy Castle…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

PolyML公司

3份文件引用(2013–2017)
软件作者: 大卫马修斯
相关软件: 斯卡贝尔;mini-ML;聚乙烯/ML…
主要字段: 计算机科学(68-XX)

SPiDER公司

3份文件引用(2001–2002)
软件作者: Fahringer,T。;Sowa-Piekło,K。;切尔文斯基,P。;Brezany,P。;Bubak,M。;Koppler,R。;Wismüller,R。
相关软件: WIEN97;CUMULVS公司;DAQV…
主要字段: 计算机科学(68-XX)

VIRT公司

引用于2份文件(1998–1999)
软件作者: A.I.巴拉诺夫斯基。
相关软件:
主要字段: 计算机科学(68-XX)

筛选结果依据…