22nd Annual IEEE Symposium on Logic in Computer Science : Wroclaw Poland 10-14 July 2007 : proceed

出版社:Los Alamitos, Calif. : IEEE Computer Society, c2007.
ISBN:0769529089
出版年:2006
作者:IEEE Symposium on Logic in Computer Science
资源类型:图书
细分类型:西文文献
相关推荐

Algorithms - ESA 2014 : 22nd Annual European Symposium, Wroclaw, Poland, September 8-10, 2014, proce

  • 作者:ESA 2014
  • ISBN:9783662447765
  • 出版社:Heidelberg : Springer, 2014.
  • 出版年:2014

2007 22nd International Congress on Instrumentation in Aerospace Simulation Facilities : 10-14 June

  • 作者:International Congress on Instrumentation in Aerospace Simulation Facilities
  • ISBN:1424415993
  • 出版社:Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2007.
  • 出版年:2007

Proceedings : 17th annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002, Copenhagen,

  • 作者:IEEE Symposium on Logic in Computer Science
  • ISBN:0769514839
  • 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2002.
  • 出版年:2002

Computer science logic : 22nd international workshop, CSL 2008, 17th annual conference of the EACSL,

  • 作者:CSL 2008
  • ISBN:9783540875307
  • 出版社:Berlin ; New York : Springer, c2008.
  • 出版年:2008

17th Annual IEEE Symposium on Logic in Computer Science : 22-25 July, 2002, Copenhagen, Denmark, hel

  • 作者:IEEE Symposium on Logic in Computer Science
  • ISBN:0769514839
  • 出版社:Los Alamitos, California : IEEE Computer Society, c2002.
  • 出版年:2002

22nd annual Symposium on Foundations of Computer Science, Oct. 28-30, 1981.

  • 作者:IEEE Computer Society''s Technical Committee on Mathematical Foundations of Computer Science.
  • 出版社:New York : The Institute, 1981.
  • 出版年:1981