登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Formal system verification : state-of the-art and future trends
出版社：Cham, Switzerland : Springer 2018.
ISBN：9783319576831
出版年：2018
作者：Drechsler,Rolf.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Proceedings of the Twelfth State-of the-Art Program on Compound Semiconductors (SOTAPOCS XII) and th
  • 作者：Stae-of-the-Art Program on Compound Semiconductors
  • ISBN：Y21.10
  • 出版社：Pennington : Electrochemical Society, 1991.
  • 出版年：1991
...

Proceedings of the Twelfth State-of the-Art Program on Compound Semiconductors (SOTAPOCS XII) and th
  • 作者：Stae-of-the-Art Program on Compound Semiconductors
  • 出版社：Pennington : Electrochemical Society, 1991.
  • 出版年：1991
...

Robotics : state of the art and future trends
  • 作者：Legnani,Giovanni.
  • ISBN：9781621004035
  • 出版社：New York : Nova Science Publishers, c2012.
  • 出版年：2012
...

Research on urban hydrology . State-of the-art reports from Australia,Canada,U.S.S.R.United Kingdom,
  • 作者：McPherson,M.B.
  • 出版社：Paris: The UNESCO Pr., c1977.
  • 出版年：1977
...

Applied computational electromagnetics : state of the art and future trends
  • 作者：NATO Advanced Study Institute on Applied Computational Electromagnetics: State of the Art and Future
  • ISBN：354065819X
  • 出版社：Berlin ; New York : Springer, c2000.
  • 出版年：2000
...

Biopesticides : state of the art and future opportunities
  • 作者：Gross,Aaron D.
  • ISBN：9780841229983
  • 出版社：Washington, DC : American Chemical Society, 2014.
  • 出版年：2014