Yih-Kuen Tsay's Wiki @ IM.NTU

User Tools

Site Tools

Trace:
start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

start [2009/03/03 11:49]
mhtsai208 Change the main page from home to main 		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:​home|Algorithms (演算法)]]     * [[courses:​alg2009:​home|Algorithms (演算法)]]
     * [[courses:​sem2009:​home|Seminar on Information Management (資管專題討論)]]     * [[courses:​sem2009:​home|Seminar on Information Management (資管專題討論)]]
     * [[courses:​av2009:​main|Automatic Verification (自動化軟體驗證)]]     * [[courses:​av2009:​main|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 ======
  
start.1236052174.txt.gz · Last modified: 2009/03/03 11:49 by mhtsai208

Page Tools

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
CC Attribution-Noncommercial-Share Alike 3.0 Unported Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki