Logics of Programs Workshop Yorktown Heights New York May 1981

出版社:Berlin ; New York : Springer-Verlag, 1982.
ISBN:038711212X
出版年:1982
作者:Logics of Programs Workshop
资源类型:图书
细分类型:西文文献
相关推荐

Computational methods in band theory : proceedings of a conference held at Yorktown Heights, New Yor

  • 作者:Conference on Computational Methods in Band Theory
  • ISBN:0306305208
  • 出版社:New York : Plenum Press, 1971.
  • 出版年:1971

Logics of Programs

  • 作者:E.Clarke
  • ISBN:3540128964
  • 出版社:0000.00

Proceedings of the second annual ACM Symposium on Computational Geometry : Yorktown Heights, New Yor

  • 作者:Symposium on Computational Geometry
  • ISBN:0897911946
  • 出版社:New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : Copies from ACM Order Dept.,
  • 出版年:1986

Tetrahedrally bonded amorphous semiconductors, Yorktown Heights, 1974

  • 作者:International Conference on Tetrahedrally Bonded Amorphous Semiconductors,
  • ISBN:0883181193
  • 出版社:New York : American Institute of Physics, 1974.
  • 出版年:1974

Conference on Industry''s Role in the Development of Fusion Power, 3-6, May 1981, New York.

  • 作者:Conference on Industry''s Role in the Development of Fusion Power
  • 出版社:New York : [s.n.], [1982]
  • 出版年:1982

Beam Instrumentation Workshop 2002 : tenth workshop : Upton, New York, 6-9 May 2002

  • 作者:Beam Instrumentation Workshop
  • ISBN:0735401039
  • 出版社:Melville, N.Y. : American Institute of Physics, 2002.
  • 出版年:2002