Home | Help | New Search | 中文模式	AS Library Service

Request Verification Requesting Tools and algorithms for the construction and analysis of systems : 14th international conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / C.R. Ramakrishnan, Jakob Rehof (eds.) Requesting Tools and algorithms for the construction and analysis of systems : 14th international conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / C.R. Ramakrishnan, Jakob Rehof (eds.) Please enter the following information: For example, type "Jane Smith" and then press the RETURN key. Your Name: 例如, 輸入 "A123456789", 然後按 RETURN 鍵. ID NO.

Home | Help | 中文模式

This site best viewed with IE7.0、FireFox2.0、Safari3.1.1、Opera9.27 @1024*768