查詢 sb:Logiciels Congrès. ,共 33 筆
查詢再細分
-
- 語言
- 英語(33)
-
- 作者
- Giorgini, Paolo.(2)
- LINK (Online service)(2)
- Abecker, Andreas.(1)
- Alur, Rajeev,(1)
- Astesiano, E.(1)
- Balsamo, Simonetta.(1)
- Bosch, Jan.(1)
- Chen, Shu-Heng,(1)
- Dastani, Mehdi.(1)
- Dignum, Frank,(1)
- More
-
- 資料類型
- 電子書(33)
-
1 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.
- 資料類型: 電子書
-
13 0 0 0 0
Software product-family engineering :5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers
- 作者: Linden, Frank van der,
- 出版: 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.
- 資料類型: 電子書
-
6 0 0 0 0
Software architecture :first European workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004 : proceedings
- 作者: Oquendo, Flavio,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
8 0 0 0 0
Agent-oriented software engineering IV :4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papers
- 作者: Giorgini, Paolo.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
80 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.
- 資料類型: 電子書
-
8 0 0 0 0
Radical Innovations of Software and Systems Engineering in the Future :9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers
- 作者: Wirsing, M.
- 出版: Berlin ;New York : Springer-Verlag 2004.
- 資料類型: 電子書
-
7 0 0 0 0
Computer aided verification :16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings
- 作者: Alur, Rajeev,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
7 0 0 0 0
SOFSEM 2004 :theory and practice of computer science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Měřín, Czech Republic, January 24-30, 2004 : proceedings
- 作者: Emde Boas, P. van.
- 出版: New York : Springer-Verlag 2004.
- 資料類型: 電子書
-
8 0 0 0 0
Model checking software :11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
- 作者: Graf, Susanne.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書