退出
我的积分:
中文文献批量获取
外文文献批量获取
李必信; 王云峰;
南京大学计算机科学与技术系;
软件开发; 面向对象; 类型; 子类型; 推理规则;
机译:命令式面向对象语言的语义子类型化
机译:共享子类型:子类型化递归参数化代数数据类型
机译:台湾新型隐球菌临床分离株的微生物学特征:血清型,交配类型,分子类型,毒力因子和抗真菌药性
机译:面向对象语言的归纳类型之间的声音和完整子类型
机译:面向对象语言的表现型类型系统。
机译:脑膜炎奈瑟氏球菌全血培养lpxL1突变体比野生型诱导更少的促炎细胞因子类型而IL-10会降低MyD88依赖性细胞因子
机译:面向对象语言的共归类型之间的声音和完整子类型
机译:验证使用子类型的面向对象的程序
机译:基于带有约束的强制子类型的面向对象语言的类型系统扩展
机译:通过弹性双极膜控制选择的中性分子类型的流动的方法和装置,从分子类型的混合物中分离中性分子类型的方法以及分离器和分离器
机译:用集成驱动电子类型的紧凑型闪存替换小型计算机系统接口类型的硬盘的转换器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。