|
|
1.
|
Programming : the derivation of algorithms
by Kaldewaij, Anne. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Prentice Hall, 1990Availability: Items available for loan: [Call number: 005.1 KAL] (1).
|
|
|
2.
|
Operating system principles
by Brinch Hansen, Per. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood: Prentice Hall, 1973Availability: Items available for loan: [Call number: 001.64404 BRI] (1).
|
|
|
3.
|
Theory of parsing, translation, and compiling
by Aho, Alfred V | Ullman, Jeffrey D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood: Prentice Hall, 1972Availability: Items available for loan: [Call number: 001.6425 AHO] (1).
|
|
|
4.
|
Computers Ltd : what they really can't do
by Harel, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 2003Availability: Items available for loan: [Call number: 004 HAR] (1).
|
|
|
5.
|
Pattern recognition principles
by Tou, Julius T | Gonzalez, Rafael C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Reading: Addison-Wesley, 1974Availability: Items available for loan: [Call number: 001.534 TOU] (1).
|
|
|
6.
|
DSP Handbook
by Bateman, Andrew | Paterson-Stephens, Iain. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Harlow: Pearson Education, 2002Availability: Items available for loan: [Call number: 621.382 BAT] (2).
|
|
|
7.
|
Distributed systems
by Mullender, Sape. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: ACM Press, 1993Availability: Items available for loan: [Call number: 004.36 MUL] (1).
|
|
|
8.
|
Fundamental algorithms for permutation groups
by Butler, G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1991Availability: Items available for loan: [Call number: 004 BUT] (1).
|
|
|
9.
|
Turbo coding, turbo equalisation, and space-time coding
by Liew, T. H | Hanzo, Lajos L | Yeap, B. L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chichester: John Wiley & Sons, 2002Availability: Items available for loan: [Call number: 003.54 HAN] (1).
|
|
|
10.
|
Algorithms : sequential, parallel, and distributed
by Berman, Kenneth A | Paul, Jerome L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Thomson Course Technology, 2005Availability: Items available for loan: [Call number: 005.1 BER] (1).
|
|
|
11.
|
Advances in computing research : parallel and distributed computing. Volume 4
by Preparata, Franco P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Greenwich: JAI Press, 1987Availability: Items available for loan: [Call number: 001.6405 PRE] (1).
|
|
|
12.
|
Constructing correct software
by Cooke, John. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.1 COO] (1).
|
|
|
13.
|
Information and Communications Security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : Proceedings
by Qing, Sihan | Gollmann, Dieter | Zhou, Jianying. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 QIN] (1).
|
|
|
14.
|
Information Security : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003 : Proceedings
by Boyd, Colin | Mao, Wenbo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BOY] (1).
|
|
|
15.
|
Generic Model Management : Concepts and Algorithms
by Melnik, Sergey. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MEL] (1).
|
|
|
16.
|
Applied cryptography and network security : Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004 ; proceedings
by Jakobsson, Markus | Yung, Moti | Zhou, Jianying. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 JAK] (1).
|
|
|
17.
|
Network analysis : methodological foundations
by Brandes, Ulrik | Erlebach, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
|
18.
|
Parallel computing technologies: 7th International conference, PaCT 2003 Nizhni Novgorod, Russia, September 15-19, 2003: Proceedings
by Malyshkin, Victor. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 MAL] (1).
|
|
|
19.
|
Object-oriented information systems: 9th International conference, OOIS 2003 Geneva, Switzerland, September 2-5, 2003: Proceedings
by Konstantas, Dimitri. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KON] (1).
|
|
|
20.
|
Randomness and Completeness in Computational Complexity
by Melkebeek, Dieter van. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MEL] (1).
|
