检索条件： Formal approaches to computing and information technology ( 任意词 )

检索结果共有47条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Constructing correct software /
责任者

出版信息

ISBN 2004050410

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Constructing correct software /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Constructing correct software /

.,.
2 图书 Adaptive software development：A Collaborative approach to managing complex systems
责任者 James A. Highsmith

出版信息 Dorset House Publishing ,2000

ISBN 0-932633-40-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
James A. Highsmith.Adaptive software development：A Collaborative approach to managing complex systems.Dorset House Publishing,2000.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Adaptive software development：A Collaborative approach to managing complex systems

James A. Highsmith.Dorset House Publishing,2000.
3 图书 Quantum information and computation for chemistry /
责任者

出版信息

ISBN 9781118495667 (hbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Quantum information and computation for chemistry /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Quantum information and computation for chemistry /

.,.
4 图书 Computing essentials complete 2012: making it work for you
责任者

出版信息

ISBN 9780073516806

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Computing essentials complete 2012: making it work for you.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computing essentials complete 2012: making it work for you

.,.
5 图书 Computational techniques for text summarization based on cognitive intelligence /
责任者 Umamaheswari, K.

出版信息 CRC Press, ,2023.

ISBN 9781032392820

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Umamaheswari, K..Computational techniques for text summarization based on cognitive intelligence /.CRC Press,,2023..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational techniques for text summarization based on cognitive intelligence /

Umamaheswari, K..CRC Press,,2023..
6 图书 Multimedia computing /
责任者 Gerald Friedland, International Computer Science Institute, Berkeley, California, Ramesh Jain, University of California, Irvine.

出版信息

ISBN 9780521764513 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Gerald Friedland, International Computer Science Institute, Berkeley, California, Ramesh Jain, University of California, Irvine..Multimedia computing /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Multimedia computing /

Gerald Friedland, International Computer Science Institute, Berkeley, California, Ramesh Jain, University of California, Irvine..,.
7 图书 Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings /
责任者

出版信息

ISBN 2001049289

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : proceedings /

.,.
8 图书 Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings /
责任者

出版信息

ISBN 2005928377

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings /

.,.
9 图书 Introduction to computational contact mechanics : a geometrical approach /
责任者 Alexander Konyukhov, Karlsruhe Institute of Technology (KIT), Germany, Ridvan Izi, Karlsruhe Institute of Technology (KIT), Germany.

出版信息

ISBN 9781118770658 (hardback) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Alexander Konyukhov, Karlsruhe Institute of Technology (KIT), Germany, Ridvan Izi, Karlsruhe Institute of Technology (KIT), Germany..Introduction to computational contact mechanics : a geometrical approach /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Introduction to computational contact mechanics : a geometrical approach /

Alexander Konyukhov, Karlsruhe Institute of Technology (KIT), Germany, Ridvan Izi, Karlsruhe Institute of Technology (KIT), Germany..,.
10 图书 Symbolic and quantitative approaches to reasoning with uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013 : proceedings /
责任者

出版信息

ISBN 9783642390906 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Symbolic and quantitative approaches to reasoning with uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Symbolic and quantitative approaches to reasoning with uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013 : proceedings /

.,.

通借成功!

预约成功!