Koha online catalog › Results of search for 'su:"Security protocol"'

	1.	Isabelle/HOL : a Proof Assistant for Higher-Order Logic by Paulson, Lawrence C \| Nipkow, Tobias \| Wenzel, Markus \| Paulson, Lawrence C. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1). Place hold
	2.	Security protocols : 7th international workshop Cambridge, UK, April 19-21, 1999 Proceedings by Christianson, Bruce. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 CHR] (1). Place hold
	3.	Ad Hoc wireless networks : architectures and protocols by Murthy, C. Siva Ram \| Manoj, B. S. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Pearson Education, 2004Availability: Items available for loan: [Call number: 004.65 MUR] (4). Items available for reference: [Call number: 004.65 MUR] (2). Place hold

Koha online