检索条件： Interactive systems : ( 题名 )

检索结果共有22条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Formal methods for interactive systems
责任者 Alan John Dix

出版信息 Acdemic Press ,1991

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Alan John Dix.Formal methods for interactive systems.Acdemic Press,1991.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for interactive systems

Alan John Dix.Acdemic Press,1991.
2 图书 Building interactive systems：architectures and tools
责任者 Philip Gray

出版信息 Springer ,1992

ISBN 3-540-19736-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Philip Gray.Building interactive systems：architectures and tools.Springer,1992.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Building interactive systems：architectures and tools

Philip Gray.Springer,1992.
3 图书 Physics of long-range interacting systems /
责任者 Dauxois, T.,Fanelli, D.,Ruffo, Stefano,

出版信息

ISBN 9780199581931 (hbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dauxois, T.,Fanelli, D.,Ruffo, Stefano,.Physics of long-range interacting systems /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Physics of long-range interacting systems /

Dauxois, T.,Fanelli, D.,Ruffo, Stefano,.,.
4 图书 European Computer Conference on Interactive Systems(1975 : London)：Intercative systems
责任者 European Computer Conference on Interactive Systems

出版信息 Eng., Online ,1975

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
European Computer Conference on Interactive Systems.European Computer Conference on Interactive Systems(1975 : London)：Intercative systems.Eng., Online,1975.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

European Computer Conference on Interactive Systems(1975 : London)：Intercative systems

European Computer Conference on Interactive Systems.Eng., Online,1975.
5 图书 Designing interactive systems : a comprehensive guide to HCI and interaction design /
责任者 David Benyon.

出版信息 Addison Wesley, ,2010.

ISBN 9780321435330

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
David Benyon..Designing interactive systems : a comprehensive guide to HCI and interaction design /.Addison Wesley,,2010..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Designing interactive systems : a comprehensive guide to HCI and interaction design /

David Benyon..Addison Wesley,,2010..
6 图书 Interactive systems : design, specification, and verification : 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings /
责任者 Graham, T. C. Nicholas.,Palanque, Philippe,

出版信息 Springer, ,c2008.

ISBN 9783540705680

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Graham, T. C. Nicholas.,Palanque, Philippe,.Interactive systems : design, specification, and verification : 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Interactive systems : design, specification, and verification : 15th international workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008 : proceedings /

Graham, T. C. Nicholas.,Palanque, Philippe,.Springer,,c2008..
7 图书 Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers /
责任者 Doherty, Gavin.,Blandford, Ann.

出版信息 Springer, ,c2007.

ISBN 978-3-540-69553-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Doherty, Gavin.,Blandford, Ann..Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Interactive systems : design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers /

Doherty, Gavin.,Blandford, Ann..Springer,,c2007..
8 图书 Interactive systems : design,specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 2001 : revised papers /
责任者 Johnson, Chris

出版信息 Springer, ,2001.

ISBN 3-540-42807-0 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Johnson, Chris.Interactive systems : design,specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 2001 : revised papers /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Interactive systems : design,specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 2001 : revised papers /

Johnson, Chris.Springer,,2001..
9 图书 Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000 : revised papers /
责任者 Palanque, Philippe,,Patern醥, Fabio,

出版信息 Springer, ,2001.

ISBN 3-540-41663-3

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Palanque, Philippe,,Patern醥, Fabio,.Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000 : revised papers /.Springer,,2001..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000 : revised papers /

Palanque, Philippe,,Patern醥, Fabio,.Springer,,2001..
10 图书 Long-range interacting systems : école d'été de physique des Houches, session XC, 4-29 August 2008, école thématique du CNRS /
责任者 Dauxois, T.,Ruffo, Stefano,,Cugliandolo, L. F.

出版信息 Oxford University Press, ,2010.

ISBN 9780199574629 (hbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Dauxois, T.,Ruffo, Stefano,,Cugliandolo, L. F..Long-range interacting systems : école d'été de physique des Houches, session XC, 4-29 August 2008, école thématique du CNRS /.Oxford University Press,,2010..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Long-range interacting systems : école d'été de physique des Houches, session XC, 4-29 August 2008, école thématique du CNRS /

Dauxois, T.,Ruffo, Stefano,,Cugliandolo, L. F..Oxford University Press,,2010..

通借成功!

预约成功!