Zavattaro, Gianluigi.

概要

作品:	0 作品在 7 項出版品 1 種語言

書目資訊

Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: Congress on Progress and Controversies in Oncological Urology (2000:); Steffen, Martin.; Zavattaro, Gianluigi.; SpringerLink (Online service) (書目-電子資源)

Service-oriented and cloud computing = First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012 : proceedings / by: Zavattaro, Gianluigi.; Congress on Progress and Controversies in Oncological Urology (2000:); Pimentel, Ernesto.; SpringerLink (Online service); Paoli, Flavio. (書目-電子資源)

CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: Bravetti, Mario.; SpringerLink (Online service); Zavattaro, Gianluigi.; Congress on Progress and Controversies in Oncological Urology (2000:) (書目-電子資源)

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 / by: Zavattaro, Gianluigi.; Bernardo, Marco.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Padovani, Luca. (書目-電子資源)

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 / by: Bravetti, Mario.; SpringerLink (Online service); Kloul, Leila.; Zavattaro, Gianluigi.; Congress on Progress and Controversies in Oncological Urology (2000:) (書目-電子資源)

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 / by: Congress on Progress and Controversies in Oncological Urology (2000:); Bernardo, Marco.; Zavattaro, Gianluigi.; Degano, Pierpaolo, (1950-); SpringerLink (Online service) (書目-電子資源)

Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: SpringerLink (Online service); Zavattaro, Gianluigi.; Lea, Doug. (書目-電子資源)

主題