1990年第1卷第2期目录

浏览其它刊期:

本期目录


	通过程序变换对数字系统进行优化
	胡振江,孙永强
	1990,1(2):1-11
	[摘要](4787) [PDF 540.17 K](5879)

	Occam语言的时态语义
	耿峻,谭新明
	1990,1(2):12-27
	[摘要](4800) [PDF 859.41 K](6068)

	在不同DBMS上的数据库转换
	唐世渭,杨冬青,裴芳
	1990,1(2):28-38
	[摘要](4443) [PDF 616.41 K](6266)

	需求描述及分析工具CPSL/CPSA
	许龙山,吴东升,程崇炎
	1990,1(2):39-47
	[摘要](4797) [PDF 486.39 K](14948)

	智能CAD工具
	杨乔林
	1990,1(2):48-55
	[摘要](5246) [PDF 1021.39 K](6343)

	微机网上的分布式专家联合系统UNION(上)
	赵致琢,庄庆雨,曹华,陆汝钤
	1990,1(2):56-64
	[摘要](5088) [PDF 481.75 K](5857)