lukakerr.github.io
AboutPhotosProjectsUniCode
  • 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