资源列表
[文件格式] SuperSailYachts5000pix
说明:Thanks and would like to be a good member and active<wangfusen> 在 2025-05-26 上传 | 大小:1.87mb | 下载:0
[软件工程] Isabelle98.tar
说明:用做定理证明、推理。可以扩展,比如与Z specification结合使用,做后期的verification。这个软件是软件工程学中formal method的一个很好的代表。-Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for<Jie> 在 2025-05-26 上传 | 大小:1.87mb | 下载:0
[文件格式] equalizer_thesis
说明:THESIS BLIND EQUALIZATION ALGORITHM BY USING PARALLEL KALMAN FILTERING. COMBINING KALMAN FILTERING ALGORITHMS WITH HMM. INLUDE MATLAB SOURCE CODES.<ronen> 在 2025-05-26 上传 | 大小:1.87mb | 下载:0
[软件工程] ACM_OJ_程序设计基础课程资料
说明:最新的ACM培新计划和培训内容,包含代码和解析,培养最出色的ACMer(This is the latest ACM information for learning and reference, including the hard-working information and plans of the teacher)<zfs9521 > 在 2025-05-26 上传 | 大小:1.87mb | 下载:0