退出
我的积分:
中文文献批量获取
外文文献批量获取
谭立兴; 王福俊;
南京航空航天大学计算机科学与技术学院 南京 211106;
南京理工大学泰州科技学院 江苏 泰州 225300;
形式论证; DAS; 分级论辩系统; GML; 分级互模拟;
机译:本地和全局分级相似度的逻辑研究
机译:分层业务逻辑研究的原型系统原型系统D
机译:暗示和违反DKI雅加达总督辩论辩论辩论讨论(Metro TV的Najwa Mata学位活动中的内容分析研究)的隐含和违反了合作原则
机译:人行道的弹性模量如何取决于水分级别:朝着实际重要的经验公式的理论辩护
机译:港口联系:晚罗马共和国航海交换系统的空间逻辑研究
机译:为本地化的艾滋病毒治疗方法论辩:美国六个城市应对艾滋病毒/艾滋病流行的结构条件和卫生系统能力
机译:对本地和全局分级相似性的逻辑研究
机译:用计算机逻辑研究零件故障隔离。第1卷。用户手册:Fatal II编译器 - 汇编系统
机译:进行个性化,虚拟适度,虚拟实时方法论辩论
机译:进行个性化,虚拟主持的虚拟实时方法论辩论
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。