21. Modern cryptology : a tutorial

by Brassard, Gilles.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1988Availability: Items available for loan: [Call number: 004 BRA] (1).
22. Composition of Secure Multi-Party Protocols : Comprehensive Study

by Lindell, Yehuda.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIN] (1).
23. Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings

by Saraswat, Vijay A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1).
24. Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday

by Paun, Gheorghe | Jonoska, Natasa | Rozenberg, Grzegorz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 511.3 JON] (1).
25. Languages : From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of his 65th Birthday

by Grumberg, Orna.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 004 GRU] (1).
26. Information systems security : 6th international conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. proceedings

by Mathuria, Anish | Jha, Somesh.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004 MAT] (2).
27. Membrane Computing : International Workshop, WMC 2003 : Tarragona, Spain, July, 2003 : revised papers

by Martin-Vide, Carlos | Mauri, Giancarlo | Paun, Gheorghe | Saloma, Arto.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MAR] (1).
28. Power Aware Computer Systems : First International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers

by Falsafi, B | Vijaykumar, T. N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 004 FAL] (1).
29. Formal and natural computing : essays dedicated to Grzegorz Rozenberg

by Brauer, Wilfri.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 BRA] (1).
30. Computer Security – ESORICS 2003: 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003. Proceedings

by Snekkenes, Einar | Gollmann, Dieter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SNE] (1).

Powered by Koha