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
资源类型:图书
细分类型:西文文献
相关推荐

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