1996年第7卷第11期目录

浏览其它刊期:

本期目录


	面向屈折语的上下文相关词法分析器
	柯仑,黄河燕,陈肇雄
	1996,7(11):641-646 [摘要(3757)] [PDF 404.92 K (4866)]

	一种图形化对象式需求定义语言的设计
	张家重,吕建,王志坚,徐家福
	1996,7(11):647-655 [摘要(3753)] [PDF 577.88 K (4666)]

	基于图的任意域内点集的Delaunay三角剖分算法
	潘志庚,马小虎,董军,石教英
	1996,7(11):656-661 [摘要(3963)] [PDF 391.09 K (4977)]

	过程繁衍及其实现方法
	丁永华,陈彤,臧斌宇,朱传琪
	1996,7(11):662-668 [摘要(3273)] [PDF 437.75 K (4327)]

	关系数据库与面向对象数据库的集成
	车敦仁,周立柱
	1996,7(11):669-675 [摘要(3839)] [PDF 497.48 K (5063)]

	用XYZ／E语言描述和验证硬件的行为
	韩俊刚,王岩冰,沈武威
	1996,7(11):676-682 [摘要(4153)] [PDF 425.30 K (4525)]

	基于Monad的纯函数式程序设计
	袁华强,孙永强
	1996,7(11):683-690 [摘要(4150)] [PDF 420.63 K (4542)]

	支持协同设计的工程数据库版本管理
	王潜平,林宗楷,郭玉钗
	1996,7(11):691-697 [摘要(4061)] [PDF 474.90 K (4880)]

	标记逻辑的TABLEAU判定过程
	程晓春,刘叙华
	1996,7(11):698-705 [摘要(3789)] [PDF 528.05 K (4467)]