圖書館館藏資料查詢系統

查詢 text:ETAPS ，共 7 筆

2 0 0 0 0

Compiler construction :13th international conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

作者: Duesterwald, Evelyn.

出版: Berlin ;New York : Springer 2004.

資料類型: 電子書

83 0 0 0 0

Fundamental approaches to software engineering :7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

作者: Wermelinger, Michel,

出版: Berlin ;New York : Springer 2004.

資料類型: 電子書

66 0 0 0 0

Foundations of software science and computation structures :7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

作者: Walukiewicz, Igor.

出版: Berlin ;New York : Springer 2004.

資料類型: 電子書

9 0 0 0 0

Tools and algorithms for the construction and analysis of systems :10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

作者: Jensen, K.

出版: Berlin ;New York : Springer-Verlag 2004.

資料類型: 電子書

6 0 0 0 0

Programming languages and systems :13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

作者: Schmidt, David A.,

出版: Berlin ;New York : Springer ©2004.

資料類型: 電子書