退出
我的积分:
中文文献批量获取
外文文献批量获取
张迎周; 刘玲玲;
南京邮电大学计算机学院;
南京大学软件新技术国家重点实验室;
南京邮电大学计算机技术研究所;
信息流安全; 语义模型; 类型系统; 形式化方法;
机译:中国与东盟对话关系25:回顾与展望%中国与东盟对话关系25:回顾与展望
机译:2012年中国石油市场回顾与展望%2012年中国石油市场回顾与展望
机译:ITMA ASIA + CITME:回顾与展望-建立规范的展览会,以促进纺织品的健康发展ITMA ASIA + CITME:回顾与展望-建立规范的展览会,以促进纺织品的健康发展
机译:中国煤矿电力安全技术的回顾与展望
机译:回顾过去,展望未来:民族志
机译:安全性腹腔镜胆囊切除术治疗左侧胆囊(胆囊结石)的方法:两例报告及安全技术回顾
机译:#Technology –回顾,展望:LSE学术界回顾2015年并展望2016年
机译:中美核安全技术合作:回顾过去与未来机遇。
机译:将隐马尔可夫模型转换为有限状态换能器时的回顾与展望
机译:基于电子医疗记录的回顾性队列研究来确定药物不良反应的方法,基于电子数据记录的回顾性队列研究来检测药物不良反应或干预的方法以及基于药物的回顾性队列研究检测药物或药物的不良反应的方法
机译:信息流通促进装置,信息流通促进系统,信息流通促进方法及程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。