查詢 text:Analyse de systèmes Congrès. ，共 4 筆
查詢再細分
-
- 語言
- 英語(4)
-
- 作者
- Castell, Adrian M.(1)
- Giorgini, Paolo.(1)
- Jensen, K.(1)
- Müller, Jörg P.,(1)
- Odell, James J.(1)
- Podelski, Andreas.(1)
- Walukiewicz, Igor.(1)
-
- 資料類型
- 電子書(4)
-
5 0 0 0 0Synergy matters :working with systems in the 21st century
- 作者: Castell, Adrian M.
- 出版: New York : Kluwer Academic ©1999.
- 資料類型: 電子書
-
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
Agent-oriented software engineering IV :4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papers
- 作者: Giorgini, Paolo.
- 出版: 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.
- 資料類型: 電子書