Your search returned 4 results.

1.
Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal.

by Ur, Shmuel | Bin, Eyal | Wolfsthal, Yaron | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.V47 U7 2006 (1).

2.
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur.

by Bin, Eyal | Ziv, Avi | Ur, Shmuel | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.V47 B56 2007 (1).

3.
Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / edited by Karen Yorav.

by Yorav, Karen | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.V47 y67 2008 (1).

4.
Gran libro hardware : información sobre la totalidad del hardware, de rápido acceso / Klaus Dembowski ; ; traduccion Virginia Perez Moreno, Jose Luis Cortes, Nuria Gonzalez

by Dembowski, Klaus [autor] | Pérez Moreno, Virginia [traductor] | Cortés, José Luis [traductor] | González, Nuria [traductor].

Edition: 2a ed.Material type: Text Text Publisher: México : Marcombo, 2003Availability: Items available for loan: Biblioteca de la Facultad de Contaduría y Ciencias AdministrativasCall number: TK7885 D46 2003 (1). Items available for reference: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas ConsultaCall number: TK7885 D46 2003 (1).

Powered by Koha