形式化方法论文集合

Name: 形式化方法论文集合
Rating: 4.5 (67 reviews)
Author: 闭关修炼ing

上传者：闭关修炼ing 2019-06-22 22:03:40上传 7Z文件 37.86MB 热度 67次

Formal method paper collection

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2019-06-22 22:03:40

全是英文材料，英语不行

形式化方法论文集合

Formal method paper collection

大小：0B | 2019-06-22 22:03:40
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
PSD论文集合

该文档类似于之前我传的，不过更精简，文章选取的都比较好，建议看这个

大小：13.94MB | 2020-07-16 15:57:48
Google论文集合

GoogleF1TenzingSpannerMegastoreMapReduceFusionTabl...

大小：0B | 2019-07-06 07:41:08
spin论文集合

spinmodelcheckingthesisset,用于开发安全关键的信息系统。可用于检测并发系统...

大小：0B | 2020-01-13 01:44:16
GSM论文集合

gsm论文合集gsm论文合集gsm论文合集省去大家找寻的时间帮助大家快速入门！！！！！

大小：0B | 2019-07-06 16:01:57
AI论文集合

腾讯AI实验室17年在人工智能方向的优秀论文集合，主要是语音处理。

大小：0B | 2019-07-23 07:48:44
形式化方法CSP

Communicatingsequentialprocesses:形式化方法CSP,进程代数CSP

大小：0B | 2020-06-01 19:03:18
形式化方法教材

形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2

大小：0B | 2020-05-15 21:37:38
形式化方法资料

形式化方法的课件，北大裘宗燕老师的课件

大小：0B | 2018-12-26 05:23:29
形式化方法概貌

大小：0B | 2019-01-10 23:14:58
深度学习论文集合

深度学习论文集合，大概有40、50篇左右。

大小：0B | 2018-12-26 09:51:02
协议形式化相关论文

收集的协议形式化的相关论文，总共57篇，希望对别的同学了解协议形式化有所帮助

大小：0B | 2019-09-18 06:45:50
形式化方法课件中文

北大形式化方法课程的课件，重点介绍软件开发过程中的形式化方法。

大小：0B | 2018-12-26 05:23:08
形式化方法概貌2018

大小：0B | 2019-02-22 16:44:23
推荐系统论文集合

大小：0B | 2019-03-04 01:04:35