Home Advanced Search

Advanced Search - Page 1

Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Thomas Tuerk, Klaus Schneider, Mike Gordon (auth.), Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Thomas Tuerk, Klaus Schneider, Mike Gordon (auth.), Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised ... / Programming and Software Engineering)
  • PDF
  • English
  • Year: 2007
  • Author: Eyal Bin, Avi Ziv, Shmuel Ur
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Shady Copty, Itai Jaeger, Yoav Katz (auth.), Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.)
Combinatorial and Graph-Theoretical Problems in Linear Algebra
  • PDF
  • English
  • Year: 1993
  • Author: Mike Boyle (auth.), Richard A. Brualdi, Shmuel Friedland, Victor Klee (eds.)
Complex Algebraic Varieties: Proceedings of a Conference held in Bayreuth, Germany, April 2–6, 1990
  • DJVU
  • English
  • Year: 1992
  • Author: Arnaud Beauville (auth.), Klaus Hulek, Thomas Peternell, Michael Schneider, Frank-Olaf Schreyer (eds.)
Euro-Par 2008 – Parallel Processing: 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Marios Dikaiakos, Omer Rana, Shmuel Ur, Joao Lourenço (auth.), Emilio Luque, Tomà s Margalef, Domingo Benítez (eds.)
search