1. Automatic Algorithm Recognition and Replacement : a new approach to program optimization

by Wen, Zhaofang | Metzger, Robert C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 2000Availability: Items available for loan: [Call number: 005.1 MET] (1).
2. 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).
3. Algorithms for coalition formation in multi-agent systems

by Rahwan, Talal.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Swindon: British Computer Society, 2008Availability: Items available for loan: [Call number: 006.3015181 RAH] (1).
4. Algorithmic adventures : from knowledge to magic

by Hromkovic, Juraj.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 005.1 HRO] (1).
5. Theoretical Computer Science : 6th IFIP TC 1/​WG 2.2 International Conference, TCS 2010, held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

by Calude, Cristian S | Sassone, Vladimiro.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004 CAL] (1).
6. Practical guide to computer simulations

by Hartmann, Alexander K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: World Scientific, 2009Availability: Items available for loan: [Call number: 003.3 HAR] (2).

Powered by Koha