cding21 / SWEN30006---Workshop-Slides
A repository of workshop slides used in SWEN30006 - Software Modelling and Design workshops.
☆11Updated 8 months ago
Alternatives and similar repositories for SWEN30006---Workshop-Slides
Users that are interested in SWEN30006---Workshop-Slides are comparing it to the libraries listed below
Sorting:
- Notes that I've taken over my Computer Systems and Software course at The University of Melbourne☆135Updated 4 years ago
- ☆10Updated 5 years ago
- Coursework in Melbourne University☆47Updated 3 years ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated last year
- Sample exam papers and solutions of the University of Melbourne.☆46Updated 4 years ago
- ☆8Updated 2 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆34Updated last year
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- Notes for anything☆11Updated 4 years ago
- A personal collection of food in San Diego. (primarily asian food) (in Chinese)☆72Updated 2 years ago
- 每日答题题库，日常更新☆70Updated 5 years ago
- Some materials which may help you apply for US or HK☆52Updated 5 years ago
- ☆14Updated 2 weeks ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- Grammar prioritization support for EUSolver.☆12Updated 5 years ago
- Toolkit for generating graphs and evaluating graph generators.☆16Updated last year
- 纽约大学工学院 2020Fall 中国留学生录取背景报告☆90Updated last week
- ☆11Updated 6 years ago
- UCLA CS 180☆93Updated 11 years ago
- ☆11Updated 5 years ago
- Code2Inv: Learning Loop Invariants for Program Verification☆94Updated 4 years ago
- University of Melbourne COMP90015 Distributed Systems Code Challenges (Weeks 2-8,11)☆15Updated 3 years ago
- A collection of information for 2018 fall CS master programs.☆178Updated 5 years ago
- My GRE Learning Resources☆55Updated 5 years ago
- Curriculum for support classes in the intro sequence at UW CSE (142/143).☆23Updated 2 years ago
- My solutions to problems in Arora & Barak's textbook Computational Complexity☆16Updated 13 years ago
- A (Sub)Graph Isomorphism Algorithm for Matching Large Graphs☆27Updated 9 years ago
- Scaling Up Subgraph Query Processing with Efficient Subgraph Matching by Shixuan Sun and Dr. Qiong Luo☆17Updated 6 years ago
- ☆22Updated last year
- Solutions for CS224W Winter 2021 Colab☆162Updated 10 months ago