检索条件： Formal methods for mobile computing : ( 题名 )

检索结果共有11条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures /
责任者 Bernardo, Marco.,Bogliolo, Alessandro.

出版信息 Springer, ,c2005.

ISBN 3-540-25697-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bernardo, Marco.,Bogliolo, Alessandro..Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures /

Bernardo, Marco.,Bogliolo, Alessandro..Springer,,c2005..
2 图书 Bayesian prediction and adaptive sampling algorithms for mobile sensor networks : online environmental field reconstruction in space and time /
责任者 Choi, Jongeun

出版信息 Springer Berlin Heidelberg, ,2016.

ISBN 9783319219202 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Choi, Jongeun.Bayesian prediction and adaptive sampling algorithms for mobile sensor networks : online environmental field reconstruction in space and time /.Springer Berlin Heidelberg,,2016..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Bayesian prediction and adaptive sampling algorithms for mobile sensor networks : online environmental field reconstruction in space and time /

Choi, Jongeun.Springer Berlin Heidelberg,,2016..
3 图书 Mobile robotics : mathematics, models and methods /
责任者 Alonzo Kelly, Carnegie Mellon University.

出版信息

ISBN 9781107031159 (hardback) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Alonzo Kelly, Carnegie Mellon University..Mobile robotics : mathematics, models and methods /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Mobile robotics : mathematics, models and methods /

Alonzo Kelly, Carnegie Mellon University..,.
4 图书 Speech processing in mobile environments /
责任者 K. Sreenivasa Rao, Anil Kumar Vuppala.

出版信息

ISBN 9783319031156

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
K. Sreenivasa Rao, Anil Kumar Vuppala..Speech processing in mobile environments /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Speech processing in mobile environments /

K. Sreenivasa Rao, Anil Kumar Vuppala..,.
5 图书 Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /
责任者 edited by Christiano Braga, Narciso Mart-Oliet.

出版信息

ISBN 9783319150741 (pbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
edited by Christiano Braga, Narciso Mart-Oliet..Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Macei, AL, Brazil, September 29-October 1, 2014, Proceedings /

edited by Christiano Braga, Narciso Mart-Oliet..,.
6 图书 Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /
责任者 Nú?ez, Manuel.

出版信息 Springer, ,c2004.

ISBN 3-540-23169-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Nú?ez, Manuel..Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /

Nú?ez, Manuel..Springer,,c2004..
7 图书 Robust speaker recognition in noisy environments /
责任者 Sarkar, Sourjya.

出版信息 Springer, ,c2014.

ISBN 9783319071299

馆藏信息

图书信息

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

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

Robust speaker recognition in noisy environments /

Sarkar, Sourjya..Springer,,c2014..
8 图书 Complex systems, smart territories and mobility /
责任者 Sajous, Patricia,,Bertelle, C.

出版信息 Springer, ,[2021]

ISBN 9783030593018

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Sajous, Patricia,,Bertelle, C..Complex systems, smart territories and mobility /.Springer,,[2021].
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Complex systems, smart territories and mobility /

Sajous, Patricia,,Bertelle, C..Springer,,[2021].
9 图书 Agent-oriented software engineering XIII : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012 : revised selected papers /
责任者 J？rg P. Müller, Massimo Cossentino (eds.).

出版信息 Springer, ,2013.

ISBN 9783642398650 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
J？rg P. Müller, Massimo Cossentino (eds.)..Agent-oriented software engineering XIII : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012 : revised selected papers /.Springer,,2013..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Agent-oriented software engineering XIII : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012 : revised selected papers /

J？rg P. Müller, Massimo Cossentino (eds.)..Springer,,2013..
10 图书 Digital anatomy : applications of virtual, mixed and augmented reality /
责任者 Uhl, Jean-Francois,,Jorge, J. A.,Lopes, Daniel Simues,,Campos, Pedro F.,

出版信息 Springer, ,2021.

ISBN 9783030619046

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Uhl, Jean-Francois,,Jorge, J. A.,Lopes, Daniel Simues,,Campos, Pedro F.,.Digital anatomy : applications of virtual, mixed and augmented reality /.Springer,,2021..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Digital anatomy : applications of virtual, mixed and augmented reality /

Uhl, Jean-Francois,,Jorge, J. A.,Lopes, Daniel Simues,,Campos, Pedro F.,.Springer,,2021..

通借成功!

预约成功!