520 计算机科学技术

摘要

05100823 520·10计算机科学技术基础学科CDMA技术在数字视频水印系统中的应用=The Application of CDMA Technique in Digital Video Watermarking Systems [刊，中]，05100824 ★★520·10使用分流预处理验证互斥和活跃性=Veilfying Mutual Exclusion and Liveness Properties with Split Preconditions[刊，英]，05100825 ★520·10 π-网的强互模拟等价=The Strong Bisimilarity on the π-Nets[刊，中]……