Refine your search

Your search returned 28 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.
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 Mei, Hong | 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.R47 M45 2008 (1).

3.
Embedded Systems Specification and Design Languages [electronic resource] : Selected contributions from FDL’07 / edited by Eugenio Villar.

by Villar, Eugenio | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7885.7 V55 2008 (1).

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 Prendinger, Helmut | Lester, James | Ishizuka, Mitsuru | 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.I58 P74 2008 (1).

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 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).

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 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).

7.
Rational, Robust, and Secure Negotiations in Multi-Agent Systems [electronic resource] / edited by Takayuki Ito, Hiromitsu Hattori, Minjie Zhang, Tokuro Matsuo.

by Ito, Takayuki | Hattori, Hiromitsu | Zhang, Minjie | Matsuo, Tokuro | 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.I58 I86 2008 (1).

8.
Como elegir y utilizar software educativo : guía para el profesorado / David Squires, Anne McDougall ; tr. Pablo Manzano

by Squires, David | McDougall, Anne [au.] | Manzano, Pablo [tr.].

Edition: 2a.ed.Material type: Text Text Publisher: Madrid : Morata ; La Coruña : Fundación Paideia, c2001Availability: Items available for loan: Biblioteca de la Facultad de PsicologíaCall number: LB1028.68 S68 c2001 (1).

9.
The usability engineering lifecycle : a practitioner´s handbook for user interface design / Deborah J. Mayhew , [ et al. ].

by Mayhew, Deborah J.

Edition: 1a ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: San Francisco, California : M. Kaufmann, c1999Availability: Items available for loan: Biblioteca de la Facultad de Físico MatemáticasCall number: QA76.9.U83 M39 1999 C:1 (2).

10.
Usability engineering / Jakob Nielsen

by Nielsen, Jakob.

Edition: 1a ed.Material type: Text Text Publisher: Amsterdam : Morgan Kaufmann, 1993Availability: Items available for loan: Biblioteca de la Facultad de Físico MatemáticasCall number: QA76.9.U83 N54 1993 C:1 (2).

11.
19 Deadly sins of software security : Programming flaws and how to fixed them / Michael Howard, David Leblanc, Jhon Viega

by Howard, Michael | Leblanc, David [coaut.] | Viega, Jhon [coaut.].

Edition: 1a ed.Material type: Text Text; Literary form: Essays Publisher: New York : McGraw-Hill/Osborne, 2005Availability: Items available for loan: Biblioteca de la Facultad de Físico MatemáticasCall number: QA76.9.A25 H69 2005 C:1 (2).

12.
Cracking sin secretos : ataque y defensa de software / Jakub Zemánek ; tr. Fernando Arribas Uguet

by Zemánek, Jakub | Arribas Uguet, Fernando [tr.].

Edition: 1a ed.Material type: Text Text Publisher: México, D.F. : Alfaomega : Ra-Ma, 2005Availability: Items available for loan: Biblioteca de la Facultad de Físico MatemáticasCall number: QA76.9.A25 Z46 2005 C:1 (1).

13.
Programación orientada a objetos con C++ / Fco. Javier Ceballos Sierra.

by Ceballos Sierra, Francisco Javier.

Edition: 3a ed.Material type: Text Text Publisher: México, D.F. : Alfaomega, 2004Availability: Items available for loan: Biblioteca de la Facultad de Físico MatemáticasCall number: QA76.64 C43 2004 C:1 (1), Biblioteca de la Unidad de Ciencias Ingeniería y HumanidadesCall number: QA76.64 C43 2044 (1).

14.
Optimization software guide / Jorge j. more, Stephen j. wright

by More, Jorge J | Wright, Steve J [coaut.].

Edition: 2a ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Philadelphia: Siam, 1994Availability: Items available for loan: Biblioteca de la Facultad de Físico MatemáticasCall number: QA402.5 M67 1994 C:1 (2).

15.
Cómo gestionar las relaciones con clientes clave : claves del éxito de Microsoft / Doug Dayton ; [traducción Adelaida Santapau.

by Dayton, Doug | Santapau, Adelaida [traductor].

Edition: 2a ed.Material type: Text Text; Literary form: Not fiction ; Audience: General; Publisher: Barcelona, España : Gestión 2000, 2001Availability: Items available for loan: Biblioteca de la Facultad de EconomíaCall number: HD9696.65.U64 D39 2001 (2). Items available for reference: Biblioteca de la Facultad de Economía Uso interno BibliotecaCall number: HD9696.65.U64 D39 2001 (1).

16.
Estimación de costos y administración de proyectos de software / Capers Jones ; traducción, Juan Carlos Vega Fagoaga.

by Jones, Carpers [autor] | Vega Fagoaga, Juan Carlos [traductor].

Edition: 1a ed.Material type: Text Text Publisher: México : McGraw-Hill Interamericana, 2008Availability: Items available for reference: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas ConsultaCall number: QA76.76.C73 J66 2008 (1). :

17.
Foundations of computer technology / A. John Anderson.

by Anderson, A. John [autor].

Edition: 1a ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Gran Bretaña: Chapman & Hall, c1994Availability: Items available for loan: Biblioteca de la Facultad de Contaduría y Ciencias AdministrativasCall number: TK7888.3 A53 1994 (2). Items available for reference: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas ConsultaCall number: TK7888.3 A53 1994 (1).

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 Booch, Grady | Rumbaugh, James [autor] | Jacobson, Ivar [autor] | García Molina, Jesús J [traductor y reviso técnico] | Sáez Martínez, José [traductor y reviso técnico].

Edition: 2a ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Madrid, España : Addison-Wesley, c2006Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería EléctricaCall number: QA76.76.D47 B66 2006 (2).

19.
Process assessment and ISO/IEC 15504 : A reference book / by Hans van Loon

by Loon, Hans Van, 1955-.

Edition: 2a. ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2007Availability: No items available :

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 Publisher: México : Alfaomega, 2011Availability: Items available for loan: Biblioteca de la Facultad de Contaduría y Ciencias AdministrativasCall number: QA76.76.Q75 P35 2011 (3). Items available for reference: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas ConsultaCall number: QA76.76.Q75 P35 2011 (1).

Powered by Koha