|
|
261.
|
Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : Proceedings
by Naccache, David | Paillier,Pascal. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NAC] (1).
|
|
|
262.
|
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).
|
|
|
263.
|
Semantic web - ISWC 2002 : first international semantic web conference Sardinia, Italy, june 2002 : proceedings
by Horrocks, Ian | Hendler, James. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 HOR] (1).
|
|
|
264.
|
Digital cities II: Computational and sociological approaches
by Tanabe, Makoto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 TAN] (1).
|
|
|
265.
|
Algorithmics for hard problems
by Hromkovic, Juraj. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 HRO] (1).
|
|
|
266.
|
Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings
by Anderson, Stuart | Bologna, Sandro | Felici, Massimo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 AND] (1).
|
|
|
267.
|
High-dimensional indexing : transformational approaches to high-dimensional range similarity searches
by Yu, Cui. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 YU,] (1).
|
|
|
268.
|
Algorithms in Bioinformatics
by Guigo, Roderic | Guigo, Roderic | Guigo, Roderic | Gusfield, Dan | Gusfield, Dan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 GUI] (1).
|
|
|
269.
|
Security protocols : 9th international workshop Cambridge, UK, April 25-27, 2001
by Christianson, Bruce | Crispo, Bruno | Malcolm, James A | Roe, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 CHR] (1).
|
|
|
270.
|
Infrastructure Security : International Conference, Infrasec 2002 Bristol, UK, October 1-3, 2002 : Proceedings
by Davida, George | Frankel, Yair | Rees, Owen. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 DAV] (1).
|
|
|
271.
|
Unconventional models of computation: Third international conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings
by Calude, Cristian S | Dinneen, Michael J | Peper, Ferdinand. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 CAL] (1).
|
|
|
272.
|
Compiler generators : what they can do, what they might do, and what they will probably never do
by Tofte, Mads. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1990Availability: Items available for loan: [Call number: 005.453 TOF] (1).
|
|
|
273.
|
Parsing theory.
by Sippu, Seppo | Soisalon-Soininen, Eljas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1990Availability: Items available for loan: [Call number: 511.3 SIP] (1).
|
|
|
274.
|
Group theoretical methods in image processing
by Lenz, Reiner. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1990Availability: Items available for loan: [Call number: 004 LEN] (1).
|
|
|
275.
|
Advances in computing and information--ICCI '91
by Fiala, F | Dehne, Frank | Koczkodaj, W. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1991Availability: Items available for loan: [Call number: 004 DEH] (1).
|
|
|
276.
|
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
by Mayr, Ernst W | Puech, Claude. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 MAY] (1).
|
|
|
277.
|
Efficient checking of polynomials and proofs and the hardness of approximation problems
by Sudan, Madhu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 SUD] (1).
|
|
|
278.
|
Disconnected operation in a distributed file system
by Kistler, James Jay. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1996Availability: Items available for loan: [Call number: 004 KIS] (1).
|
|
|
279.
|
Logics for concurrency : structure versus automata
by Moller, Faron | Birtwistle, Graham. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1996Availability: Items available for loan: [Call number: 004 MOL] (1).
|
|
|
280.
|
Coloured petri nets : basic concepts, analysis methods and practical use. Volume 1
by Jensen, Kurt. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 511.321 JEN] (1).
|
