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 Series: Lecture Notes in Computer Science ; 3875
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 U7 2006.
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
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 Series: Lecture Notes in Computer Science ; 4383
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 B56 2007.
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
Usability engineering / Jakob Nielsen by
Edition: 1a ed.
Material type: Text
Publication details: Amsterdam : Morgan Kaufmann, 1993
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (2)Call number: QA76.9.U83 N54 1993 C:1, ...
|
|
11.
|
|
|
12.
|
|
|
13.
|
Programación orientada a objetos con C++ / Fco. Javier Ceballos Sierra. by
Edition: 3a ed.
Material type: Text
Publication details: México, D.F. : Alfaomega, 2004
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (1)Call number: QA76.64 C43 2004 C:1. Biblioteca de la Unidad de Ciencias Ingeniería y Humanidades (1)Call number: QA76.64 C43 2044.
|
|
14.
|
|
|
15.
|
|
|
16.
|
|
|
17.
|
Foundations of computer technology / A. John Anderson. by
Edition: 1a ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Gran Bretaña: Chapman & Hall, c1994
Availability: Items available for reference: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas: Consulta (1)Call number: TK7888.3 A53 1994.
|
|
18.
|
|
|
19.
|
|
|
20.
|
Calidad de sistemas de información / Mario G. Piattini Velthius ... [et al].
Edition: 2a ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: México : Alfaomega, 2011
Availability: Items available for loan: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas (3)Call number: QA76.76.Q75 P35 2011, ... Items available for reference: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas: Consulta (1)Call number: QA76.76.Q75 P35 2011.
|