研究生阶段丢失的文件

1. 课程

  算法,编译原理,形式化,程序化设计语言

  选修课:好的书,好玩的地方介绍

  重要的点,实验室的报告PDF,国外学者文档的制作--表达方式,学长的一些优秀的讲课文档,好的表达方式,给听讲者好的视觉和理解

2. 硕士研究工作

  逻辑验证,CEGAR,自己相关文档,和代码

  Blast, SLAM,D

  以及自己讲过的相关文档和PPT

  学长们讲的PPT相关文档

3. 苏州培训文档

  coq相关的资料和代码,ARTIST暑期讲习班

4. 本科毕业论文相关资料

5. Verds相关的资料

6. ocaml相关的资料

7. 车辆预测

8. 多处理器

9. 逻辑验证----

10. 模型检测-----

11. 多处理器变成艺术

12. 工作简历

13. python

14. androri---师兄讲

15. lex与yacc

你可能感兴趣的:(文件)