检索条件： PRICAI 2002 : ( 题名 )

检索结果共有9022条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 PRICAI 2002 : trends in artificial intelligence : 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002 : proceedings /
责任者 Ishizuka, Mitsuru,,Sattar, Abdul,

出版信息 Springer, ,c2002.

ISBN 3-540-44038-0 (pbk. : acid-free paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ishizuka, Mitsuru,,Sattar, Abdul,.PRICAI 2002 : trends in artificial intelligence : 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

PRICAI 2002 : trends in artificial intelligence : 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002 : proceedings /

Ishizuka, Mitsuru,,Sattar, Abdul,.Springer,,c2002..
2 图书中国统计摘要——2002
责任者国家统计局编

出版信息中国统计出版社 ,2002

ISBN 7503737395

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
国家统计局编.中国统计摘要——2002.中国统计出版社,2002.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

中国统计摘要——2002

国家统计局编.中国统计出版社,2002.
3 图书湖南教育年鉴．2002
责任者张学军

出版信息湖南省教育厅 ,2002

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
张学军.湖南教育年鉴．2002.湖南省教育厅,2002.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

湖南教育年鉴．2002

张学军.湖南省教育厅,2002.
4 图书 Verification, model checking and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 2002 : proceedings /
责任者 Cortesi, Agostino,

出版信息 Springer, ,2002.

ISBN 3-540-43631-6 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cortesi, Agostino,.Verification, model checking and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Verification, model checking and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 2002 : proceedings /

Cortesi, Agostino,.Springer,,2002..
5 图书 Object-oriented technology : ECOOP 2002 workshop reader : ECOOP 2002 workshops and posters, Málaga, Spain, June 2002 : proceedings /
责任者 Hernández, Juan.,Moreira, Ana M. D.

出版信息 Springer, ,2002.

ISBN 3-540-00233-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hernández, Juan.,Moreira, Ana M. D..Object-oriented technology : ECOOP 2002 workshop reader : ECOOP 2002 workshops and posters, Málaga, Spain, June 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Object-oriented technology : ECOOP 2002 workshop reader : ECOOP 2002 workshops and posters, Málaga, Spain, June 2002 : proceedings /

Hernández, Juan.,Moreira, Ana M. D..Springer,,2002..
6 图书 2002科学发展报告
责任者中国科学院

出版信息科学出版社 ,2002

ISBN 7-03-010122-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
中国科学院.2002科学发展报告.科学出版社,2002.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

2002科学发展报告

中国科学院.科学出版社,2002.
7 图书 Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings /
责任者 Katoen, Joost-Pieter.,Stevens, Perdita.

出版信息 Springer, ,2002.

ISBN 3-540-43419-4 (softcover : alk. paper)

馆藏信息

图书信息

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

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

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings /

Katoen, Joost-Pieter.,Stevens, Perdita..Springer,,2002..
8 图书 Compiler construction : 11th international conference, CC 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
责任者 Horspool, R. Nigel,

出版信息 Springer, ,2002.

ISBN 3-540-43369-4 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Horspool, R. Nigel,.Compiler construction : 11th international conference, CC 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Compiler construction : 11th international conference, CC 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /

Horspool, R. Nigel,.Springer,,2002..
9 图书 Soft-ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, North Ireland, April 2002 : proceedings /
责任者 Bustard, David,,Liu, Weiru,,Sterritt, Roy,

出版信息 Springer, ,2002.

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

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bustard, David,,Liu, Weiru,,Sterritt, Roy,.Soft-ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, North Ireland, April 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Soft-ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, North Ireland, April 2002 : proceedings /

Bustard, David,,Liu, Weiru,,Sterritt, Roy,.Springer,,2002..
10 图书 Applications of evolutionary computing : Evo Workshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN, Kinsale, Ireland, April 2002 : proceedings /
责任者 Cagnoni, Stefano,

出版信息 Springer, ,2002.

ISBN 3-540-43432-1 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cagnoni, Stefano,.Applications of evolutionary computing : Evo Workshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN, Kinsale, Ireland, April 2002 : proceedings /.Springer,,2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Applications of evolutionary computing : Evo Workshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN, Kinsale, Ireland, April 2002 : proceedings /

Cagnoni, Stefano,.Springer,,2002..

通借成功!

预约成功!