检索条件： Zavattaro, Gianluigi. ( 著者 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Coordination models and languages : 10th international conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008 : proceedings /
责任者 Lea, Douglas.,Zavattaro, Gianluigi.

出版信息 Springer, ,c2008.

ISBN 9783540682646 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Lea, Douglas.,Zavattaro, Gianluigi..Coordination models and languages : 10th international conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/292837
复制引文到剪贴板

Coordination models and languages : 10th international conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008 : proceedings /

Lea, Douglas.,Zavattaro, Gianluigi..Springer,,c2008..
2 图书 Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /
责任者 Steffen, Martin.,Zavattaro, Gianluigi.

出版信息 Springer, ,c2005.

ISBN 3-540-26181-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Steffen, Martin.,Zavattaro, Gianluigi..Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/218993
复制引文到剪贴板

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

Steffen, Martin.,Zavattaro, Gianluigi..Springer,,c2005..
3 图书 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 /
责任者 Bravetti, Mario.,Kloul, Le?la.,Zavattaro, Gianluigi.

出版信息 Springer, ,c2005.

ISBN 3-540-28701-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bravetti, Mario.,Kloul, Le?la.,Zavattaro, Gianluigi..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 /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/219755
复制引文到剪贴板

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 /

Bravetti, Mario.,Kloul, Le?la.,Zavattaro, Gianluigi..Springer,,c2005..
4 图书 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 /
责任者 Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi.

出版信息 Springer, ,2009.

ISBN 9783642019173 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi..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 /.Springer,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/292792
复制引文到剪贴板

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 /

Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi..Springer,,2009..
5 图书 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 /
责任者 Bernardo, Marco.,Degano, Pierpaolo,,Zavattaro, Gianluigi.

出版信息 Springer, ,c2008.

ISBN 9783540688921 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bernardo, Marco.,Degano, Pierpaolo,,Zavattaro, Gianluigi..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 /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/294937
复制引文到剪贴板

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 /

Bernardo, Marco.,Degano, Pierpaolo,,Zavattaro, Gianluigi..Springer,,c2008..

通借成功!

预约成功!