Formal concept analysis : 10th International Conference ICFCA 2012 Leuven Belgium May 7-10 2012

出版社:Berlin ; New York : Springer, c2012.
ISBN:9783642298912
出版年:2012
作者:ICFCA 2012
资源类型:图书
细分类型:西文文献
相关推荐

Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012, London,

  • 作者:FORMATS 2012
  • ISBN:9783642333644
  • 出版社:Berlin ; New York : Springer, c2012.
  • 出版年:2012

Formal concept analysis : 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-1

  • 作者:ICFCA 2014
  • ISBN:9783319072470
  • 出版社:Cham : Springer, c2014.
  • 出版年:2014

Formal concept analysis : 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2

  • 作者:ICFCA 2009
  • ISBN:9783642018145
  • 出版社:Berlin ; New York : Springer, c2009.
  • 出版年:2009

2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012

  • 作者:IEEE/ACM International Conference on Formal Methods and Models for Codesign
  • ISBN:9781467313148
  • 出版社:Piscataway, N.J. : IEEE, c2012.
  • 出版年:2012

2012 10th International Conference on the Optical Internet (COIN 2012) : Kanagawa, Japan, 29-31 May

  • 作者:International Conference on the Optical Internet
  • ISBN:9781467316545
  • 出版社:Piscataway, N.J. : IEEE, c2012.
  • 出版年:2012

Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Gr

  • 作者:International Conference on Software Engineering and Formal Methods
  • ISBN:9783642338250
  • 出版社:Berlin ; New York : Springer, c2012.
  • 出版年:2012