检索条件： Computer aided verification : ( 题名 )

检索结果共有9条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 International Workshop on Computer Aided Verification (3rd : 1991 : Aalbory)：Computer aided verification
责任者 International Workshop on Computer aided Verification

出版信息 Springer ,1992

ISBN 3-540-55179-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Workshop on Computer aided Verification.International Workshop on Computer Aided Verification (3rd : 1991 : Aalbory)：Computer aided verification.Springer,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Workshop on Computer Aided Verification (3rd : 1991 : Aalbory)：Computer aided verification

International Workshop on Computer aided Verification.Springer,1992.
2 图书 Workshop on Computer-Aided Verification(2nd : 1990 : UAS)：Computer-aided verification
责任者 Workshop on Computer-Aided Verification

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Workshop on Computer-Aided Verification.Workshop on Computer-Aided Verification(2nd : 1990 : UAS)：Computer-aided verification.Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Workshop on Computer-Aided Verification(2nd : 1990 : UAS)：Computer-aided verification

Workshop on Computer-Aided Verification.Springer,1991.
3 图书 Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
责任者 Brinksma, Ed.,Larsen, K. G.

出版信息 Springer, ,c2002.

ISBN 3-540-43997-8 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Brinksma, Ed.,Larsen, K. G..Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /

Brinksma, Ed.,Larsen, K. G..Springer,,c2002..
4 图书 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
复制引文到剪贴板

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

Damm, Werner.,Hermanns, Holger,.Springer,,c2007..
5 图书 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
复制引文到剪贴板

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

Comon, Hubert.,Berry, G鈋rard,,Finkel, A..Springer,,2001..
6 图书 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
复制引文到剪贴板

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

Gupta, Aarti.,Malik, Sharad..Springer,,c2008..
7 图书 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
复制引文到剪贴板

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

Etessami, Kousha.,Rajamani, Sriram K.,.Springer,,c2005..
8 图书 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
复制引文到剪贴板

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

Alur, Rajeev,,Peled, Doron,.Springer,,c2004..
9 图书 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
复制引文到剪贴板

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

Hunt, Warren A.,,Somenzi, Fabio..Springer,,c2003..

通借成功!

预约成功!