1990年第1卷第2期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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