检索条件： Giese ( 著者 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 ; reports and revised selected papers /
责任者 Giese, Holger.

出版信息 Springer, ,c2008.

ISBN 9783540690696 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Giese, Holger..Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 ; reports and revised selected papers /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 ; reports and revised selected papers /

Giese, Holger..Springer,,c2008..
2 图书 Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 ; proceedings /
责任者 Giese, Martin.,Waaler, Arild.

出版信息 Springer, ,2009.

ISBN 978-3-642-02715-4 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Giese, Martin.,Waaler, Arild..Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 ; proceedings /.Springer,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 ; proceedings /

Giese, Martin.,Waaler, Arild..Springer,,2009..
3 图书 The American Century
责任者 Giese

出版信息

ISBN 0-5384-2358-7

馆藏信息

图书信息

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

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

The American Century

Giese.,.
4 图书 Dynamic faces : insights from experiments and computation /
责任者 Curio, Cristoal,,Buthoff, Heinrich H.,Giese, Martin A.

出版信息 MIT Press, ,c2011.

ISBN 978-0-262-01453-3 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Curio, Cristoal,,Buthoff, Heinrich H.,Giese, Martin A..Dynamic faces : insights from experiments and computation /.MIT Press,,c2011..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Dynamic faces : insights from experiments and computation /

Curio, Cristoal,,Buthoff, Heinrich H.,Giese, Martin A..MIT Press,,c2011..
5 图书 Synthetic biology : character and impact /
责任者 Giese, Bernd,,Pade, Christian,,Wigger, H.,,Gleich, Arnim von,

出版信息

ISBN 9783319027821 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Giese, Bernd,,Pade, Christian,,Wigger, H.,,Gleich, Arnim von,.Synthetic biology : character and impact /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Synthetic biology : character and impact /

Giese, Bernd,,Pade, Christian,,Wigger, H.,,Gleich, Arnim von,.,.

通借成功!

预约成功!