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