年 〜
年

検索結果 9 件

Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference, FORTE 2014 : held as part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014 : Berlin, Germany, June 3-5, 2014 : proceedings : joint FMOODS/FORTE conference : Jun 2014, Berlin, Germany. (Lecture Notes in Computer Science ; 8461)

Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference, FORTE 2014 : held as part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014 : Berlin, Germany, June 3-5, 2014 : proceedings : joint FMOODS/FORTE conference : Jun 2014, Berlin, Germany. (Lecture Notes in Computer Science ; 8461)
紙図書
Springer[2014]<M17-15-1286>
国立国会図書館
  • 著者標目...rahám, Erika. Palamidessi, Catuscia. Technische Universitat Berli...

Trustworthy global computing : 7th international symposium, TGC 2012 : Newcastle upon Tyne, UK, September 7-8, 2012 : revised selected papers : Sep 2012, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 8191)

Trustworthy global computing : 7th international symposium, TGC 2012 : Newcastle upon Tyne, UK, September 7-8, 2012 : revised selected papers : Sep 2012, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 8191)
紙図書
Springerc2013.<M17-14-726>
国立国会図書館
  • 著者標目TGC 2012 (2012 : Newcastle upon Tyne, England) Palamidessi, Catuscia. Ryan, Mark, 1962-

Theory of security and applications : joint workshop, TOSCA 2011 : Saarbrücken, Germany, March 31-April 1, 2011 : revised selected papers : meeting on the theory of security and applications : Mar 2011, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 6993)

Theory of security and applications : joint workshop, TOSCA 2011 : Saarbrücken, Germany, March 31-April 1, 2011 : revised selected papers : meeting on the theory of security and applications : Mar 2011, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 6993)
紙図書
Springerc2012.<M17-12-2114>
国立国会図書館
  • 著者標目...im, Sebastian. Palamidessi, Catuscia.

Logic programming : 19th international conference, ICLP 2003 : Mumbai, India, December 9-13, 2003 : proceedings. : Dec 2003, Mumbai, India. (Lecture Notes in Computer Science ; 2916)

Logic programming : 19th international conference, ICLP 2003 : Mumbai, India, December 9-13, 2003 : proceedings. : Dec 2003, Mumbai, India. (Lecture Notes in Computer Science ; 2916)
紙図書
Springer-Verlagc2003.<M17-04-2422>
国立国会図書館
  • 著者標目...ntal Research. Palamidessi, Catuscia. ICLP 2003 (19th 2003 : Mumba...

Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31-April 1, 2011 : revised selected papers

Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31-April 1, 2011 : revised selected papers
紙図書
Sebastian Mödersheim, Catuscia Palamidessi (eds.)Springerc2012
全国の図書館
  • 著者標目TOSCA Mödersheim, Sabastian Palamidessi, Catuscia

Automata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 : proceedings

Automata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 : proceedings
紙図書
Luís Caires ... [et al.] (eds.)Springerc2005
全国の図書館
  • 著者標目...Monteiro, Luís Palamidessi, Catuscia Yung, Moti

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
紙図書
Catuscia Palamidessi (ed.)Springerc2003
全国の図書館
  • 著者標目International Conference on Logic Programming Palamidessi, Catuscia

CONCUR 2000 - concurrency theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 : proceedings

CONCUR 2000 - concurrency theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 : proceedings
紙図書
Catuscia Palamidessi (ed.)Springerc2000
全国の図書館
  • 著者標目International Conference on Concurrency Theory Palamidessi, Catuscia

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

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
紙図書
Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)Springerc1998
全国の図書館
  • 著者標目International Symposium, PLILP Palamidessi, Catuscia Glaser, Hugh Meinke, Karl

検索結果は以上です。