| 1996年第7卷第11期目录
本期目录 | | | 面向屈折语的上下文相关词法分析器 | | 柯仑,黄河燕,陈肇雄 | | 1996,7(11):641-646 [摘要(3686)] [PDF 404.92 K (4366)] | | | | 一种图形化对象式需求定义语言的设计 | | 张家重,吕建,王志坚,徐家福 | | 1996,7(11):647-655 [摘要(3698)] [PDF 577.88 K (4200)] | | | | 基于图的任意域内点集的Delaunay三角剖分算法 | | 潘志庚,马小虎,董军,石教英 | | 1996,7(11):656-661 [摘要(3874)] [PDF 391.09 K (4461)] | | | | 过程繁衍及其实现方法 | | 丁永华,陈彤,臧斌宇,朱传琪 | | 1996,7(11):662-668 [摘要(3212)] [PDF 437.75 K (3822)] | | | | 关系数据库与面向对象数据库的集成 | | 车敦仁,周立柱 | | 1996,7(11):669-675 [摘要(3782)] [PDF 497.48 K (4510)] | | | | 用XYZ/E语言描述和验证硬件的行为 | | 韩俊刚,王岩冰,沈武威 | | 1996,7(11):676-682 [摘要(4087)] [PDF 425.30 K (4019)] | | | | 基于Monad的纯函数式程序设计 | | 袁华强,孙永强 | | 1996,7(11):683-690 [摘要(4068)] [PDF 420.63 K (4046)] | | | | 支持协同设计的工程数据库版本管理 | | 王潜平,林宗楷,郭玉钗 | | 1996,7(11):691-697 [摘要(3986)] [PDF 474.90 K (4393)] | | | | 标记逻辑的TABLEAU判定过程 | | 程晓春,刘叙华 | | 1996,7(11):698-705 [摘要(3713)] [PDF 528.05 K (3940)] | | |
|