Results
|
1.
|
Introducción a la computación y a la programación en lenguaje Basic / Oscar Richer Vela. by
Edition: 1a ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: México : Limusa, c1991
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Eléctrica (1)Call number: QA76.73.B3 R53 1987. Biblioteca de la Facultad de Ingeniería Química (2)Call number: QA76.73.B3 R53 1991, ... Items available for reference: Biblioteca de la Facultad de Ingeniería Química: Consulta (1)Call number: QA76.73.B3 R53 1991.
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
Attention and Performance in Computational Vision [electronic resource] : Second International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers / edited by Lucas Paletta, John K. Tsotsos, Erich Rome, Glyn Humphreys. by Series: Lecture Notes in Computer Science ; 3368
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1634 P35 2005.
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
Pixelization Paradigm [electronic resource] : First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers / edited by Pierre P Lévy, Bénédicte Grand, François Poulet, Michel Soto, Laszlo Darago, Laurent Toubiana, Jean-François Vibert. by Series: Lecture Notes in Computer Science ; 4370
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: TA1634 L48 2007.
|
|
14.
|
|
|
15.
|
|
|
16.
|
Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / edited by Gavin Doherty, Ann Blandford. by Series: Lecture Notes in Computer Science ; 4323
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.I58 D64 2007.
|
|
17.
|
Interactive Systems. Design, Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers / edited by Stephen W. Gilroy, Michael D. Harrison. by Series: Lecture Notes in Computer Science ; 3941
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.I58 G55 2006.
|
|
18.
|
|
|
19.
|
Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / edited by Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff. by Series: Lecture Notes in Computer Science ; 4262
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 H38 2006.
|
|
20.
|
|