检索条件： Margaria, Tiziana. ( 著者 )

检索结果共有4条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
责任者 Margaria, Tiziana.,Yi, Wang.

出版信息 Springer, ,2001.

ISBN 3-540-41865-2 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Margaria, Tiziana.,Yi, Wang..Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /

Margaria, Tiziana.,Yi, Wang..Springer,,2001..
2 图书 Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /
责任者 Margaria, Tiziana.,Melham, T. F.

出版信息 Springer, ,2001.

ISBN 3-540-42541-1 (pbk. : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Margaria, Tiziana.,Melham, T. F..Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /

Margaria, Tiziana.,Melham, T. F..Springer,,2001..
3 图书 Semantic Web Services Challenge: Results from the First Year /
责任者 Petrie, Charles.,Margaria, Tiziana.,Lausen, Holger.,Zaremba, Michal

出版信息 Springer US, ,2009.

ISBN 978-0-387-72495-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Petrie, Charles.,Margaria, Tiziana.,Lausen, Holger.,Zaremba, Michal.Semantic Web Services Challenge: Results from the First Year /.Springer US,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Semantic Web Services Challenge: Results from the First Year /

Petrie, Charles.,Margaria, Tiziana.,Lausen, Holger.,Zaremba, Michal.Springer US,,2009..
4 图书工业关键系统的形式化方法：应用综述
责任者涅西,马尔加里亚

出版信息机械工业出版社 ,2015

ISBN 978-7-111-48521-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
涅西,马尔加里亚.工业关键系统的形式化方法：应用综述.机械工业出版社,2015.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

工业关键系统的形式化方法：应用综述

涅西,马尔加里亚.机械工业出版社,2015.

通借成功!

预约成功!