退出
我的积分:
中文文献批量获取
外文文献批量获取
刘育刚;
中国计算机学会;
程序设计;
机译:ProLogger Excels:NCFA的ProLogger程序继续关注安全性
机译:自动验证Prolog程序
机译:程序行为发现和验证:一种图形语法方法
机译:LCD标准化:开发Prolog程序的正式方法
机译:跨国药物实验室分析方法的局部验证程序的开发与实现=跨国药剂中分析方法局部验证的局部验证程序的开发和实施
机译:休斯顿卫方法变体查看器版本3的开发和验证:我们的应用程序解释下一代测序数据的更新
机译:铝在软包装用金属化塑料膜上的粘合强度-测试程序的开发和验证[测定软包装用塑料膜中铝金属化膜的粘合强度-方法的开发和验证]
机译:验证精简方法,以估计实时,命令和控制应用程序开发项目
机译:验证移动终端的移动平台中的应用程序的方法和系统,尤其是用于验证每个开发者开发的移动平台的应用程序的方法
机译:基于通过简单操作的三维图像生成二维图形的开发图形生成系统,一种开发图形生成方法以及一种用于执行该方法的计算机可读记录媒体记录程序
机译:在具有图形用户界面的应用程序的并行开发中自动管理过程的方法和系统,计算机应用程序的开发系统以及计算机指令可读的介质。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。