登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Formal methods for safety and security : case studies for aerospace applications
出版社:
Singapore : Springer, 2018.
ISBN:
9789811041204
出版年:
2018
作者:
Nanda,Manju.
资源类型:
图书
细分类型:
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
Geophysical methods : fundamentals, applications, and case studies
作者:
Mishra,O. P.,
ISBN:
9781032599298
出版社:
Boca Raton, FL : CRC Press, 2025.
出版年:
2025
Biosurveillance : methods and case studies
作者:
Kass-Hout,Taha.
ISBN:
9781439800461
出版社:
Boca Raton : Chapman & Hall/CRC, c2011.
出版年:
2011
Modern formal methods and applications
作者:
Gabbar,Hossam A.
ISBN:
1402042221
出版社:
Dordrecht : Springer, c2006.
出版年:
2006
Program evaluation : methods and case studies
作者:
Posavac,Emil J.
ISBN:
013730367X
出版社:
Englewood Cliffs, N.J. : Prentice Hall, c1989.
出版年:
1989
Program evaluation : methods and case studies
作者:
Posavac,Emil J.
ISBN:
013730367X 8.80
出版社:
Englewood Cliffs, N.J. : Prentice Hall, c1989.
出版年:
1989
Applications of palaeontology : techniques and case studies
作者:
Jones,Robert Wynn.
ISBN:
9781107005235
出版社:
Cambridge, UK ; New York : Cambridge University Press, 2011.
出版年:
2011
×
访问借阅管理系统