搜索结果: 1-1 共查到“可计算性理论 High-Confidence Computing”相关记录1条 . 查询时间(0.093 秒)
近日，由山东大学主办、山东大学科技期刊社与爱思唯尔(Elsevier)联合出版，山东大学计算机科学与技术学院承办的国际学术期刊High-Confidence Computing（《高置信计算（英文）》，ISSN2667-2952）通过科睿唯安旗下Web of Science委员会评审，正式被ESCI（Emerging Source Citation Index，新兴来源引文索引）数据库收录。