Results
|
9761.
|
|
|
9762.
|
|
|
9763.
|
|
|
9764.
|
|
|
9765.
|
|
|
9766.
|
|
|
9767.
|
|
|
9768.
|
|
|
9769.
|
|
|
9770.
|
|
|
9771.
|
|
|
9772.
|
Applied Cryptography and Network Security [electronic resource] : 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings / edited by Steven M. Bellovin, Rosario Gennaro, Angelos Keromytis, Moti Yung. by Series: Lecture Notes in Computer Science ; 5037
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5102.94 B45 2008.
|
|
9773.
|
|
|
9774.
|
|
|
9775.
|
|
|
9776.
|
Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol. by Series: Lecture Notes in Computer Science ; 4346
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.F67 B75 2007.
|
|
9777.
|
|
|
9778.
|
|
|
9779.
|
|
|
9780.
|
|