Your search returned 862 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
701.
Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang. by Series: Lecture Notes in Computer Science ; 4218
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.A96 G73 2006.

Place hold Add to cart
702.
Precoding Techniques for Digital Communication Systems [electronic resource] / by C.-C. Jay Kuo, Shang-Ho Tsai, Layla Tadjpour, Yu-Hao Chang. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5103.7 K86 2008.

Place hold Add to cart
703.
704.
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005. Proceedings / edited by Klaus Julisch, Christopher Kruegel. by Series: Lecture Notes in Computer Science ; 3548
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 J85 2005.

Place hold Add to cart
705.
Human-Computer Interaction. Interaction Design and Usability [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Julie A. Jacko. by Series: Lecture Notes in Computer Science ; 4550
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
706.
707.
Semantic Web Services [electronic resource] : Concepts, Technologies, and Applications / edited by Rudi Studer, Stephan Grimm, Andreas Abecker. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.88815 S78 2007.

Place hold Add to cart
708.
709.
710.
End-to-End Quality of Service Over Heterogeneous Networks [electronic resource] / by Torsten Braun, Thomas Staub, Michel Diaz, José Enríquez-Gabeiras. by
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.55 B73 2008.

Place hold Add to cart
711.
Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings / edited by Pascal Paillier, Ingrid Verbauwhede. by Series: Lecture Notes in Computer Science ; 4727
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: TK7895.E42 P35 2007.

Place hold Add to cart
712.
Social Networks and the Semantic Web [electronic resource] / by Peter Mika. by Series: Semantic Web and Beyond, Computing for Human Experience ; 5
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.88815 M54 2007.

Place hold Add to cart
713.
Security in Pervasive Computing [electronic resource] : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings / edited by Dieter Hutter, Markus Ullmann. by Series: Lecture Notes in Computer Science ; 3450
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.5915 H88 2005.

Place hold Add to cart
714.
715.
Network-Aware Security for Group Communications [electronic resource] / by Yan Sun, Wade Trappe, K. J. R. Liu. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.59 S93 2008.

Place hold Add to cart
716.
717.
718.
719.
720.
Information and Communications Security [electronic resource] : 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005. Proceedings / edited by Sihan Qing, Wenbo Mao, Javier López, Guilin Wang. by Series: Lecture Notes in Computer Science ; 3783
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 Q56 2005.

Place hold Add to cart
Pages

Powered by Koha