退出
我的积分:
中文文献批量获取
外文文献批量获取
王云峰; 庞军; 查鸣; 杨朝晖; 郑国梁;
南京大学计算机软件新技术国家重点实验室;
南京;
210093;
解放军理工大学气象学院;
211101;
形式化开发方法; 精化演算; 形式规约; 面向对象;
机译:面向对象代码的继承复杂性度量:一种认知方法
机译:一种信息化测试代码方法,用于在Java编程学习辅助系统中代码编写问题研究三个面向对象编程概念
机译:微分演算的代表性实践:一种历史认知方法。
机译:酵母中酒精化脂肪酸的气相色谱评估:一种新的化学分类方法。
机译:一种检测源代码抄袭的抽象方法线性化 面向对象的环境
机译:命题演算声明转换为整数和混合整数规划:一种自动重构的方法。
机译:Gartar演算演算演算演算演算
机译:自动化系统控制程序中的面向对象程序代码的运行时修改,方法是使用修改后的汇编代码修改存储的汇编代码,并在机器代码转换之前对修改进行适应
机译:一种在正在运行的面向对象程序中替换代码的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。