Home Advanced Search

Advanced Search - Page 1

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: 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
Towards a Service-Based Internet. ServiceWave 2010 Workshops: International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Dana Petcu, Ciprian Crăciun, Marian Neagul, Silviu Panica, Beniamino Di Martino (auth.), Michel Cezon, Yaron Wolfsthal (eds.)
Towards a Service-Based Internet. ServiceWave 2010 Workshops: International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Dana Petcu, Ciprian Crăciun, Marian Neagul, Silviu Panica, Beniamino Di Martino (auth.), Michel Cezon, Yaron Wolfsthal (eds.)
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (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.)
Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling
  • PDF
  • English
  • Year: 2010
  • Author: Jörg Kienzle, Nicolas Guelfi, Sadaf Mustafiz (auth.), Shmuel Katz, Mira Mezini, Jörg Kienzle (eds.)
search