1996年第7卷第10期目录
对象描述语言及其指称描述黄涛,冯玉琳,倪彬,李京1996,7(10):577-586 [摘要(3567)] [PDF(4093)691.52 K][HTML(0)]基于图文法的并发系统状态测试方法及其实现徐建礼,周龙骧1996,7(10):587-605 [摘要(3383)] [PDF(4213)1.21 M][HTML(0)]一种基于网络分解的多播通讯路由方法谢澎,朱怡安,康继昌,王雅昆1996,7(10):606-610 [摘要(3883)] [PDF(3987)344.83 K][HTML(0)]高阶函数式语言到逻辑式语言的转换宋立彤,金成植,王丹茹1996,7(10):611-615 [摘要(4101)] [PDF(4398)306.84 K][HTML(0)]关于约束底盘装载问题的一种启发式方法王金敏,陈东祥,查建中,王爱虎,章节笑1996,7(10):616-620 [摘要(3850)] [PDF(4425)331.77 K][HTML(0)]表格图象数据抽取柔性匹配方法刘江宁,杨嵘,张剑1996,7(10):621-625 [摘要(3842)] [PDF(3979)376.75 K][HTML(0)]FPGA最小延时工艺映射理论及算法彭宇行,陈福接1996,7(10):626-633 [摘要(3749)] [PDF(4629)467.99 K][HTML(0)]高阶函数式语言的部分求值器陆卫东,金成植1996,7(10):634-640 [摘要(3407)] [PDF(4404)599.14 K][HTML(0)]