Refine your search

Your search returned 205 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
Human Interactive Proofs [electronic resource] : Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005. Proceedings / edited by Henry S. Baird, Daniel P. Lopresti. by Series: Lecture Notes in Computer Science ; 3517
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7882.P3 B35 2005.

Place hold Add to cart
42.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by Franck Cassez, Claude Jard. by Series: Lecture Notes in Computer Science ; 5215
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.9.C65 C37 2008.

Place hold Add to cart
43.
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / edited by Katinka Wolter. by Series: Lecture Notes in Computer Science ; 4748
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.9.F67 W65 2007.

Place hold Add to cart
44.
Formal Techniques for Networked and Distributed Systems – FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / edited by John Derrick, Jüri Vain. by Series: Lecture Notes in Computer Science ; 4574
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.9.F67 D47 2007.

Place hold Add to cart
45.
Computer Performance Engineering [electronic resource] : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings / edited by Nigel Thomas, Carlos Juiz. by Series: Lecture Notes in Computer Science ; 5261
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.9.E94 T46 2008.

Place hold Add to cart
46.
Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / edited by Paul Pettersson, Wang Yi. by Series: Lecture Notes in Computer Science ; 3829
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C65 P48 2005.

Place hold Add to cart
47.
Managing Information Systems Security and Privacy [electronic resource] / by Denis Trček. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 T73 2006.

Place hold Add to cart
48.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / edited by Jean-François Raskin, P. S. Thiagarajan. by Series: Lecture Notes in Computer Science ; 4763
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.9.C65 R37 2007.

Place hold Add to cart
49.
Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings / edited by Francesca Saglietti, Norbert Oster. by Series: Lecture Notes in Computer Science ; 4680
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.R44 S24 2007.

Place hold Add to cart
50.
Computer Safety, Reliability, and Security [electronic resource] : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings / edited by Michael D. Harrison, Mark-Alexander Sujan. by Series: Lecture Notes in Computer Science ; 5219
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.R44 H37 2008.

Place hold Add to cart
51.
52.
Informática básica / Eduardo Alcalde Lancharro, Miguel García López by Series: [Informática de gestión]
Edition: 2a ed.
Material type: Text Text
Publication details: Madrid : McGraw-Hill, 1994
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Civil (1)Call number: QA76 A43 1994.

Place hold Add to cart
53.
Redes de aprendizaje : guía para la enseñanza y el aprendizaje en red / Linda Harasim...[et al.]. by Series: Biblioteca de educación. Nuevas tecnologías ; 4
Edition: 1a ed.
Material type: Text Text
Publication details: Barcelona, España : Gedisa , 2000
Availability: Items available for loan: Biblioteca de la Facultad de Psicología (1)Call number: LB1025 R43 2000.

Place hold Add to cart
54.
Manual avanzado de Office 2007 / José María Delgado Cabrera by
Edition: 1a ed.
Material type: Text Text
Publication details: Madrid, España, : Anaya Multimedia, c2007
Availability: Items available for loan: Biblioteca de la Facultad de Psicología (2)Call number: HF5548.4M525 D45 c2007, ...

Place hold Add to cart
55.
Informatica Medica / Jose Negrete, Gerardo lopez by
Edition: 1a ed.
Material type: Text Text
Publication details: Mexico : Limusa, 1991
Availability: Items available for loan: Biblioteca de la Facultad de Ciencias Médicas y Biológicas (1)Call number: HH9749 N44 1991.

Place hold Add to cart
56.
57.
La jurisdicción y competencia sobre delitos cometidos a través de sistemas de cómputo e internet / Cristos Velasco San Martín by Series:
Edition: 1a ed.
Material type: Text Text
Publication details: México : Tirant lo blanch, 2012
Availability: Items available for loan: Biblioteca Campus Lázaro Cardenas (3)Call number: HV6773 V45 2012, ...

Place hold Add to cart
58.
Computación e Internet para docentes : Nuevas tecnologías de la informática y la comunicacíon / David Fernández García by
Edition: 1a ed.
Material type: Text Text
Publication details: España: Grijalbo, 2007
Availability: Items available for loan: Biblioteca de la Preparatoria José Ma. Morelos (1)Call number: Q179.97 F47 2007.

Place hold Add to cart
59.
Advanced host intrusion prevention with CSA / by Chad Sullivan, Paul Mauvais, Jeff Asher . by Series: (Cisco Press networking technology series)
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Indianapolis, Indiana : Cisco Press, 2006
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (2)Call number: QA76.9.A25 S85 2006 C:1, ...

Place hold Add to cart
60.
The universal history of Computing : From the abacus to the quantum computer / Georges Ifrah ; Translated from the French, and with notes by E. F. Harding , assisted by Sophie Wood... [et al.] by
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : John Wiley & Sons, Inc., 2001
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (3)Call number: QA76.17 I42 2001 C:1, ...

Place hold Add to cart
Pages

Powered by Koha