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