1996年第7卷第10期目录

浏览其它刊期:

本期目录


	对象描述语言及其指称描述
	黄涛,冯玉琳,倪彬,李京
	1996,7(10):577-586 [摘要(3568)] [PDF 691.52 K (4099)]

	基于图文法的并发系统状态测试方法及其实现
	徐建礼,周龙骧
	1996,7(10):587-605 [摘要(3383)] [PDF 1.21 M (4216)]

	一种基于网络分解的多播通讯路由方法
	谢澎,朱怡安,康继昌,王雅昆
	1996,7(10):606-610 [摘要(3883)] [PDF 344.83 K (3988)]

	高阶函数式语言到逻辑式语言的转换
	宋立彤,金成植,王丹茹
	1996,7(10):611-615 [摘要(4101)] [PDF 306.84 K (4399)]

	关于约束底盘装载问题的一种启发式方法
	王金敏,陈东祥,查建中,王爱虎,章节笑
	1996,7(10):616-620 [摘要(3851)] [PDF 331.77 K (4426)]

	表格图象数据抽取柔性匹配方法
	刘江宁,杨嵘,张剑
	1996,7(10):621-625 [摘要(3846)] [PDF 376.75 K (3980)]

	FPGA最小延时工艺映射理论及算法
	彭宇行,陈福接
	1996,7(10):626-633 [摘要(3749)] [PDF 467.99 K (4630)]

	高阶函数式语言的部分求值器
	陆卫东,金成植
	1996,7(10):634-640 [摘要(3407)] [PDF 599.14 K (4404)]