Yih-Kuen Tsay's Wiki @ IM.NTU

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
Welcome to **Yih-Kuen Tsay's Wiki @ IM.NTU**!
This site is a collective Wiki for my courses and other things 
that I (Yih-Kuen Tsay) create with my colleagues and students.
Enjoy!

====== Courses ======
  * Fall 2008
    * {{courses:sdm:sdm2008info.pdf|Software Development Methods (軟體開發方法)}}
    * {{courses:ssv:ssv2008info.pdf|Software Specification and Verification (軟體規格與驗證)}}
    * {{courses:is:is2008info.pdf|Information Security (資訊安全)}}
  * Spring 2009
    * [[courses:alg2009:home|Algorithms (演算法)]]
    * [[courses:sem2009:home|Seminar on Information Management (資管專題討論)]]
    * [[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 (自動化軟體驗證)]]

====== Others ======
Yih-Kuen Tsay's Wiki @ IM.NTU

User Tools

Site Tools

Page Tools
