Results
|
|
1.
|
|
|
|
|
2.
|
|
|
|
|
3.
|
|
Formal Approaches to Agent-Based Systems [electronic resource] : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff. by Series: Lecture Notes in Computer Science ; 3228
Edition: 1a ed.
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ217.5 H56 2005.
|
|
|
4.
|
|
|
|
|
5.
|
|
|
|
|
6.
|
|
Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol. by Series: Lecture Notes in Computer Science ; 4346
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.9.F67 B75 2007.
|
|
|
7.
|
|
|
|
|
8.
|
|
|
|
|
9.
|
|
|
|
|
10.
|
|
|
|
|
11.
|
|
|
|
|
12.
|
|
|
|
|
13.
|
Local cover image
|
Ingeniería del software : un enfoque práctico / Roger S. Pressman ; adaptación Darrel Ince... [et, al.] ; traducción Rafael Ojeda Martín ...[et, al.] ; revisión técnica Héctor Castán Rodríguez. by
- Pressman, Roger S
- Ince, Darrel [colaborador]
- Martínez, Óscar San Juan [colaborador]
- Lozano Quesada, Ricardo [colaborador]
- Joyanes Aguilar, Luis [colaborador]
- González González, Juana [colaborador]
- Esmoris Galán, Lorena [colaborador]
- Ojeda Martín, Rafael [traductor]
- Yagüe Galaup, Virgilio [traductor]
- Morales Jareño, Isabel [traductor]
- Sánchez Alonso, Salvador [traductor]
- Castán Rodríguez, Héctor [revisor técnico]
Edition: 5a ed.
Material type:  Text; Format:
print
; Literary form:
Not fiction
Publication details: Madrid, España : Mc Graw-Hill Interamericana de España, 2002
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Eléctrica (6)Call number: QA76.758 P74 2002, ... Not available: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas: Uso interno Biblioteca (1).
|
|
|
14.
|
|
|
|
|
15.
|
Local cover image
|
Ingeniería de software / Guillermo Pantaleo, Ludmila Rinaudo. by
Edition: 1a ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Buenos Aires, Argentina : Alfaomega Grupo Editor Argentino, 2015
Availability: Items available for loan: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas (2)Call number: QA76.758 P36 2015, ... Not available: Biblioteca de la Facultad de Contaduría y Ciencias Administrativas: Checked out (1). Biblioteca de la Facultad de Contaduría y Ciencias Administrativas: Uso interno Biblioteca (1).
|
|
|
16.
|
Local cover image
|
|
|
|
17.
|
Local cover image
|
|
|
|
18.
|
|
|
|
|
19.
|
|
|
|
|
20.
|
|
Software engineering / I. Sommerville. by
Edition: 2a ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Workingham, England : Addison-Wesley Publishing Company, c1985
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Eléctrica (1)Call number: QA76.6 S66 1985.
|