Discrete Mathematics and Its Applications 离散数学及其应用
浙江大学 必修课 本科生 Undergraduate (64学时)
2024 Spring-Summer 春夏学期
2023 Spring-Summer 春夏学期
2022 Spring-Summer 春夏学期
2021 Spring-Summer 春夏学期

信息安全前沿技术和研究方法论
浙江大学 研究生 Undergraduate (48学时)
2024 Spring-Summer 春夏学期
2023 Spring-Summer 春夏学期
2022 Spring-Summer 春夏学期
2021 Spring-Summer 春夏学期

Discrete Mathematics 离散数学
北航信息大类核心课程 本科生 Undergraduate
2019 Spring 春季
2018 Spring 春季
高等理工学院 本科生 Undergraduate
2019 Summer 夏季
2018 Summer 夏季
2017 Summer 夏季
download sources in Isabelle 2017

Formal Language and Automata Theory 形式语言与自动机
本科生 Undergraduate
2019,2018, 2017,2016, 2014, 2013, 2012, 2011 Fall 秋季

Software Architecture and Middleware 软件体系结构与中间件
研究生 Graduate
2016 Fall 秋季
2014 Fall 秋季, 2013 Fall 秋季

Foundation of Services Computing 服务计算基础
研究生 Graduate
2014, 2013, 2012, 2011 Fall 秋季

Middleware technology 中间件技术
研究生 Graduate

2014, 2013, 2012, 2011, 2010 Spring 春季

Object-oriented Programming Language(Java)
外国留学生 Foreign graduate

2012, 2011 Fall 秋季