1997年第8卷第5期目录
π-演算中无卫递归的消除林惠民1997,8(5):321-326 [摘要(3418)] [PDF(4796)367.34 K][HTML(0)]一个支持并行流的多媒体服务系统吴飞,陈福接,王朴1997,8(5):327-334 [摘要(3824)] [PDF(5524)545.80 K][HTML(0)]统计遗传算法张铃,张钹1997,8(5):335-344 [摘要(4511)] [PDF(5756)645.85 K][HTML(0)]对Condor系统的分析与改进郭雷,鞠九滨,张怡颖1997,8(5):345-349 [摘要(4137)] [PDF(5409)361.07 K][HTML(0)]支持软件开发的可执行定义方法应晶,何志均,吴朝晖1997,8(5):350-359 [摘要(3771)] [PDF(5113)720.65 K][HTML(0)]TUR: 一种在UNIX内核中实现的高性能路由器毕军,吴建平1997,8(5):360-366 [摘要(3586)] [PDF(4808)480.87 K][HTML(0)]一种形式化的基于TTCN的测试执行方法郝瑞兵,吴建平,史美林1997,8(5):367-375 [摘要(3817)] [PDF(4943)591.35 K][HTML(0)]一种在矢量基础上进行图形识别的通用方法刘文印,唐龙,唐泽圣,Dov Dori1997,8(5):376-383 [摘要(3826)] [PDF(5871)1.76 M][HTML(0)]一种面向对象程序自动化方法的研究全炳哲,金淳兆,玄顺姬1997,8(5):384-390 [摘要(3729)] [PDF(4774)420.28 K][HTML(0)]一种面向对象的可重用库管理系统的模型王青,张为民,蔡建平1997,8(5):391-396 [摘要(3517)] [PDF(5327)447.12 K][HTML(0)]HotJava浏览器汉化方案的设计与实现田金兰,徐伟生,吕思飞1997,8(5):397-400 [摘要(4913)] [PDF(5108)305.26 K][HTML(0)]
