检索条件： CAV (Conference) ( 著者 )

检索结果共有7条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 ; proceedings /
责任者 Gupta, Aarti.,Malik, Sharad.

出版信息 Springer, ,c2008.

ISBN 9783540705437 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Gupta, Aarti.,Malik, Sharad..Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 ; proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/290555;jsessionid=28E45213B6F44674290E829931CFE830
复制引文到剪贴板

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 ; proceedings /

Gupta, Aarti.,Malik, Sharad..Springer,,c2008..
2 图书 Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
责任者 Damm, Werner.,Hermanns, Holger,

出版信息 Springer, ,c2007.

ISBN 978-3-540-73367-6 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Damm, Werner.,Hermanns, Holger,.Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/259336;jsessionid=28E45213B6F44674290E829931CFE830
复制引文到剪贴板

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /

Damm, Werner.,Hermanns, Holger,.Springer,,c2007..
3 图书 Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, U.K., July 6-10, 2005 : proceedings /
责任者 Etessami, Kousha.,Rajamani, Sriram K.,

出版信息 Springer, ,c2005.

ISBN 3-540-27231-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Etessami, Kousha.,Rajamani, Sriram K.,.Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, U.K., July 6-10, 2005 : proceedings /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/218252;jsessionid=28E45213B6F44674290E829931CFE830
复制引文到剪贴板

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, U.K., July 6-10, 2005 : proceedings /

Etessami, Kousha.,Rajamani, Sriram K.,.Springer,,c2005..
4 图书 Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings /
责任者 Alur, Rajeev,,Peled, Doron,

出版信息 Springer, ,c2004.

ISBN 3-540-22342-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Alur, Rajeev,,Peled, Doron,.Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/216828;jsessionid=28E45213B6F44674290E829931CFE830
复制引文到剪贴板

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings /

Alur, Rajeev,,Peled, Doron,.Springer,,c2004..
5 图书 Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /
责任者 Hunt, Warren A.,,Somenzi, Fabio.

出版信息 Springer, ,c2003.

ISBN 3-540-40524-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hunt, Warren A.,,Somenzi, Fabio..Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/221020;jsessionid=28E45213B6F44674290E829931CFE830
复制引文到剪贴板

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /

Hunt, Warren A.,,Somenzi, Fabio..Springer,,c2003..
6 图书 Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
责任者 Comon, Hubert.,Berry, G鈋rard,,Finkel, A.

出版信息 Springer, ,2001.

ISBN 3-540-42345-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Comon, Hubert.,Berry, G鈋rard,,Finkel, A..Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/151338;jsessionid=28E45213B6F44674290E829931CFE830
复制引文到剪贴板

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /

Comon, Hubert.,Berry, G鈋rard,,Finkel, A..Springer,,2001..
7 图书 Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
责任者 Bos?nac?ki, Dragan,,Edelkamp, Stefan.

出版信息 Springer, ,c2007.

ISBN 978-3-540-73369-0 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bos?nac?ki, Dragan,,Edelkamp, Stefan..Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/261214;jsessionid=28E45213B6F44674290E829931CFE830
复制引文到剪贴板

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /

Bos?nac?ki, Dragan,,Edelkamp, Stefan..Springer,,c2007..

通借成功!

预约成功!