2010 Ninth International Workshop on Parallel and Distributed Methods in VerifiCation and Second In

出版社:Piscataway, N.J. : IEEE, c2010.
ISBN:9781424487530
出版年:2010
作者:International Workshop on Parallel and Distributed Methods in VerifiCation
资源类型:图书
细分类型:西文文献
相关推荐

2010 Ninth International Symposium on Parallel and Distributed Computing (ISPDC 2010) : Istanbul, Tu

  • 作者:International Symposium on Parallel and Distributed Computing
  • ISBN:9781424476022
  • 出版社:Piscataway, N.J. : IEEE Computer Society, c2010.
  • 出版年:2010

Parallel and distributed processing : proceedings of the Second Workshop on Parallel and Distributed

  • 作者:Workshop on Parallel and Distributed Processing
  • ISBN:0444888683
  • 出版社:Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada
  • 出版年:1991

Second Euromicro Workshop on Parallel and Distributed Processing

  • 作者:Werner,Robert
  • ISBN:0818653701
  • 出版社:Los Alamitos: IEEE Computer Society Press, 1994.
  • 出版年:1994

2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications Wor

  • 作者:International Symposium on Parallel and Distributed Processing with Applications Workshops
  • ISBN:9781457705243
  • 出版社:Piscataway, NJ : IEEE, c2011.
  • 出版年:2011

2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications (IS

  • 作者:ISPA 2011
  • ISBN:9781457703911
  • 出版社:Piscataway, N.J. : IEEE, c2011.
  • 出版年:2011

Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies

  • 作者:International Conference on Parallel and Distributed Computing,Applications and Technologies
  • ISBN:9781424436606
  • 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2008.
  • 出版年:2008