Refine your search

Your search returned 33 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
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 Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 U7 2006.

Place hold Add to cart
2.
High Confidence Software Reuse in Large Systems [electronic resource] : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings / edited by Hong Mei. by Series: Lecture Notes in Computer Science ; 5030
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.R47 M45 2008.

Place hold Add to cart
3.
Embedded Systems Specification and Design Languages [electronic resource] : Selected contributions from FDL’07 / edited by Eugenio Villar. by Series: Lecture Notes in Electrical Engineering ; 10
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 V55 2008.

Place hold Add to cart
4.
Intelligent Virtual Agents [electronic resource] : 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings / edited by Helmut Prendinger, James Lester, Mitsuru Ishizuka. by Series: Lecture Notes in Computer Science ; 5208
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 P74 2008.

Place hold Add to cart
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 Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 B56 2007.

Place hold Add to cart
6.
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 Series: Lecture Notes in Computer Science ; 4899
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 y67 2008.

Place hold Add to cart
7.
Rational, Robust, and Secure Negotiations in Multi-Agent Systems [electronic resource] / edited by Takayuki Ito, Hiromitsu Hattori, Minjie Zhang, Tokuro Matsuo. by Series: Studies in Computational Intelligence ; 89
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 I86 2008.

Place hold Add to cart
8.
Como elegir y utilizar software educativo : guía para el profesorado / David Squires, Anne McDougall ; tr. Pablo Manzano by Series: Pedagogía. Educación critica
Edition: 2a.ed.
Material type: Text Text
Publication details: Madrid : Morata ; La Coruña : Fundación Paideia, c2001
Availability: Items available for loan: Biblioteca de la Facultad de Psicología (1)Call number: LB1028.68 S68 c2001.

Place hold Add to cart
9.
The usability engineering lifecycle : a practitioner´s handbook for user interface design / Deborah J. Mayhew , [ et al. ]. by Series: The morgan kaufmann series in interactive technologies
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: San Francisco, California : M. Kaufmann, c1999
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (2)Call number: QA76.9.U83 M39 1999 C:1, ...

Place hold Add to cart
10.
Usability engineering / Jakob Nielsen by
Edition: 1a ed.
Material type: Text 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, ...

Place hold Add to cart
11.
19 Deadly sins of software security : Programming flaws and how to fixed them / Michael Howard, David Leblanc, Jhon Viega by
Edition: 1a ed.
Material type: Text Text; Literary form: Essays
Publication details: New York : McGraw-Hill/Osborne, 2005
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (2)Call number: QA76.9.A25 H69 2005 C:1 , ...

Place hold Add to cart
12.
Cracking sin secretos : ataque y defensa de software / Jakub Zemánek ; tr. Fernando Arribas Uguet by
Edition: 1a ed.
Material type: Text Text
Publication details: México, D.F. : Alfaomega : Ra-Ma, 2005
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (1)Call number: QA76.9.A25 Z46 2005 C:1.

Place hold Add to cart
13.
Programación orientada a objetos con C++ / Fco. Javier Ceballos Sierra. by
Edition: 3a ed.
Material type: Text 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.

Place hold Add to cart
14.
Optimization software guide / Jorge j. more, Stephen j. wright by Series: Frontiers in applied mathematics ; V.14
Edition: 2a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Philadelphia: Siam, 1994
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (2)Call number: QA402.5 M67 1994 C:1, ...

Place hold Add to cart
15.
Cómo gestionar las relaciones con clientes clave : claves del éxito de Microsoft / Doug Dayton ; [traducción Adelaida Santapau. by
Edition: 2a ed.
Material type: Text Text; Literary form: Not fiction ; Audience: General;
Publication details: Barcelona, España : Gestión 2000, 2001
Availability: Items available for loan: Biblioteca de la Facultad de Economía (2)Call number: HD9696.65.U64 D39 2001, ... Not available: Biblioteca de la Facultad de Economía: Uso interno Biblioteca (1).

Place hold Add to cart
16.
Estimación de costos y administración de proyectos de software / Capers Jones ; traducción, Juan Carlos Vega Fagoaga. by
Edition: 1a ed.
Material type: Text Text
Publication details: México : McGraw-Hill Interamericana, 2008
Availability: Items available for reference: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas: Consulta (1)Call number: QA76.76.C73 J66 2008.

Add to cart
17.
Foundations of computer technology / A. John Anderson. by
Edition: 1a ed.
Material type: Text 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.

Add to cart
18.
El lenguaje unificado de modelado : guía del usuario / Grady Booch, James Rumbaugh, Ivar Jacobson ; tr. y rev tec. Jesús J. García Molina, José Sáez Martínez. by
Edition: 2a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Madrid, España : Addison-Wesley, c2006
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Eléctrica (2)Call number: QA76.76.D47 B66 2006, ...

Place hold Add to cart
19.
Process assessment and ISO/IEC 15504 : A reference book / Hans van Loon by
Edition: 2a ed.
Material type: Text Text; Literary form: Not fiction
Publication details: New York : Springer, 2007
Availability: Items available for loan: Biblioteca del Instituto de Investigación en Metalurgia y Materiales (1)Call number: QA76.76.R44 L66 2007.

Place hold Add to cart
20.
Calidad de sistemas de información / Mario G. Piattini Velthius ... [et al].
Edition: 2a ed.
Material type: Text 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.

Place hold Add to cart
Pages

Powered by Koha