Logics of programs and their applications : proceedings Poznan August 23-29 1980

出版社:Berlin ; New York : Springer-Verlag, 1983.
ISBN:0387119817
出版年:1983
作者:Symposium on Logics of Programs and their Applications
资源类型:图书
细分类型:西文文献
相关推荐

Proceedings of the International Workshop ..., 23-29 May

  • 作者:International Workshop on Quantum Systems: New Trends and Methods
  • ISBN:9810220995
  • 出版社:Singapore : World Scientific, c1995.
  • 出版年:1995

Proceedings of the Congress, Moscow, USSR, 23-29 June 1968.

  • 作者:International Congress on Catalysis,
  • 出版社:Budapest : Akademiai Kiado, c1971.
  • 出版年:1971

Proceedings of the Joint Conference on Digital Methods of Measurement, 23-29 July 1969, Univ. of Ken

  • 作者:Institution of Electronic and Radio Engineers.
  • 出版社:London : IERE, 1969.
  • 出版年:1969

Proceedings of the 1979 Symposium, Aug. 23-29, 1979, Fermi National Accelerator Laboratory, Batavia,

  • 作者:International Symposium on Lepton and Photon Interactions at High Energies
  • 出版社:[S.l. : s.n.], [1979?].

New nuclear physics with advanced techniques : proceedings of the ..., Ierapetra, Greece, June 23-29

  • 作者:International Conference on New Nuclear Physics with Advanced Techniques
  • ISBN:9810208618
  • 出版社:Singapore : World Scientific, c1992.
  • 出版年:1992

Positron annihilation ICPA-10 : proceedings of the ..., May 23-29, 1994, Beijing, China

  • 作者:International Conference on Positron Annihilation
  • ISBN:0878496866
  • 出版社:Switzerland : Trans Tech Pub., 1995.
  • 出版年:1995