登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
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
资源类型:
图书
细分类型:
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
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
×
访问借阅管理系统