登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) : June 2
出版社:
Saarbruchen, Germany : Schloss Dagstuhl, 2016.
ISBN:
9781510825338
出版年:
2016
作者:
International Conference on Formal Structures for Computation and Deduction
资源类型:
图书
细分类型:
西文文献
2浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
2016 1st Conference on Swarm Intelligence and Evolutionary Computation (CSIEC 2016) : Bam, Iran, 9-1
作者:
Conference on Swarm Intelligence and Evolutionary Computation
ISBN:
9781467387385
出版社:
Piscataway, N.J. : IEEE, 2016.
出版年:
2016
Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2
作者:
International Conference on Integrated Formal Methods
ISBN:
9783319336923
出版社:
Switzerland : Springer, 2016.
出版年:
2016
1st international conference on ...
作者:
International Conference on Optical Fiber Sensors
出版社:
London : IEE, c1983
出版年:
1983
1st International Conference on ....
作者:
International Conference on Chemistry and Biotechnology of Biologically Active Natural Products
出版社:
Sofia : Bulgarian Academy of Sciences, 1981.
出版年:
1981
2016 23rd Iranian Conference on Biomedical Engineering and 2016 1st International Iranian Conference
作者:
Iranian Conference on Biomedical Engineering
ISBN:
9781509034536
出版社:
Piscataway, N.J. : IEEE Computer Society, c2016.
出版年:
2016
IFM ''99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29
作者:
IFM ''99
ISBN:
1852331070
出版社:
London ; New York : Springer, c1999.
出版年:
1999
×
访问借阅管理系统