检索条件： International Workshop on Computer aided Verification ( 任意词 )

检索结果共有11条

匹配度排行

出版/发布时间

在馆记录

检索筛选

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 图书 European Workshop on Computer Aided Systems Theory (1989 : Spain)：Computer aided systems theory--EUROCAST`89 : proceedings
责任者 Computer aided systems theory,EUROCAST 89

出版信息 Springer ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Computer aided systems theory,EUROCAST 89.European Workshop on Computer Aided Systems Theory (1989 : Spain)：Computer aided systems theory--EUROCAST`89 : proceedings.Springer,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

European Workshop on Computer Aided Systems Theory (1989 : Spain)：Computer aided systems theory--EUROCAST`89 : proceedings

Computer aided systems theory,EUROCAST 89.Springer,1990.
3 图书 International Workshop on Computer Aided Software Engineering(4th : 1990 : Irvine)：Advance Working Papers
责任者 International Workshop on Computer Aided Software Engineering

出版信息 IEEE ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
International Workshop on Computer Aided Software Engineering.International Workshop on Computer Aided Software Engineering(4th : 1990 : Irvine)：Advance Working Papers.IEEE,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

International Workshop on Computer Aided Software Engineering(4th : 1990 : Irvine)：Advance Working Papers

International Workshop on Computer Aided Software Engineering.IEEE,1990.
4 图书 International Workshoop on Computer Aided Systems Theory (3rd : 1993 : Las Palmas)：Computer aided systems theory
责任者 International Workshop on Computer Aided Systems Theory,EUROCAST`93

出版信息 Springer ,1993

ISBN 3-540-57601-0

馆藏信息

图书信息

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

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

International Workshoop on Computer Aided Systems Theory (3rd : 1993 : Las Palmas)：Computer aided systems theory

International Workshop on Computer Aided Systems Theory,EUROCAST`93.Springer,1993.
5 图书 MIT-JSME Workshop on Cooperative Development(1989 : Cambridge)：Computer aided cooperative product development
责任者 G. Goos,MIT-JSME Workshop on Cooperative Development

出版信息 Springer ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
G. Goos,MIT-JSME Workshop on Cooperative Development.MIT-JSME Workshop on Cooperative Development(1989 : Cambridge)：Computer aided cooperative product development.Springer,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

MIT-JSME Workshop on Cooperative Development(1989 : Cambridge)：Computer aided cooperative product development

G. Goos,MIT-JSME Workshop on Cooperative Development.Springer,1991.
6 图书 IFIP TC5/WG5.2 International Workshop on Computer Aided Design(3rd : 1989 : Osaka)：Intelligent CAD, III
责任者 IFIP TC5/WG5.2 International Workshop on Computer Aided Design

出版信息 North-Holland ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IFIP TC5/WG5.2 International Workshop on Computer Aided Design.IFIP TC5/WG5.2 International Workshop on Computer Aided Design(3rd : 1989 : Osaka)：Intelligent CAD, III.North-Holland,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

IFIP TC5/WG5.2 International Workshop on Computer Aided Design(3rd : 1989 : Osaka)：Intelligent CAD, III

IFIP TC5/WG5.2 International Workshop on Computer Aided Design.North-Holland,1991.
7 图书 Computer aided systems theory - EUROCAST 2005 : 10th international conference on computer aided systems theory, Las Palmas de Gran Canaria, Spain, February 7 - 11, 2005, revised selected papers /
责任者 Diaz, Roberto Moreno.

出版信息 Springer, ,2005.

ISBN 3-540-29002-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Diaz, Roberto Moreno..Computer aided systems theory - EUROCAST 2005 : 10th international conference on computer aided systems theory, Las Palmas de Gran Canaria, Spain, February 7 - 11, 2005, revised selected papers /.Springer,,2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer aided systems theory - EUROCAST 2005 : 10th international conference on computer aided systems theory, Las Palmas de Gran Canaria, Spain, February 7 - 11, 2005, revised selected papers /

Diaz, Roberto Moreno..Springer,,2005..
8 图书 IFIP TC 5/WG 5.2 Working Conference on Modeling Product Engineering (1990 : Rensselaerville)：product modeling for computer aided and manufacturing
责任者 IFIP TC 5/WG 5.2 Workshop Conference on Modeling Product Engineering

出版信息 NH ,330 p.

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
IFIP TC 5/WG 5.2 Workshop Conference on Modeling Product Engineering.IFIP TC 5/WG 5.2 Working Conference on Modeling Product Engineering (1990 : Rensselaerville)：product modeling for computer aided and manufacturing.NH,330 p..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

IFIP TC 5/WG 5.2 Working Conference on Modeling Product Engineering (1990 : Rensselaerville)：product modeling for computer aided and manufacturing

IFIP TC 5/WG 5.2 Workshop Conference on Modeling Product Engineering.NH,330 p..
9 图书 Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers /
责任者 Moreno-D鈏az, Roberto.,Buchberger, Bruno.,Freire, Jos鈋-Luis.

出版信息 Springer, ,2001.

ISBN 3-540-42959-X

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Moreno-D鈏az, Roberto.,Buchberger, Bruno.,Freire, Jos鈋-Luis..Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 ; revised papers /

Moreno-D鈏az, Roberto.,Buchberger, Bruno.,Freire, Jos鈋-Luis..Springer,,2001..
10 图书 Computer aided systems theory--EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers /
责任者 Moreno-Díaz, Roberto.,Pichler, Franz,

出版信息 Springer, ,c2003.

ISBN 3-540-20221-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Moreno-Díaz, Roberto.,Pichler, Franz,.Computer aided systems theory--EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers /.Springer,,c2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computer aided systems theory--EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003 : revised selected papers /

Moreno-Díaz, Roberto.,Pichler, Franz,.Springer,,c2003..

通借成功!

预约成功!