1. Programming : the derivation of algorithms

by Kaldewaij, Anne.

Material type: book 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 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 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 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 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 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 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 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 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 Book; Format: print ; Literary form: Not fiction Publisher: Boston: Thomson Course Technology, 2005Availability: No items available Checked out (1).
11. Advances in computing research : parallel and distributed computing. Volume 4

by Preparata, Franco P.

Material type: book 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 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 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 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 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 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 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 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 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MEL] (1).

Powered by Koha