This shows you the differences between two versions of the page.
start [2012/08/25 15:32] tsay |
start [2023/02/18 20:13] (current) tsay2 [Courses] |
||
---|---|---|---|
Line 34: | Line 34: | ||
* [[courses:alg2012:main|Algorithms (演算法)]] | * [[courses:alg2012:main|Algorithms (演算法)]] | ||
* [[courses:av2012:main|Automatic Verification (自動化軟體驗證)]] | * [[courses:av2012:main|Automatic Verification (自動化軟體驗證)]] | ||
+ | * Fall 2012 | ||
+ | * [[courses:sdm2012:main|Software Development Methods (軟體開發方法)]] | ||
+ | * [[courses:pl2012:main|Programming Languages (程式語言)]] | ||
+ | * [[courses:is2012:main|Information Security (資訊安全)]] | ||
+ | * Spring 2013 | ||
+ | * [[courses:alg2013:main|Algorithms (演算法)]] | ||
+ | * [[courses:theory2013:main|Theory of Computing (計算理論)]] | ||
+ | * Fall 2013 | ||
+ | * [[courses:sdm2013:main|Software Development Methods (軟體開發方法)]] | ||
+ | * [[courses:is2013:main|Information Security (資訊安全)]] | ||
+ | * Spring 2014 | ||
+ | * [[courses:alg2014:main|Algorithms (演算法)]] | ||
+ | * [[courses:theory2014:main|Theory of Computing (計算理論)]] | ||
+ | * Fall 2014 | ||
+ | * [[courses:sdm2014:main|Software Development Methods (軟體開發方法)]] | ||
+ | * [[courses:is2014:main|Information Security (資訊安全)]] | ||
+ | * [[courses:ssv2014:main|Software Specification and Verification (軟體規格與驗證)]] | ||
+ | * Spring 2015 | ||
+ | * [[courses:alg2015:main|Algorithms (演算法)]] | ||
+ | * [[courses:theory2015:main|Theory of Computing (計算理論)]] | ||
+ | * [[courses:av2015:main|Automatic Verification (自動化軟體驗證)]] | ||
+ | * Fall 2015 | ||
+ | * [[courses:ds2015:main|Data Structures (資料結構)]] | ||
+ | * [[courses:sdm2015:main|Software Development Methods (軟體開發方法)]] | ||
+ | * [[courses:is2015:main|Information Security (資訊安全)]] | ||
+ | * Spring 2016 | ||
+ | * [[courses:alg2016:main|Algorithms (演算法)]] | ||
+ | * [[courses:theory2016:main|Theory of Computing (計算理論)]] | ||
+ | * Fall 2016 | ||
+ | * [[courses:ds2016:main|Data Structures (資料結構)]] | ||
+ | * [[courses:sdm2016:main|Software Development Methods (軟體開發方法)]] | ||
+ | * [[courses:is2016:main|Information Security (資訊安全)]] | ||
+ | * Spring 2017 | ||
+ | * [[courses:alg2017:main|Algorithms (演算法)]] | ||
+ | * [[courses:theory2017:main|Theory of Computing (計算理論)]] | ||
+ | * Fall 2017 | ||
+ | * [[courses:ds2017:main|Data Structures (資料結構)]] | ||
+ | * [[courses:sdm2017:main|Software Development Methods (軟體開發方法)]] | ||
+ | * Spring 2018 | ||
+ | * [[courses:alg2018:main|Algorithms (演算法)]] | ||
+ | * [[courses:theory2018:main|Theory of Computing (計算理論)]] | ||
+ | * Fall 2019 | ||
+ | * [[courses:alg2019:main|Algorithms (演算法)]] | ||
+ | * [[courses:av2019:main|Automatic Verification (自動化軟體驗證)]] | ||
+ | * Spring 2020 | ||
+ | * [[courses:theory2020:main|Theory of Computing (計算理論)]] | ||
+ | * [[courses:sdm2020:main|Software Development Methods (軟體開發方法)]] | ||
+ | * Fall 2020 | ||
+ | * [[courses:alg2020:main|Algorithms (演算法)]] | ||
+ | * [[courses:ssv2020:main|Software Specification and Verification (軟體規格與驗證)]] | ||
+ | * Spring 2021 | ||
+ | * [[courses:theory2021:main|Theory of Computing (計算理論)]] | ||
+ | * [[courses:sdm2021:main|Software Development Methods (軟體開發方法)]] | ||
+ | * Fall 2021 | ||
+ | * [[courses:alg2021:main|Algorithms (演算法)]] | ||
+ | * [[courses:ssv2021:main|Software Specification and Verification (軟體規格與驗證)]] | ||
+ | * Spring 2022 | ||
+ | * [[courses:theory2022:main|Theory of Computing (計算理論)]] | ||
+ | * [[courses:sdm2022:main|Software Development Methods (軟體開發方法)]] | ||
+ | * Fall 2022 | ||
+ | * [[courses:alg2022:main|Algorithms (演算法)]] | ||
+ | * [[courses:ssv2022:main|Software Specification and Verification (軟體規格與驗證)]] | ||
+ | * Spring 2023 | ||
+ | * [[courses:theory2023:main|Theory of Computing (計算理論)]] | ||
+ | * [[courses:sdm2023:main|Software Development Methods (軟體開發方法)]] | ||
====== Others ====== | ====== Others ====== | ||