Results
|
4201.
|
|
|
4202.
|
|
|
4203.
|
|
|
4204.
|
|
|
4205.
|
|
|
4206.
|
|
|
4207.
|
|
|
4208.
|
|
|
4209.
|
|
|
4210.
|
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.
|
|
4211.
|
|
|
4212.
|
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.
|
|
4213.
|
|
|
4214.
|
|
|
4215.
|
|
|
4216.
|
|
|
4217.
|
|
|
4218.
|
|
|
4219.
|
Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener. by Series: Lecture Notes in Computer Science ; 4051
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 B84 2006.
|
|
4220.
|
|