退出
我的积分:
中文文献批量获取
外文文献批量获取
余金山;
华桥大学 泉州362011;
逻辑程序设计; 函数程序设计; 软件开发; 软件生产率; 软件危机; 函数式语言; 软件质量; 说明性; 计算机科学家; 软件工程;
机译:基于归一化的投影基于基于投影的基于群体决策方法,具有异构决策信息和应用软件开发工作评估
机译:基于假设的论证与逻辑程序设计的等价性
机译:一种基于广义分布语义的新型概率约束逻辑程序设计语言
机译:基于逻辑程序设计的面向地理高考的比较句知识获取
机译:基于仿真的工作量估算,用于基于COTS的软件开发
机译:基于模糊的TopSis对有效安全要求工程方法的选择分析可靠性医疗软件开发
机译:基于设计的基于互联网的营销计划软件的设计研究/基于互联网的营销计划软件开发的设计研究
机译:基于Lambda-Calculus和集抽象的实用高阶泛函和逻辑程序设计
机译:基于本地构建及其装置提供支持嵌入式软件开发环境的嵌入式软件开发工具的方法
机译:提供基于本机构建的用于支持嵌入式软件开发环境的嵌入式软件开发工具的方法及其装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。