活動日期
主旨
活動資料
2009-07-11
|
2009-07-19
本土平台種子教師與助教養成研習
報名截止日 : 2009-07-06
2009-06-12
OPENMOKO 研討會
2009-06-08
Automated Developer Testing: Achievements and Challenges
Speaker : Tao Xie, North Carolina State University
報名截止日 : 2010-06-05
2009-05-26
|
2009-05-27
第15屆高性能計算編譯技術研討會
2009-05-25
Analyzing Program Behavior with Pin
Speaker : Dr. Robert Cohn
2009-02-26
嵌入式系統關鍵技術之發展與研究
Speaker : 如議程

活動議程
報名截止

2009-01-08
Turing Award Lecture: Overview of model-checking and verification technologies
時間：11:00-12:00
地點：清華大學 綜二八樓國際會議廳
Speaker : Prof. Edmund M Clarke, CMU (2007 Turing Award Winner)

 
活動日期
主旨
2008-12-26
2008-11-25
2008-09-30
2008-07-08
|
2008-07-09

 
 

 

 
會員專區
忘記密碼？
 
 
聯盟會員資料檢索

學校 　

專長
 
管理者介面
帳號
密碼
 

 

國立清華大學 ESW聯盟辦公室 林欣儀小姐 Tel：03-5742300

Copyright ©2008 ESW Consortium
Last Update: 2008-05-20