GB T35295-2017信息技术大数据术语 信息技术大数据标准之一 应用领域术语65个和通用术语15个
2021-09-15 15:20:56
1.19MB
1
CISA 最新中英文对照术语表高清PDF，ISACA官方资料，应该用CISA考试与信息安全术语查询
2021-09-13 21:05:04
356KB
1
为适应我国卫星导航发展对标准的需要，由全国北斗卫星导航标准化技术委员会组织制定北斗专项标
准，推荐有关方面参考采用。
本标准由中国卫星导航系统管理办公室提出。
本标准由全国北斗卫星导航标准化技术委员会（SAC/TC544）归口。
本标准主要起草单位：中国卫星导航工程中心、中国航天标准化研究所、解放军信息工程大学、中国空
间技术研究院、中国运载火箭技术研究院、北京卫星导航中心、北京特种装备设计研究院、北京跟踪与通信
技术研究所。
2021-09-10 21:29:11
532KB
1
自然演绎证明助手
CSI5110学期项目的自然推论工具
内置JavaScript，并实现了11个自然推论基本规则。 这是一个实时预览：http:
2021-09-09 18:31:55
114KB
1