查詢 text:Logiciels Congrès. ，共 35 筆
查詢再細分
-
- 語言
- 英語(35)
-
- 作者
- 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
-
- 資料類型
- 電子書(35)
-
16 0 0 0 0Software 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.
- 資料類型: 電子書
-
7 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.
- 資料類型: 電子書
-
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.
- 資料類型: 電子書
-
9 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.
- 資料類型: 電子書
-
67 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
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.
- 資料類型: 電子書
-
35 0 0 0 0
Verification, model checking, and abstract interpretation :5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
- 作者: Steffen, Bernhard.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
12 0 0 0 0
Soft computing agents :a new perspective for dynamic information systems
- 作者: Loia, Vincenzo,
- 出版: Amsterdam ;Washington, DC :Tokyo : IOS Press ;Ohmsha ©2002.
- 資料類型: 電子書
-
8 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.
- 資料類型: 電子書
-
9 0 0 0 0
Formal approaches to software testing :Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
- 作者: Petrenko, Alexandre.
- 出版: Berlin ;New York : Springer-Verlag ©2004.
- 資料類型: 電子書