年 〜
年

検索結果 12 件

Service-oriented and cloud computing : first European conference, ESOCC 2012 : Bertinoro, Italy, September 19-21, 2012 : proceedings : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7592)

Service-oriented and cloud computing : first European conference, ESOCC 2012 : Bertinoro, Italy, September 19-21, 2012 : proceedings : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7592)
紙図書
Springerc2012.<M17-13-826>
国立国会図書館
  • 著者標目ESOCC 2012 (2012 : Bertinoro, Italy) De Paoli, F. (Flavio) Pimentel, Ernesto. Zavattaro, Gianluigi.

2011 ninth IEEE European conference on web services : (ECOWS 2011) : Lugano, Switzerland : 14-16 September 2011 : Sep 2011, Lugano, Switzerland.

2011 ninth IEEE European conference on web services : (ECOWS 2011) : Lugano, Switzerland : 14-16 September 2011 : Sep 2011, Lugano, Switzerland.
紙図書
IEEEc2011.<M17-12-2756>
国立国会図書館
  • 著者標目..., Switzerland) Zavattaro, Gianluigi. Schreier, Ulf. Pautasso, Cesa...

Coordination models and languages : 10th international conference, COORDINATION 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : federated DisCoTec conference : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5052)

Coordination models and languages : 10th international conference, COORDINATION 2008 : Oslo, Norway, June 4-6, 2008 : proceedings. : federated DisCoTec conference : Jun 2008, Oslo, Norway. (Lecture Notes in Computer Science ; 5052)
紙図書
Springerc2008.<M17-08-2044>
国立国会図書館
  • 著者標目Lea, Douglas. Zavattaro, Gianluigi. COORDINATION 2008 (2008 : Osl...

CONCUR 2009 -- concurrency theory : 20th international conference, CONCUR 2009 : Bologna, Italy, September 1-4, 2009 : proceedings. : CONCUR09 : Sep 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 5710)

CONCUR 2009 -- concurrency theory : 20th international conference, CONCUR 2009 : Bologna, Italy, September 1-4, 2009 : proceedings. : CONCUR09 : Sep 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 5710)
紙図書
Springerc2009.<M17-10-1709>
国立国会図書館
  • 著者標目IFIP WG 1.8. Bravetti, Mario. Zavattaro, Gianluigi. IFIP Working Group 2.2. Inter...

Formal methods for web services : 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009 : Bertinoro, Italy, June 1-6, 2009 : advanced lectures. : Jun 2009, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5569. Tutorial)

Formal methods for web services : 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009 : Bertinoro, Italy, June 1-6, 2009 : advanced lectures. : Jun 2009, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5569. Tutorial)
紙図書
Springerc2009.<M17-10-746>
国立国会図書館
  • 著者標目...adovani, Luca. Zavattaro, Gianluigi. International School on Forma...

Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures. : Jun 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5016. Tutorial)

Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures. : Jun 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5016. Tutorial)
紙図書
Springerc2008.<M17-08-1785>
国立国会図書館
  • 著者標目...erpaolo, 1950- Zavattaro, Gianluigi. International School on Forma...

Web services and formal methods : third international workshop, WS-FM 2006 : Vienna, Austria, September 8-9, 2006 : proceedings. : Sep 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 4184)

Web services and formal methods : third international workshop, WS-FM 2006 : Vienna, Austria, September 8-9, 2006 : proceedings. : Sep 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 4184)
紙図書
Springerc2006.<M17-07-178>
国立国会図書館
  • 著者標目...uel, Profesor. Zavattaro, Gianluigi. WS-FM 2006 (2006 : Vienna, Au...

Formal techniques for computer systems and business processes : European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005 : Versailles, France, September 1-3, 2005 : proceedings. : Sep 2005, Versailles, France. (Lecture Notes in Computer Science ; 3670)

Formal techniques for computer systems and business processes : European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005 : Versailles, France, September 1-3, 2005 : proceedings. : Sep 2005, Versailles, France. (Lecture Notes in Computer Science ; 3670)
紙図書
Springerc2005.<M17-06-116>
国立国会図書館
  • 著者標目... Kloul, Leïla. Zavattaro, Gianluigi. EPEW (2005 : Versailles, Fran...

CONCUR 2009 -- concurrency theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings

CONCUR 2009 -- concurrency theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings
紙図書
Mario Bravetti, Gianluigi Zavattaro (eds.)Springerc2009
全国の図書館

Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings

Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
紙図書
Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)Springerc2006
全国の図書館

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings
紙図書
Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)Springerc2005
全国の図書館

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
紙図書
Martin Steffen, Gianluigi Zavattaro (eds.)Springerc2005
全国の図書館

検索結果は以上です。