相关推荐

Formal system verification : state-of the-art and future trends

  • 作者:Drechsler,Rolf.
  • ISBN:9783319576831
  • 出版社:Cham, Switzerland : Springer 2018.
  • 出版年:2018

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

Inter-Basin Water Transfer : Case studies from Australia, United S tates,Canada,China,and India

  • 作者:Fereidoun Ghassemi and Ian White
  • ISBN:0521869692
  • 出版社:New York : Cambridge University Press , 2007
  • 出版年:2007

U.S. Government Research & Development Reports

  • ISBN:00999156
  • 出版社:National Technical Information Service (NTIS)
  • 出版年:1965