退出
我的积分:
中文文献批量获取
外文文献批量获取
胡启敏; 薛锦云; 钟林辉;
江西师范大学,计算机信息工程学院,江西,南昌,330027;
中国科学院软件研究所,计算机科学重点实验室,北京,100080;
依赖注入; 基于构件的软件开发; 完全格; 形式化方法;
机译:虚拟专用网传输技术的形式化描述
机译:虚拟专用网络传输技术的形式化描述
机译:Web服务组合的形式化描述框架和匹配技术
机译:用于构建生产技术形式化描述的模型和算法
机译:改善卫生保健精益执行过程的策略
机译:阿片类药物依赖注入药物慢性疼痛和丙型肝炎病毒感染
机译:使用形式化描述技术为移动终端建模LTE协议
机译:分布式计算系统的形式化描述技术,即1990年代的挑战
机译:适用于成年子女的“视线”等效技术,可在任务执行过程中进行监督。
机译:用于生成和分发用于技术台面支持的可执行过程的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。