检索条件： Formal methods for interactive systems ( 题名 )

检索结果共有36条

匹配度排行

出版/发布时间

在馆记录

检索筛选

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 图书 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].
3 图书 Explanation in causal inference : methods for mediation and interaction /
责任者 Tyler J. VanderWeele.

出版信息 Oxford University Press, ,[2015]

ISBN 9780199325870 (hardback) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Tyler J. VanderWeele..Explanation in causal inference : methods for mediation and interaction /.Oxford University Press,,[2015].
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Explanation in causal inference : methods for mediation and interaction /

Tyler J. VanderWeele..Oxford University Press,,[2015].
4 图书 Adaptive perspectives on human-technology interaction : methods and models for cognitive engineering and human-computer interaction /
责任者 Kirlik, Alex.

出版信息 Oxford University Press, ,2010.

ISBN 9780195374827 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Kirlik, Alex..Adaptive perspectives on human-technology interaction : methods and models for cognitive engineering and human-computer interaction /.Oxford University Press,,2010..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Adaptive perspectives on human-technology interaction : methods and models for cognitive engineering and human-computer interaction /

Kirlik, Alex..Oxford University Press,,2010..
5 图书 Computational methods for electromagnetic phenomena : electrostatics in solvation, scattering, and electron transport /
责任者 Wei Cai.

出版信息 Cambridge University Press, ,2013.

ISBN 978-1-107-02105-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Wei Cai..Computational methods for electromagnetic phenomena : electrostatics in solvation, scattering, and electron transport /.Cambridge University Press,,2013..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Computational methods for electromagnetic phenomena : electrostatics in solvation, scattering, and electron transport /

Wei Cai..Cambridge University Press,,2013..
6 图书 Interactive computer analysis methods for predicting the inelastic cyclic behaviour of structural sections
责任者 S. A. Kaba,S. A. Mahin

出版信息 Univ. of Calif ,1983

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
S. A. Kaba,S. A. Mahin.Interactive computer analysis methods for predicting the inelastic cyclic behaviour of structural sections.Univ. of Calif,1983.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Interactive computer analysis methods for predicting the inelastic cyclic behaviour of structural sections

S. A. Kaba,S. A. Mahin.Univ. of Calif,1983.
7 图书 Series expansion methods for strongly interacting lattice models /
责任者 Hamer, Christopher.,Zheng, Weihong.

出版信息 Cambridge University Press, ,2010.

ISBN 9780521143592 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hamer, Christopher.,Zheng, Weihong..Series expansion methods for strongly interacting lattice models /.Cambridge University Press,,2010..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Series expansion methods for strongly interacting lattice models /

Hamer, Christopher.,Zheng, Weihong..Cambridge University Press,,2010..
8 图书 Pedagogic roles of animations and simulations in chemistry courses /
责任者

出版信息

ISBN 2013031078

馆藏信息

图书信息

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

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

Pedagogic roles of animations and simulations in chemistry courses /

.,.
9 图书 A superintense laser-plasma interaction theory primer /
责任者 Andrea Macchi.

出版信息

ISBN 9789400761247 (pbk.)

馆藏信息

图书信息

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

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

A superintense laser-plasma interaction theory primer /

Andrea Macchi..,.
10 图书 Advanced mobility and transport engineering /
责任者 Hammadi, Slim.,Ksouri, Mekki.

出版信息 ISTE ; ,2012.

ISBN 9781848213777 (hbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Hammadi, Slim.,Ksouri, Mekki..Advanced mobility and transport engineering /.ISTE ;,2012..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Advanced mobility and transport engineering /

Hammadi, Slim.,Ksouri, Mekki..ISTE ;,2012..

通借成功!

预约成功!