This shows you the differences between two versions of the page.
start [2009/02/23 20:53] steve750312 |
start [2023/02/18 20:13] (current) tsay2 [Courses] |
||
---|---|---|---|
Line 6: | Line 6: | ||
====== Courses ====== | ====== Courses ====== | ||
* Fall 2008 | * Fall 2008 | ||
- | * [[http://im.ntu.edu.tw/~tsay/courses/sdm/|Software Development Methods (軟體開發方法)]] | + | * {{courses:sdm:sdm2008info.pdf|Software Development Methods (軟體開發方法)}} |
- | * [[http://im.ntu.edu.tw/~tsay/courses/ssv/|Software Specification and Verification (軟體規格與驗證)]] | + | * {{courses:ssv:ssv2008info.pdf|Software Specification and Verification (軟體規格與驗證)}} |
+ | * {{courses:is:is2008info.pdf|Information Security (資訊安全)}} | ||
* Spring 2009 | * Spring 2009 | ||
- | * [[courses:alg2009|Algorithms_待刪 (演算法)]] | + | * [[courses:alg2009:home|Algorithms (演算法)]] |
- | * [[courses:alg2009:alg2009|Algorithms (演算法)]] | + | * [[courses:sem2009:home|Seminar on Information Management (資管專題討論)]] |
- | * [[courses:sem2009|Seminar on Information Management (資管專題討論)]] | + | * [[courses:av2009:main|Automatic Verification (自動化軟體驗證)]] |
- | * [[courses:av2009:home|Automatic Verification (自動化軟體驗證)]] | + | * Fall 2009 |
+ | * [[courses:sdm2009:main|Software Development Methods (軟體開發方法)]] | ||
+ | * [[courses:ssv2009:main|Software Specification and Verification (軟體規格與驗證)]] | ||
+ | * [[courses:is2009:main|Information Security (資訊安全)]] | ||
+ | * Spring 2010 | ||
+ | * [[courses:alg2010:main|Algorithms (演算法)]] | ||
+ | * [[courses:av2010:main|Automatic Verification (自動化軟體驗證)]] | ||
+ | * Fall 2010 | ||
+ | * [[courses:sdm2010:main|Software Development Methods (軟體開發方法)]] | ||
+ | * [[courses:ssv2010:main|Software Specification and Verification (軟體規格與驗證)]] | ||
+ | * [[courses:is2010:main|Information Security (資訊安全)]] | ||
+ | * Spring 2011 | ||
+ | * [[courses:alg2011:main|Algorithms (演算法)]] | ||
+ | * [[courses:av2011:main|Automatic Verification (自動化軟體驗證)]] | ||
+ | * Fall 2011 | ||
+ | * [[courses:sdm2011:main|Software Development Methods (軟體開發方法)]] | ||
+ | * [[courses:ssv2011:main|Software Specification and Verification (軟體規格與驗證)]] | ||
+ | * [[courses:is2011:main|Information Security (資訊安全)]] | ||
+ | * Spring 2012 | ||
+ | * [[courses:alg2012:main|Algorithms (演算法)]] | ||
+ | * [[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 ====== | ||