退出
我的积分:
中文文献批量获取
外文文献批量获取
许满武; 陆剑锋; 曾凡聪; 戴劲雯; 刘凤玉; 张杰;
南京大学计算机科学与技术系;
南京;
210093;
南京理工大学计算机科学与工程系;
210094;
程序设计语言; 知识推理; 高阶π演算; 时序数据库; 归约体系结构;
机译:建筑设计中房间布置设计的域特定规范描述语言的设计与实现
机译:考虑页面过渡的Web应用描述语言的设计与实现
机译:基于知识推理的机械设计混合计算模型
机译:用推拉螺旋系统实现高圆偏振发光:从合理化设计到顶级发射CP-OLED应用
机译:图形VHDL(VHsIC硬件描述语言)用户界面的设计与实现
机译:用于以功率意图描述语言描述的给定功率意图的层次结构和以硬件设计描述语言描述的设计来显示层次结构的方法以及相关的装置和相关的计算机程序产品
机译:用硬件设计描述语言描述的设计,用功率意图描述语言描述的给定功率意图的层次结构的显示方法,相关的装置和相关的计算机程序产品
机译:硬件描述语言,例如高速集成电路硬件描述语言,代码生成方法,例如可编程逻辑设备,涉及在执行请求时实现机器的状态转换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。