检索条件： Tutorial on robotics ( 题名 )

检索结果共有17条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /
责任者 Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi.

出版信息 Springer, ,2009.

ISBN 9783642019173 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi..Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /.Springer,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /

Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi..Springer,,2009..
2 图书 Computational neuroscience : cortical dynamics : 8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 : revised lectures /
责任者 érdi, Péter.

出版信息 Springer, ,c2004.

ISBN 3-540-22566-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
érdi, Péter..Computational neuroscience : cortical dynamics : 8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 : revised lectures /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational neuroscience : cortical dynamics : 8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 : revised lectures /

érdi, Péter..Springer,,c2004..
3 图书 Lectures on concurrency and Petri nets : advances in Petri nets /
责任者 Desel, J?rg.,Reisig, Wolfgang,,Rozenberg, Grzegorz.

出版信息 Springer, ,c2004.

ISBN 3-540-22261-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Desel, J?rg.,Reisig, Wolfgang,,Rozenberg, Grzegorz..Lectures on concurrency and Petri nets : advances in Petri nets /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Lectures on concurrency and Petri nets : advances in Petri nets /

Desel, J?rg.,Reisig, Wolfgang,,Rozenberg, Grzegorz..Springer,,c2004..
4 图书 Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures /
责任者 Bove, Ana.

出版信息 Springer, ,c2009.

ISBN 9783642031526 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bove, Ana..Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures /.Springer,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures /

Bove, Ana..Springer,,c2009..
5 图书 Dynamic brain - from neural spikes to behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures /
责任者 Marinaro, M.,Scarpetta, Silvia.,Yamaguchi, Yoko.

出版信息 Springer, ,2008.

ISBN 9783540888529

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Marinaro, M.,Scarpetta, Silvia.,Yamaguchi, Yoko..Dynamic brain - from neural spikes to behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures /.Springer,,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Dynamic brain - from neural spikes to behaviors : 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures /

Marinaro, M.,Scarpetta, Silvia.,Yamaguchi, Yoko..Springer,,2008..
6 图书 Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures /
责任者 Bernardo, Marco.,Degano, Pierpaolo,,Zavattaro, Gianluigi.

出版信息 Springer, ,c2008.

ISBN 9783540688921 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bernardo, Marco.,Degano, Pierpaolo,,Zavattaro, Gianluigi..Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures /

Bernardo, Marco.,Degano, Pierpaolo,,Zavattaro, Gianluigi..Springer,,c2008..
7 图书 Reasoning web : 4th international summer school 2008, Venice, Italy, September 7-11, 2008 : tutorial lectures /
责任者 Baroglio, Cristina.

出版信息 Springer, ,2008.

ISBN 9783540856566 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Baroglio, Cristina..Reasoning web : 4th international summer school 2008, Venice, Italy, September 7-11, 2008 : tutorial lectures /.Springer,,2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Reasoning web : 4th international summer school 2008, Venice, Italy, September 7-11, 2008 : tutorial lectures /

Baroglio, Cristina..Springer,,2008..
8 图书 Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 : advanced lectures /
责任者 Bernardo, Marco.,Hillston, J.

出版信息 Springer, ,c2007.

ISBN 978-3-540-72482-7 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bernardo, Marco.,Hillston, J..Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 : advanced lectures /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 : advanced lectures /

Bernardo, Marco.,Hillston, J..Springer,,c2007..
9 图书 Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 : revised lectures /
责任者 Cavalcanti, Ana.,Sampaio, Augusto.,Woodcock, Jim.

出版信息 Springer, ,c2006.

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

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cavalcanti, Ana.,Sampaio, Augusto.,Woodcock, Jim..Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 : revised lectures /.Springer,,c2006..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 : revised lectures /

Cavalcanti, Ana.,Sampaio, Augusto.,Woodcock, Jim..Springer,,c2006..
10 图书 Reasoning web : first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures /
责任者 Eisinger, Norbert.,Maluszyński, J.

出版信息 Springer, ,c2005.

ISBN 3-540-27828-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Eisinger, Norbert.,Maluszyński, J..Reasoning web : first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures /.Springer,,c2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Reasoning web : first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures /

Eisinger, Norbert.,Maluszyński, J..Springer,,c2005..

通借成功!

预约成功!