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: 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.)
Weitverkehrstechnik: Nachrichtenübertragung über große Entfernungen
  • PDF
  • German
  • Year: 1991
  • Author: Klaus Kief (auth.), Wolfgang Schneider (eds.)
Kalkulation von Lifetime bzw. Reverse Mortgages: Eine kritische Analyse am Beispiel des US-amerikanischen Home Equity Conversion Mortgage (HECM)-Modells
  • PDF
  • German
  • Year: 2009
  • Author: Mike Schneider (auth.)
Microbial DNA and Host Immunity
  • PDF
  • English
  • Year: 2002
  • Author: Eyal Raz (auth.), Eyal Raz MD (eds.)
search