|
21.
|
Modern cryptology : a tutorial
by Brassard, Gilles. Material type: 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; 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; 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; 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; 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; 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; 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; 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; 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; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SNE] (1).
|