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