Your search returned 584 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
81.
82.
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel. by Series: Lecture Notes in Computer Science ; 4937
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: TK5105.88813 D86 2008.

Place hold Add to cart
83.
Advances in Cryptology – EUROCRYPT 2008 [electronic resource] : 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings / edited by Nigel Smart. by Series: Lecture Notes in Computer Science ; 4965
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.A25 S63 2008.

Place hold Add to cart
84.
Cooperative Information Agents XII [electronic resource] : 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008. Proceedings / edited by Matthias Klusch, Michal Pěchouček, Axel Polleres. by Series: Lecture Notes in Computer Science ; 5180
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.I58 K58 2008.

Place hold Add to cart
85.
86.
Progress in WWW Research and Development [electronic resource] : 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings / edited by Yanchun Zhang, Ge Yu, Elisa Bertino, Guandong Xu. by Series: Lecture Notes in Computer Science ; 4976
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.D35 Z43 2008.

Place hold Add to cart
87.
Secure Transaction Protocol Analysis [electronic resource] : Models and Applications / by Qingfeng Chen, Chengqi Zhang, Shichao Zhang. by Series: Lecture Notes in Computer Science ; 5111
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: TK5105.59 C46 2008 .

Place hold Add to cart
88.
Advances in Neural Networks – ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II / edited by Jun Wang, Xiao-Feng Liao, Zhang Yi. by Series: Lecture Notes in Computer Science ; 3497
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.87 W364 2005.

Place hold Add to cart
89.
Advances in Image and Video Technology [electronic resource] : First Pacific Rim Symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006. Proceedings / edited by Long-Wen Chang, Wen-Nung Lie. by Series: Lecture Notes in Computer Science ; 4319
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: TK8315 C36 2006.

Place hold Add to cart
90.
91.
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III / edited by Julie A. Jacko. by Series: Lecture Notes in Computer Science ; 4552
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.H85 J35 2007.

Place hold Add to cart
92.
Data Warehousing and Knowledge Discovery [electronic resource] : 7th International Conference, DaWaK 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings / edited by A Min Tjoa, Juan Trujillo. by Series: Lecture Notes in Computer Science ; 3589
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.D37 T56 2005.

Place hold Add to cart
93.
Electronic Government [electronic resource] : 7th International Conference, EGOV 2008, Turin, Italy, August 31 - September 5, 2008. Proceedings / edited by Maria A. Wimmer, Hans J. Scholl, Enrico Ferro. by Series: Lecture Notes in Computer Science ; 5184
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: JF1525.A8 W56 2008.

Place hold Add to cart
94.
Engineering Self-Organising Systems [electronic resource] : Methodologies and Applications / edited by Sven A. Brueckner, Giovanna Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal. by Series: Lecture Notes in Computer Science ; 3464
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: Q325 B78 2005.

Place hold Add to cart
95.
96.
Advances in Wireless Ad Hoc and Sensor Networks [electronic resource] / edited by Deying Li, Maggie Xiaoyan Cheng. by Series: Signals and Communication Technology
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7872.D48 L93 2008.

Place hold Add to cart
97.
98.
Information Systems Security [electronic resource] : Third International Conference, ICISS 2007, Delhi, India, December 16-20, 2007. Proceedings / edited by Patrick McDaniel, Shyam K. Gupta. by Series: Lecture Notes in Computer Science ; 4812
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 M33 2007.

Place hold Add to cart
99.
Do-All Computing in Distributed Systems [electronic resource] : Cooperation in the Presence of Adversity / by Chryssis Georgiou, Alexander A. Shvartsman. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 G46 2008.

Place hold Add to cart
100.
Pages

Powered by Koha