Refine your search

Your search returned 697 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
22.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe, Frank S. Boer. by Series: Lecture Notes in Computer Science ; 5051
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.D5 B37 2008.

Place hold Add to cart
23.
Formal Correctness of Security Protocols [electronic resource] : With 62 Figures and 4 Tables / by Giampaolo Bella. by Series: Information Security and Cryptography, Texts and Monographs
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: TK5105.59 B45 2007.

Place hold Add to cart
24.
25.
Computer Security – ESORICS 2005 [electronic resource] : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings / edited by Sabrina de Capitani Vimercati, Paul Syverson, Dieter Gollmann. by Series: Lecture Notes in Computer Science ; 3679
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.A25 V56 2005.

Place hold Add to cart
26.
Computer Security – ESORICS 2007 [electronic resource] : 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings / edited by Joachim Biskup, Javier López. by Series: Lecture Notes in Computer Science ; 4734
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.A25 B57 2007.

Place hold Add to cart
27.
AsiaSim 2007 [electronic resource] : Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007. Proceedings / edited by Jin-Woo Park, Tag- Gon Kim, Yun-Bae Kim. by Series: Communications in Computer and Information Science ; 5
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C65 P37 2007.

Place hold Add to cart
28.
Handbook on Architectures of Information Systems [electronic resource] / edited by Peter Bernus, Kai Mertins, Günter Schmidt. by Series: International Handbooks on Information Systems
Edition: 2a 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.A73 B47 2006.

Place hold Add to cart
29.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Roberto Gorrieri, Heike Wehrheim. by Series: Lecture Notes in Computer Science ; 4037
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.D5 G67 2006.

Place hold Add to cart
30.
31.
Formal Techniques for Networked and Distributed Systems - FORTE 2005 [electronic resource] : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings / edited by Farn Wang. by Series: Lecture Notes in Computer Science ; 3731
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 F67 W36 2005.

Place hold Add to cart
32.
Management of Convergence Networks and Services [electronic resource] : 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006 Busan, Korea, September 27-29, 2006 Proceedings / edited by Young-Tak Kim, Makoto Takano. by Series: Lecture Notes in Computer Science ; 4238
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: TK5105.5 K56 2006.

Place hold Add to cart
33.
Computer Viruses and Malware [electronic resource] / by John Aycock. by Series: Advances in Information Security ; 22
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C68 A93 2006.

Place hold Add to cart
34.
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
35.
36.
Distributed Services with OpenAFS [electronic resource] : for Enterprise and Education / by Franco Milicchio, Wolfgang A. Gehrke. by
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.D5 M55 2007.

Place hold Add to cart
37.
Optimized ASIP Synthesis from Architecture Description Language Models [electronic resource] / by Oliver Schliebusch, Heinrich Meyr, Rainer Leupers. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA7688 S35 2007.

Place hold Add to cart
38.
Computer Safety, Reliability, and Security [electronic resource] : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings / edited by Rune Winther, Bjørn Axel Gran, Gustav Dahll. by Series: Lecture Notes in Computer Science ; 3688
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.76.R44 W56 2005.

Place hold Add to cart
39.
Managing Next Generation Networks and Services [electronic resource] : 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007. Proceedings / edited by Shingo Ata, Choong Seon Hong. by Series: Lecture Notes in Computer Science ; 4773
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: TK5105.5 A83 2007.

Place hold Add to cart
40.
Java : cómo programar / P. J. Deitel, H. M. Deitel ; tr. Alfonso Vidal Romero Elizondo ; rev. tec. Gabriela Azucena Campos García. by
Edition: 7a ed.
Material type: Text Text
Publication details: México : Pearson, educación, 2008
Other title:
Availability: Items available for loan: Biblioteca de la Unidad de Ciencias Ingeniería y Humanidades (1)Call number: QA76 .73 .J38 D45 2008.

Place hold Add to cart
Pages

Powered by Koha