退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于方面属性验证的经验
Giovanni Denaro; Mattia Monga;
机译:软件开发中面向方面程序的正式属性验证
机译:针对横切特性验证面向方面的模型
机译:动员财产税的实际方面:塞拉利昂和马拉维的经验
机译:方面属性验证的经验
机译:面向方面的系统的规范和验证的分类框架。
机译:高剂量率(HDR)近距离放射治疗中剂量准确性的物理方面:放射源剂量测定治疗计划设备性能和体内验证技术
机译:铁路信号控制系统安全性能形式化验证的体会
机译:核查化学武器公约的质量保证问题:对国际原子能机构核查经验产生的有关概念和做法的调查。
机译:验证性质整合装置,验证性质整合方法及验证性质整合程序
机译:如何验证作品汇编的知识产权,用于验证作品汇编的知识产权的程序,用于记录该程序的记录介质的编辑的知识产权以及用于验证权利的作品服务器
机译:验证属性集成装置,验证属性集成方法以及其中存储的具有验证属性集成程序的介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。