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