語系
跳至 : 概要 | 書目資訊 | 主題

Palamidessi, Catuscia.

概要
作品: 1 作品在 2 項出版品 1 種語言
書目資訊
Logic programming = 19th International Conference, ICLP 2003 Mumbai, India, December 9-13, 2003 Proceedings / by: Palamidessi, Catuscia.; SpringerLink (Online service); International conference on logic programming (2003 Dec :); Computing science (Asian conference) (2003 Dec)) (書目-語言資料,印刷品)
Concur 2000 = concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 :proceedings / by: Palamidessi, Catuscia.; SpringerLink (Online service); International Conference on Concurrency Theory (2000 :) (書目-語言資料,印刷品)
Principles of declarative programming = 10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings/ by: Glaser, Hugh.; Meinke, Karl.; Palamidessi, Catuscia.; SpringerLink (Online service); PLILP'98 ((1998 :); International Conference on Algebraic and Logic Programming (1998 :) (書目-語言資料,印刷品)
Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers / by: Palamidessi, Catuscia.; SpringerLink (Online service); Modersheim, Sebastian. (書目-電子資源)
Logic programming = 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings / by: Palamidessi, Catuscia.; NetLibrary, Inc.; International Conference on Logic Programming (2003 :) (書目-語言資料,印刷品)
 
 
變更密碼
登入