检索条件： Sangiovanni-Vincentelli, Alberto. ( 著者 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 2002 : proceedings /
责任者 Sangiovanni-Vincentelli, Alberto.,Sifakis, J.

出版信息 Springer, ,2002.

ISBN 3-540-44307-X (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Sangiovanni-Vincentelli, Alberto.,Sifakis, J..Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 2002 : proceedings /

Sangiovanni-Vincentelli, Alberto.,Sifakis, J..Springer,,2002..
2 图书 Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings /
责任者 Di Benedetto, Maria Domenica.,Sangiovanni-Vincentelli, Alberto.

出版信息 Springer, ,2001.

ISBN 3-540-41866-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Di Benedetto, Maria Domenica.,Sangiovanni-Vincentelli, Alberto..Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings /

Di Benedetto, Maria Domenica.,Sangiovanni-Vincentelli, Alberto..Springer,,2001..
3 图书基于安全需求的信息物理系统设计
责任者林忠纬,桑戈瓦尼－文森泰利

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

ISBN 978-7-111-67879-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
林忠纬,桑戈瓦尼－文森泰利.基于安全需求的信息物理系统设计.机械工业出版社,2021.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

基于安全需求的信息物理系统设计

林忠纬,桑戈瓦尼－文森泰利.机械工业出版社,2021.

通借成功!

预约成功!