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

Temporal logic in specification : Altrincham UK April 8-10 1987 : proceedings
出版社：Berlin ; New York : Springer-Verlag, c1989.
ISBN：0387518037
出版年：1989
作者：Banieqbal,B.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Nuclear criticality safety : proceedings, April 8-10, 1980.
  • 作者：American Nuclear Society.
  • 出版社：[S.l. : s.n.], [1980?].
  • 出版年：1980
...

Proceedings of the National Aerospace Meeting, 8-10, April, 1981, Trevose, Pennsylvania.
  • 作者：Institute of Navigation.
  • 出版社：Wash., D.C. : Inst., [1981?].
  • 出版年：1981
...

Proceedings of the Colloquium on Leaky Feeder Radio Communication Systems, held on April 8-10 1974.
  • 作者：University of Surrey.
  • 出版社：Surrey, 1974.
  • 出版年：1974
...

The temporal logic of reactive and concurrent systems : specification
  • 作者：Manna,Zohar.
  • ISBN：0387976647
  • 出版社：New York : Springer-Verlag, c1992.
  • 出版年：1992
...

Quantum technologies 2024 : 8-10 April 2024, Strasbourg, France
  • 作者：Baboux,Florent,
  • ISBN：9781510673045
  • 出版社：Bellingham, Washington : SPIE, 2024.
  • 出版年：2024
...

2010 UK Workshop on Computational Intelligence (UKCI 2010) : Colchester, United Kingdom, 8-10 Septem
  • 作者：UK Workshop on Computational Intelligence
  • ISBN：9781424487745
  • 出版社：Piscataway, N.J. : IEEE, c2010.
  • 出版年：2010