Uni | lukakerr.github.io

Nov 30, 2020
COMP4161 Notes
4161isabelleadvanced topics in software verification
Aug 1, 2020
COMP3121 Notes
3121texalgorithms and programming techniques
Jul 31, 2020
COMP3151 Notes
3151rustjavapromelafoundations of concurrency
Nov 24, 2019
COMP3331 Notes
3331pythoncomputer networks and applications
Nov 23, 2019
SENG2011 Notes
2011dafnyworkshop on reasoning about programs
Nov 23, 2019
COMP3311 Notes
3311sqlpythondatabase systems
Aug 12, 2019
COMP3421 Notes
3421javacomputer graphics
Aug 3, 2019
COMP3141 Notes
3141haskellsoftware system design and implementation
Aug 2, 2019
MATH2400 Notes
2400texfinite mathematics
Aug 2, 2019
MATH2859 Notes
2859texprobability, statistics and information
May 4, 2019
COMP3131 Notes
3131javaprogramming languages and compilers
May 3, 2019
COMP3231 Notes
3231coperating systems
May 2, 2019
COMP2111 Notes
2111texsystem modelling and design
Nov 13, 2018
COMP2511 Notes
2511javaobject oriented design and programming
Nov 12, 2018
COMP2041 Notes
2041shellperljavascriptsoftware construction
Nov 11, 2018
COMP3161 Notes
3161haskellconcepts of programming languages
Nov 3, 2018
MATH1231 Notes
1231texlinear algebracalculusmathematics 1B
Jun 20, 2018
COMP1521 Notes
1521cmipscomputer system fundamentals
Jun 13, 2018
COMP1531 Notes
1531pythonsoftware engineering fundamentals
Jun 9, 2018
COMP2521 Notes
2521cdata structures and algorithms
Jun 8, 2018
MATH1131 Notes
1131texlinear algebracalculusmathematics 1A