1996年第7卷第2期目录
一种支持移动计算机通信的路径算法杜兴,谢立,孙钟秀1996,7(2):65-72 [摘要(3644)] [PDF(4612)551.96 K][HTML(0)]C＋＋对象的持久化中的问题和解决方案陶伟,麦中凡1996,7(2):73-82 [摘要(4456)] [PDF(5010)669.12 K][HTML(0)]电子CAD框架系统的长事务处理和网络版本管理潘雪增,寿宇澄,赵余平,平玲娣1996,7(2):83-89 [摘要(4179)] [PDF(4675)493.93 K][HTML(0)]清华图纸自动输入及管理系统李新友,唐泽圣1996,7(2):90-99 [摘要(3973)] [PDF(4788)667.29 K][HTML(0)]一个用于授权传递的改进Bell－La Padula模型洪帆,余祥宣1996,7(2):100-105 [摘要(3892)] [PDF(4526)392.78 K][HTML(0)]基于定性模型的定性仿真方法薛冬白,石纯一1996,7(2):106-110 [摘要(3710)] [PDF(4836)374.30 K][HTML(0)]动态环拓扑多机系统上DBP学习算法并行计算模型的构造与实现管惠维1996,7(2):111-118 [摘要(3482)] [PDF(4818)498.38 K][HTML(0)]时态逼近关系及时态逻辑的扩充钟绍春,刘大有1996,7(2):119-127 [摘要(4001)] [PDF(4634)569.25 K][HTML(0)]
