Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.). by Series: Lecture notes in computer science ; 3875.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2006
Other title:
  • First International Haifa Verification Conference
  • International Haifa Verification Conference
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
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 / Michel Cezon, Yaron Wolfsthal (eds.). by Series: Lecture notes in computer science ; 6569.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha