langyaMK / USTC_SSE_FMF
中科大形式化方法
☆21Updated 3 years ago
Alternatives and similar repositories for USTC_SSE_FMF:
Users that are interested in USTC_SSE_FMF are comparing it to the libraries listed below
- 中科大软院形式化方法（华保健老师）☆17Updated 3 years ago
- 中国科学技术大学软件学院算法设计与分析课程☆81Updated 4 years ago
- USTC SSE 2022高级数据库技术期末实验☆8Updated 2 years ago
- 中国科学技术大学软件学院系统建模课程☆30Updated 4 years ago
- 23秋季工程化C程序设计代码仓库，包括lab1-5的实验代码和实验报告，感兴趣的话就点个star吧~☆12Updated last month
- ☆58Updated 3 years ago
- FMF, Formal Methods Foundation. 形式化方法2020春，作业☆18Updated 4 years ago
- ☆10Updated 2 years ago
- 中国科学院软件学院高级图像处理课程☆14Updated 4 years ago
- 中科大软件学院研究生部分课程，持续更新。仅用于学习，禁止商用☆137Updated 4 years ago
- 中国科学技术大学 软件学院 高级图像处理 实验☆14Updated 6 years ago
- Lab2A-D, Lab3A-B, and Lab4A-B in different branches tagged these names so you can easily handle individual parts☆138Updated last year
- 中科大徐云老师软件学院算法导论课程☆23Updated 4 years ago
- 中国科学技术大学软件学院软件体系结构课程☆11Updated 4 years ago
- MIT6.830要我们基于java语言实现一个数据库系统，一共6个lab。☆30Updated 2 years ago
- distributed system☆168Updated 4 years ago
- 中国科学技术大学软件学院程序设计与计算机系统课程☆11Updated 5 years ago
- 北大软微 考题回忆，陈向群操作系统，郁莲算法，莫同云计算☆56Updated 5 years ago
- 金培权 高级数据库系统 课程实验2021秋季学期☆28Updated 3 years ago
- 中国科学技术大学 高级数据库系统 金培权 全部作业正确答案 Correct Answer of all USTC Advanced Database System Homework in Chinese☆40Updated 5 years ago
- ☆1Updated last year
- CMU15445-2021-FALL的实源原理讲解及笔记（已完结）☆176Updated 2 years ago
- 中科大软院生活学习经验分享☆33Updated 4 years ago
- 2023 OceanBase 数据库大赛初赛☆98Updated 11 months ago
- 中科大高级数据库系统实验-2023fall(金培权)☆10Updated last year
- codes and documents for MIT6.5840(6.824) 2023☆81Updated 5 months ago
- 中科大《高级数据库系统》实验——Storage and Buffer Manager☆20Updated 5 years ago
- 本仓库建立的目的是，共享中国科学技术大学(USTC)计算机科学与技术学院硕士研究生历年复试真题。☆48Updated 5 years ago
- 完成了4个lab☆78Updated 2 years ago
- MIT6.S081实验官方纯净源代码以及我为此制作的开箱即用的实验环境（部署后即可以用web端的Vscode进行实验），转载于MIT官方仓库git clone git://g.csail.mit.edu/xv6-labs-2020，由于GitHub上没有放出2020版本的M…☆79Updated last year