weixin_10923 这家伙很懒，什么也没写 资源：2 粉丝：0
+关注
Ta的上传资源列表
  • 中国象棋搜索算法

    中国象棋搜索算法研究 包括各种经典的搜索算法，可以作为入门参考

    大小：3.09MB | 2020-03-11 22:14:11
  • Case Studies in Systematic Software Development

    形式化方法的应用实例列举了不同的实例显示形式化方法的应用，最主要的比如VDM，等等看完本书，对形式化...

    大小：2.67MB | 2019-09-19 03:40:28